Algebraic theory of processes
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Safeware: system safety and computers
Safeware: system safety and computers
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Writing Effective Use Cases
Software safety: where's the evidence?
SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
The Rhapsody UML Verification Environment
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Putting it all together – Formal verification of the VAMP
International Journal on Software Tools for Technology Transfer (STTT) - A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Assurance Based Development of Critical Systems
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Towards a Framework for Explicit Platform-Based Transformations
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
The Verisoft Approach to Systems Verification
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Adding Dependability Analysis Capabilities to the MARTE Profile
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
OCL-based validation of a railway domain profile
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Modeling the railway control domain rigorously with a UML 2.0 profile
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Information and Software Technology
| Hi-index | 0.00 |
With the proliferation of UML in the development of embedded real-time systems, the interest in methods and techniques integrating safety aspects into a UML-based software and system development process has increased. This chapter provides a survey on relevant UML profiles and dialects as well as on design and verification methods and process issues supporting a safety assessment. These subjects are discussed in the light of norms and standards on software development for safety-critical systems.