The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification

摘要

The integrated EU-project DECOS (dependable embedded components and systems) developed an integrated architecture and the corresponding tool chain which supports, besides model-based development, a modular validation and certification process based on so-called generic safety cases: a safety case for a DECOS-based application only contains the application-specific issues and re-uses the safety arguments of the generic safety cases of the DECOS platform. The generic safety case is based on the architectural claims and was completed by adding the evidence from a series of validations for all major DECOS artefacts. The safety cases were complemented by a trust case using the trust-case tool of TU Gdansk, which tackles the aspect of security impact on safety for the DECOS SoC (NoC) concept. The V&V and certification process is supported by the generic test bench.