Modular certification support — the DECOS concept of generic safety cases

The integrated EU-project DECOS (dependable embedded components and systems) developed an integrated architecture for safety critical embedded systems. To reduce the effort for the certification of DECOS based applications it provides support for modular certification based on generic safety cases. This means that a safety case of a DECOS based application only contains the application-specific issues and reuses the safety arguments of the generic safety cases of the DECOS platform. The concept of safety cases was complemented by trust cases which tackle further aspects such as security.