Abstract
The integrated EU-project DECOS (Dependable Embedded Comp-onents 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 re-uses the safety arguments of the “generic” safety cases of the DECOS platform. The Test Bench covers the complete life cycle from the platform-independent models to deployment, including model validation and transformations. The safety cases are based on validation-plans (v-plans) comprising the steps to validate the safety requirements. The Test Bench provides a methods/tools repository, guidelines to generate and execute v-plans, and integration of tools and of remotely distributed test beds.
Research supported in part by EU IST-FP6-511764 (DECOS).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kopetz, H., Obermaisser, R., Peti, P., Suri, N.: From a Federated to an Integrated Architecture for Dependable Embedded Real-Time Systems. Vienna University of Technology, Austria, and Darmstadt University of Technology, Germany (2004)
DECOS: Dependable Embedded Components and Systems, Integrated Project within the EU Framework Programme 6, http://www.decos.at
Association of German Car Manufacturers (VDA). HAWK2015, – Challenges for the automotive supply chain. Henrich Druck + Medien GmbH, Schwanheimer Strasse 110, D-60528 Frankfurt am Main (2003) (in German)
Weißenbacher, G., Herzner, W., Althammer, E.: Allocation of Dependable Software Modules under Consideration of Replicas. In: Proceedings of the ERCIM/DECOS Workshop on Dependable Software-Intensive Embedded Systems at Euromicro 2005, Porto, Portugal, August 31-September 1, pp. 51–58. ERCIM (European Research Consortium for Mathematics and Informatics) (2005) ISBN 2-912335-18-8
Schoitsch, E.: The Integrated Project DECOS, From a Federated to an Integrated Architecture for Dependable Safety-Critical Embedded Systems – an Overview. In: Proceedings of the ERCIM/DECOS Workshop on Dependable Software-Intensive Embedded Systems at Euromicro 2005, Porto, Portugal, August 31-September 1, pp. 9–14. ERCIM (European Research Consortium for Mathematics and Informatics) (2005), http://www.ercim.org ISBN 2-912335-18-8
XSL Transformations (XSLT) Version 1.0 W3C Recommendation (November 16, 1999), http://www.w3.org/TR/xslt
The VIATRA2 Model Transformation Framework, Generative Model Transformer Project, The Eclipse Foundation, http://eclipse.org/gmt/
Haarslev, V., Möller, R., Wessel, M.: RACER User’s Guide and Reference Manual Version 1.7.19
Java Message Service Spec. Version 1.1, http://java.sun.com/products/jms/docs.html
JBoss Application Server. JBoss Inc., http://labs.jboss.com/portal/jbossas/index.html
Schoitsch, E.: Design for Safety AND Security of Complex Embedded Systems: A Unified Approach. In: Cyberspace Security and Defense: Research Issues. Invited presentation des NATO Advanced Research Workshops, TU Gdansk, pp. 161–174. Springer, Heidelberg
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schoitsch, E. et al. (2006). Validation and Certification of Safety-Critical Embedded Systems – The DECOS Test Bench. In: Górski, J. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2006. Lecture Notes in Computer Science, vol 4166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11875567_28
Download citation
DOI: https://doi.org/10.1007/11875567_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45762-6
Online ISBN: 978-3-540-45763-3
eBook Packages: Computer ScienceComputer Science (R0)