User: Guest  Login
Author(s):
Sojer, Dominik; Buckl, Christian; Knoll, Alois 
Title:
Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems 
Abstract:
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...    »
 
Keywords:
embedded, ftos 
Book / Congress title:
Proceedings of the Eighth European Dependable Computing Conference(EDCC 2010) 
Year:
2010