From requirements to deployment verify that the right things are done correctly the DECOS test bench

摘要

Dependable embedded systems are a key factor to success in intelligent means of transportation. The European Project DECOS has been set up to resolve critical issues for the integration of distributed embedded systems up to the highest criticality level. Crucial to the success of DECOS is to prove correctness of its architectural model, to verify tools and components developed within DECOS, as well as to enable certification of DECOS-related components and modules (systems as well as applications) with respect to relevant standards. The DECOS-Test bench will integrate all required V&V methods and tools and provides organizational support for these activities. Based on a compositional approach, it shall ease validation and certification of safety-critical embedded applications referring to DECOS-concepts.