Developing safety-critical systems with UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2863, Issue , 2003, Pages 360-372

  Jürjens, Jan ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; MODELING LANGUAGES; SAFETY ENGINEERING; SECURITY SYSTEMS; SYSTEMS ENGINEERING;

ENGINEERING KNOWLEDGE; ERROR PRONES; MODEL BASED DEVELOPMENT; SAFETY CRITICAL SYSTEMS; SAFETY REQUIREMENTS; SYSTEM FAILURES; TIME TO MARKET; UML EXTENSION;

UNIFIED MODELING LANGUAGE;

EID: 0242307997     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_31     Document Type: Article

References (22)

1. E. Börger, A. Cavarra, and E. Riccobene. Modeling the dynamics of UML State Machines. In ASMs, volume 1912 of LNCS. Springer, 2000.
2. A. Blotz, F. Huber, H. Lötzbeyer, A. Pretschner, O. Slotosch, and H.-P. Zängerl. Model-based software engineering and Ada: Synergy for the development of safety-critical systems. In Ada Deutschland 2002, 2002.
3. B. Dutertre and V. Stavridou. A model of noninterference for integrating mixed-criticality software components. In DCCA, San Jose, CA, January 1999.
4. G. Helmer. Safety checklist for four-variable requirements methods. Technical Report 98-01, Iowa State University Department of Computer Science, 1998.
5. +02].
6. C. Heitmeyer, R. Jeffords, and B. Labaw. Automated consistency checking of requirements specifications. ACM Trans. on Software Eng. and Methodology, 5(3): 231-261, July 1996.
7. J. Jürjens, V. Cengarle, E. Fernandez, B. Rumpe, and R. Sandner, editors. Critical Systems Development with UML, number TUM-I 0208 in TUM technical report, 2002. UML'02 satellite workshop proceedings.
8. J. Jürjens. Critical Systems Development with UML. In Forum on Design Languages, Marseille, Sept. 24-27 2002. European Electronic Chips & Systems design Initiative (ECSI). Invited talk.
9. ∼juerjens/csdumltut.
10. J. Jürjens. Developing safety- and security-critical systems with UML. In DARP workshop, Loughborough, May 7-8 2003. Invited talk.
11. J. Jürjens. Secure Systems Development with UML. Springer, 2003. In preparation.
12. K. Lano, D. Clark, K. Androutsopoulos, and P. Kan. Invariant-based synthesis of fault-tolerant systems. In M. Joseph, editor, FTRTFT, volume 1926 of LNCS, pages 46-57. Springer, 2000.
13. R. Lutz. Targeting safety-related errors during software requirements analysis. The Journal of Systems and Software, 34: 223-230, September 1996.
14. Z. Pap, I. Majzik, and A. Pataricza. Checking general safety criteria on UML statecharts. In U. Voges, editor, SAFECOMP 2001, volume 2187 of LNCS, pages 46-55, 2001.
15. F. Randimbivololona. Orientations in verification engineering of avionics software. In R. Wilhelm, editor, Informatics - 10 Years Back, 10 Years Ahead, LNCS, pages 131-137. Springer, 2000.
16. J. Rushby. Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety, 43(2): 189-219, 1994.
17. V. Santander and J. Castro. Deriving use cases from organizational modeling. In RE 2002, pages 32-42, 2002.
18. B. Selic. Physical programming: Beyond mere logic. In A. Sangiovanni-Vincentelli and J. Sifakis, editors, Embedded Software Second International Conference (EMSOFT 2002), volume 2491 of LNCS, pages 399-406, 2002.
19. P. Stevens and R. Pooley. Using UML. Addison-Wesley, 2000.
20. B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems, 1998.
21. UML Revision Task Force. OMG UML Specification v. 1.4. OMG Document ad/01-09-67. Available at http://www.omg.org/uml, 2001.
22. Axel van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In RE'01 - 5th IEEE International Symposium on Requirements Engineering, pages 249-263, Toronto, August 2001. Invited Paper.