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.
منابع مشابه
Enhancing UML by Safety-Related Constructs
To enable the description of safety-related software, the Unified Modeling Language is provided with well proven constructs as found, e.g., in corresponding subsets of the real-time programming language PEARL and in Function Block Diagrams according to IEC 61131-3. These constructs are ordered in nested sets to fulfill the respective requirements of the four Safety Integrity Levels of IEC 61508...
متن کاملA Verification and Validation Workflow for IEC 61508 Applications
Because of its ability to address software complexity and productivity challenges, Model-Based Design with production code generation has been extensively used throughout the automotive software engineering community. More recently, engineers have begun to focus on compliance with external standards such as IEC 61508 and the use of Model-Based Design. For in-vehicle applications, the standard a...
متن کاملEfficient Development of Embedded Automotive Software with IEC 61508 Objectives using SCADE Drive
The automotive industry is facing a challenge imposed by quality, cost, and safety aspects with respect to development of electronic and software systems. Standardization in systems architecture (AUTOSAR, FlexRay) and software development processes (IEC 61508) promise to provide the answers to the main problems currently faced by automotive SW developers. The objective of this paper is to prese...
متن کاملUsing a Goal-Based Approach to Improve the IEC 61508-3 Software Safety Standard
In this paper we argue that the methods and techniques specified in the annexes in IEC 61508-3 are just sound software engineering principles. Problems when developing safety critical software are not caused by lack of adherence to the standard per se but by ignorance of sound engineering principles related to the specified techniques. Further we argue that IEC 61508-3 should be more flexible r...
متن کاملA safety concept for a wind power mixed-criticality embedded system based on multicore partitioning
The development of mixed-criticality systems that integrate applications of different criticality levels (safety, security, real-time and non real-time) can provide multiple benefits such as product cost-size-weight reduction, reliability increase and scalability. However, the integration of applications of different levels of criticality leads to several challenges with respect to safety certi...
متن کامل