Advertisement

Validation and Certification of Safety-Critical Embedded Systems – The DECOS Test Bench

  • Erwin Schoitsch
  • Egbert Althammer
  • Henrik Eriksson
  • Jonny Vinter
  • Laszlo Gönczy
  • Andras Pataricza
  • György Csertan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4166)

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.

Keywords

Fault Injection Certification Process Test Case Generation Safety Case External Tool 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    DECOS: Dependable Embedded Components and Systems, Integrated Project within the EU Framework Programme 6, http://www.decos.at
  3. 3.
    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)Google Scholar
  4. 4.
    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-8Google Scholar
  5. 5.
    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
  6. 6.
    XSL Transformations (XSLT) Version 1.0 W3C Recommendation (November 16, 1999), http://www.w3.org/TR/xslt
  7. 7.
    The VIATRA2 Model Transformation Framework, Generative Model Transformer Project, The Eclipse Foundation, http://eclipse.org/gmt/
  8. 8.
    Haarslev, V., Möller, R., Wessel, M.: RACER User’s Guide and Reference Manual Version 1.7.19Google Scholar
  9. 9.
    Java Message Service Spec. Version 1.1, http://java.sun.com/products/jms/docs.html
  10. 10.
    JBoss Application Server. JBoss Inc., http://labs.jboss.com/portal/jbossas/index.html
  11. 11.
    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, HeidelbergGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Erwin Schoitsch
    • 1
  • Egbert Althammer
    • 1
  • Henrik Eriksson
    • 2
  • Jonny Vinter
    • 2
  • Laszlo Gönczy
    • 3
  • Andras Pataricza
    • 3
  • György Csertan
    • 3
  1. 1.ARC Seibersdorf researchAustria
  2. 2.SP Swedish National Testing and Research Institute 
  3. 3.Budapest University of Technology and Economics 

Personalised recommendations