A UML Profile for the Development of IEC 61508 Compliant Embedded Software

In this paper we propose a UML profile that extends the Unified Modeling Language (UML) to support the development of safety-critical embedded software in accordance with the safety standard IEC 61508 [5]. Our profile enables software developers to precisely express certification-related information using the UML notation. This improved information density in software models can be exploited as foundation for activities in various software development phases, for example the reuse of certified software components or the deployment of safety-critical and non-critical software components to separated nodes.

[1]  Gregory Zoughbi,et al.  A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.

[2]  Gabor Karsai,et al.  Metamodelling - State of the Art and Research Challenges , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[3]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[4]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[5]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[6]  Sébastien Gérard,et al.  Improving uml profile design practices by leveraging conceptual domain models , 2007, ASE.

[7]  Lidia Fuentes-Fernández,et al.  An Introduction to UML Profiles , 2004 .

[8]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[9]  Ron Bell,et al.  Introduction to IEC 61508 , 2006 .

[10]  Ulrich Hannemann,et al.  Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile , 2006, SAFECOMP.

[11]  Kai T. Hansen.  Utilizing UML and patterns for safety critical systems , 2002 .

[12]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[13]  András Pataricza,et al.  UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY-CRITICAL RAILWAY CONTROL SOFTWARE MODULE , 2003 .

[14]  Wolfgang A. Halang,et al.  A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems , 2007, Contributions to Ubiquitous Computing.

[15]  Jan Jürjens,et al.  Developing Safety-Critical Systems with UML , 2003, UML.