Modeling and code generation for safety critical systems

The design and implementation of embedded safety (multicore) systems is highly challenging without good tool and methodology support, especially for small and medium sized development teams. Safety artifacts like hazard and risks analysis, specifications of safety functions and architectural solutions typically are realized as individual documents without a common repository, making the maintenance hard and … Read more

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 such challenges but are often pricy and cover only certain aspects of the overall design or implementation workflow. In previous publications, we introduced a lightweight runtime environment and discussed concepts … Read more

This site uses cookies. By continuing to browse the site you are agreeing to our use of cookies.