Conferences and supporting programme
Modeling and Assessment of Safety Critical Systems
With growing complexity of embedded controllers and applications, the design of safety critical systems becomes more and more challenging. Tools and frameworks help to manage those challenges but are often pricy, cover only certain parts of the overall design or produce code, which is difficult to qualify. In previous presentations, we introduced a lightweight runtime environment and discussed concepts for separation of signal paths on multicore controllers as well as safety monitoring mechanism. As part of the publicly funded ZIM project “Safe&Secure”, the Darmstadt University of applied sciences cooperates with the FZI at the Karlsruhe Institute of Technology and the company HighTec to develop tooling, which incorporates the results of previous research and not only allows modeling and code generation for safety critical systems, but also assessment of safety cases and their mapping to the actual implementation in order to easy qualification. In our presentation we will demonstrate how free frameworks such as Eclipse EMF can be used to define abstract meta-models of the hardware, the software and applicable safety standards. Based on those meta-models and with a focus on multicore systems, we will show how user friendly GUIs can be implemented, how safety assessment can be performed and how code can be generated.
--- Date: 26.02.2019 Time: 10:30 AM - 11:00 AM Location: Conference Counter NCC Ost