From requirements to deployment verify that the right things are done correctly the DECOS test bench
Wolfgang Herzner, Erwin Schoitsch, Georg Weißenbacher · 2005
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 com- ponents developed within DECOS, as well as to enable certifi- cation 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 activi- ties. Based on a compositional approach, it shall ease valida- tion and certification of safety-critical embedded applications referring to DECOS-concepts.