A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Validation and Certification of Safety-Critical Embedded Systems – The DECOS Test Bench
[chapter]
2006
Lecture Notes in Computer Science
The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications, the DECOS Test Bench constitutes a framework to support Validation & Verification. By implementing a modular approach, an application safety case merely contains the application-specific issues and
doi:10.1007/11875567_28
fatcat:zkwfu5yycbabnae74tynl4btru