Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment

Omar Kacimi, Christian Ellen, Markus Oertel, Daniel Sojka

2014

Abstract

The interoperability of tools and methods is a topic being currently discussed across all engineering domains of embedded systems. The increasing amount of requirements on interoperability demands a common understanding of design artifacts which needs to be accessible beyond tool boundaries. Furthermore, to support safety related development, a framework to integrate verification and validation activities has to be established. This eases early design decisions and provides support for certification processes. Different European projects tackled the subject and current ones like MBAT (Model-Based Analysis and testing) are addressing it under the form of a so called Reference Technology Platform (RTP). Nevertheless, besides theoretical discussions on interoperability standards and basic transfer technologies, few implementations of such a platform exist. Within MBAT, we integrated an automated safety analysis into our existing RTP prototype. This setup was developed for the purposes of an industrial case study calling upon a typical set of heterogeneous tools and formats like MATLAB Simulink/Stateflow, IBM Rational DOORS and EAST-ADL. In this paper, we present our RTP implementation and evaluate its effectiveness with respect to the safety aspects and the interoperability challenges raised by the use case.

References

  1. ATESST Consortium (2010). EAST-ADL Domain Model Specification. ATESST Deliverable D4.1.1, Version 2.1 RC3, http://www.atesst.org/home/liblocal/docs/ATESST2 D4.1.1 EAST-ADL2-Specification 2010-06-02.pdf.
  2. Baumgart, A. and Ellen, C. (to be published 2014). A recipe for tool interoperability. In Proceedings of the MODELSWARD 2014 Conference.
  3. Bozzano, M., Villafiorita, A., A°kerlund, O., Bieber, P., Bougnol, C., Böde, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., et al. (2003). Esacs: an integrated methodology for design and safety analysis of complex systems. In Proc. ESREL, pages 237-245.
  4. Damm, W., Hungar, H., Henkler, S., Stierand, I., Josko, B., Reinkemeier, P., Baumgart, A., Büker, M., Gezgin, T., Ehmen, G., and Weber, R. (2011). SPES2020 Architecture Modeling. Technical report, OFFIS e.V.
  5. Härdt, C., Viglietti, I., and Ersch, R. (2011). Interoperability Specification. CESAR Deliverable D SP1 R1.5 M2, CESAR Project.
  6. (2013). Rational doors next generation.
  7. ISO (2011). Road Vehicles - Functional Safety. International Standard Organization. ISO 26262.
  8. Kececioglu, D. (1991). Reliability engineering handbook: Volume i. PTR Prentice Hall, Englewood Cliffs, New Jersey.
  9. Mathworks (2013). Matlab simulink/stateflow. http://www.mathworks.de/products/simulink/.
  10. Meyer, B. (1992). Applying ”design by contract”. Computer, 25(10):40-51.
  11. Mitschke, A., Loughran, N., Josko, B., Oertel, M., Rehkop, P., Häusler, S., and Benveniste, A. (2010). RE Language Definitions to formalize multi-criteria requirements V2.
  12. Oertel, M. and Josko, B. (2012). Interoperable requirements engineering: Tool independent specification, validation and impact analysis. In ARTEMIS Technology Conference 2012.
  13. Oertel, M. and Rettberg, A. (2013). Reducing reverification effort by requirement-based change management. In Embedded Systems: Design, Analysis and Verification, pages 104-115. Springer Berlin Heidelberg.
  14. OSLC Community (2013). Open Services for Lifecycle Collaboration. http://open-services.net/.
  15. Peikenkamp, T., Cavallo, A., Valacca, L., Böde, E., Pretzer, M., and Hahn, E. M. (2006). Towards a unified model-based safety assessment. In Proceedings of SAFECOMP, pages 275-288.
  16. Rajan, A. and Wahl, T. (2013). CESAR: Cost-efficient Methods and Processes for Safety-relevant Embedded Systems. Number 978-3709113868. Springer.
Download


Paper Citation


in Harvard Style

Kacimi O., Ellen C., Oertel M. and Sojka D. (2014). Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014) ISBN 978-989-758-007-9, pages 645-652. DOI: 10.5220/0004875306450652


in Bibtex Style

@conference{mbat14,
author={Omar Kacimi and Christian Ellen and Markus Oertel and Daniel Sojka},
title={Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)},
year={2014},
pages={645-652},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004875306450652},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)
TI - Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment
SN - 978-989-758-007-9
AU - Kacimi O.
AU - Ellen C.
AU - Oertel M.
AU - Sojka D.
PY - 2014
SP - 645
EP - 652
DO - 10.5220/0004875306450652