Development of Safety-Critical Systems and Model-Based Risk Analysis with UML
The high quality development of safety-critical systems is difficult. Many safety-critical systems are developed, deployed, and used that do not satisfy their criticality requirements, sometimes with spectacular failures. Part of the difficulty of safety-critical systems development is that correctness is often in conflict with cost. Where thorough methods of system design pose high cost through personnel training and use, they are all too often avoided.
KeywordsCritical System Personnel Training Tems Development Grate System Model Interchange
- [HJ03]Houmb, S., Jürjens, J.: Developing secure networked web-based systems using model-based risk assessment and UMLsec (2003) (submitted)Google Scholar
- [Jür02]Jürjens, J.: Critical Systems Development with UML. In: Forum on Design Languages, Marseille, September 24–27. European Electronic Chips & Systems design Initiative, ECSI (2002) (invited talk)Google Scholar
- [Jür03a]Jürjens, J.: Developing safety- and security-critical systems with UML. In: DARP workshop, Loughborough, May 7–8 (2003) (Invited talk)Google Scholar
- [Jür03c]Jürjens, J.: Secure Systems Development with UML. Springer, Berlin (2003) (in preparation)Google Scholar