Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems

Safety requirements are a very important artifact in the developmentof safety critical embedded systems. They are usually identifiedduring safety analyses and are used by experts as a basis for thecorrect selection and implementation of safety mechanisms. Varioussafety analysis research groups have worked on formal modeling ofsafety requirements with the goal of determining if a system canmeet these requirements. In this abstract, we propose the applicationof formal models of safety requirements throughout all developmentphases of a model-driven development process.The safety requirements identified during safety analysis can be usedto automatically generate appropriate mechanisms in the code generationphase and to verify the suitability of this mechanisms in the verificationphase. By establishing safety requirements as a formal basis of allprocess phases, a consistent development process can be achieved.     «

Safety requirements are a very important artifact in the developmentof safety critical embedded systems. They are usually identifiedduring safety analyses and are used by experts as a basis for thecorrect selection and implementation of safety mechanisms. Varioussafety analysis research groups have worked on formal modeling ofsafety requirements with the goal of determining if a system canmeet these requirements. In this abstract, we propose the applicationof formal models of safety requirements...     »