A model-based design methodology with contracts to enhance the development process of safety-critical systems

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

Volumn 6399 LNCS, Issue , 2010, Pages 59-70

  Baumgart, Andreas ^a   Reinkemeier, Philipp ^a   Rettberg, Achim ^b   Stierand, Ingo ^b   Thaden, Eike ^a   Weber, Raphael ^a  

^a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVEL; ANALYSIS TECHNIQUES; DEVELOPMENT PROCESS; META MODEL; MODEL-BASED DESIGN; SAFETY CRITICAL SYSTEMS; SEMANTIC FOUNDATION; SEPARATION OF CONCERNS; CRITICAL SYSTEMS; DESIGN METHODOLOGY;

EMBEDDED SOFTWARE; SAFETY ENGINEERING; SECURITY SYSTEMS; SEMANTICS;

EMBEDDED SYSTEMS;

EID: 78449308593     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16256-5_8     Document Type: Conference Paper

References (17)

1. The ATESST Consortium. EAST ADL 2.0 Specification (February 2008)
2. AUTOSAR. Specification of Timing Extensions, Version 1.0.0 (November 2009)
3. AUTOSAR GbR. Technical Overview, Version 2.2.2 (August 2008)
4. Broy, M., Feilkas, M., Grünbauer, J., Gruler, A., Harhurin, A., Hartmann, J., Penzenstadler, B., Schätz, B., Wild, D.: Umfassendes Architekturmodell für das Engineering eingebetteter oftwareintensiver Systeme. Technical report, Technische Universität München (May 2008)
5. Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Carnegie Mellon University, Pittsburgh (2006)
6. International Organization for Standardization (ISO). ISO 26262: Road vehicles - Functional Safety
7. Josko, B., Ma, Q., Metzner, A.: Designing Embedded Systems using Heterogeneous Rich Components. In: Proceedings of the INCOSE International Symposium 2008 (2008)
8. Meyer, B.: Applying "design by contract". Computer 25(10), 40-51 (1992)
9. Object Management Group. OMG Systems Modeling Language (OMG SysML ™), Version 1.1 (November 2008)
10. Object Management Group. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.0 (November 2009)
11. Project SPEEDS: WP.2.1 Partners. SPEEDS Meta-model Behavioural Semantics - Complement do D.2.1.c. Technical report, The SPEEDS consortium, not publically available yet (2007)
12. Radio Technical Commission for Aeronautics (RTCA). DO-178B: Software Considerations in Airborne Systems and Equipment Certification
13. Society of Automotive Engineers. SAE ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. Warrendale, USA (December 1996)
14. The CESAR Consortium. CESAR Project, http://www.cesarproject.eu
15. The SPEEDS Consortium. SPEEDS Project, http://www.speeds.eu.com
16. The SPES 2020, Consortium. SPES 2020: Software Plattform Embedded Systems (2020), http://www.spes2020.de
17. Thyssen, J., Ratiu, D., Schwitzer, W., Harhurin, A., Feilkas, M., Thaden, E.: A system for seamless abstraction layers for model-based development of embedded software. In: Proceedings of Envision 2020 Workshop (2010)