Advertisement

From Conceptual Models to Safety Assurance

  • Yaping Luo
  • Mark van den Brand
  • Luc Engelen
  • Martijn Klabbers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8824)

Abstract

Safety assurance or certification is one of the most costly and time-consuming tasks in automotive, railway, avionics, and other safety-critical domains. Different transport sectors have developed their own specific sets of safety standards, which creates a big challenge to reuse pre-certified components and share expertise between different transport sectors. In this paper, we propose to use conceptual models in the form of metamodels to support certification data reuse and facilitate safety compliance. A metamodel transformation approach is outlined to derive domain or project specific metamodels using a generic metamodel as basis. Furthermore, we present a metamodel refinement language, which is a domain-specific language that facilitates simple refinement of metamodels. Finally, we use two case studies from the automotive domain to demonstrate our approach and its ability to reuse metamodels across companies.

Keywords

Conceptual Model Metamodel Safety Assurance Safety-Critical Systems Metamodel transformation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Meta Modeling Approach to Safety Standard for Consumer Devices (2013), http://www.omg.org/news/meetings/tc/agendas/ut/SysA_Slides/taguchi.pdf
  2. 2.
    OPENCOSS: Deliverable D4.1 - Baseline for the common certification language (2013), http://www.opencoss-project.eu/node/7
  3. 3.
    van Amstel, M.F., van den Brand, M.G.J., Serebrenik, A.: Traceability Visualization in Model Transformations with TraceVis. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 152–159. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  4. 4.
    Atkinson, C., Kühne, T.: Model-Driven Development: A Metamodeling Foundation. IEEE Software (2003)Google Scholar
  5. 5.
    van den Brand, M.G.J.: Model-Driven Engineering Meets Generic Language Technology. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 8–15. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Espinoza, H., Ruiz, A., Sabetzadeh, M., Panaroni, P.: Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. In: 2011 First International Workshop Software Certification (WoSoCER), Hiroshima, Japan (2011)Google Scholar
  7. 7.
    Habli, I., Kelly, T.: A Model-Driven Approach to Assuring Process Reliability. In: Proceedings of ISSRE 2008, Washington, DC, USA, pp. 7–16 (2008)Google Scholar
  8. 8.
    Kolovos, D., Paige, R., Polack, F.: The Epsilon Transformation Language. In: Proceedings of ICMT 2008 (2008)Google Scholar
  9. 9.
    Kolovos, D.S., Rose, L.M., Abid, S.B., Paige, R.F., Polack, F.A.C., Botterweck, G.: Taming EMF and GMF Using Model Transformation. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 211–225. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. 10.
    Krammer, M., Armengaud, E., Bourrouilh, Q.: Method Library Framework for Safety Standard Compliant Process Tailoring. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 302 –305 (2011)Google Scholar
  11. 11.
    Luo, Y., van den Brand, M., Engelen, L., Favaro, J., Klabbers, M., Sartori, G.: Extracting Models from ISO 26262 for Reusable Safety Assurance. In: Favaro, J., Morisio, M. (eds.) ICSR 2013. LNCS, vol. 7925, pp. 192–207. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  12. 12.
    Luo, Y., Brand, M., Engelen, L., Klabbers, M.: A Modeling Approach to Support Safety Certification in the Automotive Domain. In: FISITA 2014, World Automotive Congress (2014) (submitted for publication)Google Scholar
  13. 13.
    Narayanan, A., Levendovszky, T., Balasubramanian, D., Karsai, G.: Automatic Domain Model Migration to Manage Metamodel Evolution. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 706–711. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  14. 14.
    Panach, J.I., España, S., Moreno, A.M., Pastor, Ó.: Dealing with Usability in Model Transformation Technologies. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 498–511. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 362–378. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  16. 16.
    Panesar-Walawege, R., Sabetzadeh, M., Briand, L.: Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. In: 2011 First International Workshop on Software Certification (WoSoCER), pp. 7–12 (November 2011)Google Scholar
  17. 17.
    Partridge, C., Gonzalez-Perez, C., Henderson-Sellers, B.: Are Conceptual Models Concept Models? In: Ng, W., Storey, V.C., Trujillo, J.C. (eds.) ER 2013. LNCS, vol. 8217, pp. 96–105. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  18. 18.
    Santiago, I., Vara, J.M., de Castro, M.V., Marcos, E.: Towards the Effective Use of Traceability in Model-Driven Engineering Projects. In: Ng, W., Storey, V.C., Trujillo, J.C. (eds.) ER 2013. LNCS, vol. 8217, pp. 429–437. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  19. 19.
    de la Vara, J.L., Panesar-Walawege, R.K.: SafetyMet: A Metamodel for Safety Standards. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 69–86. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  20. 20.
    Wachsmuth, G.: Metamodel Adaptation and Model Co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 600–624. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  21. 21.
    Zoughbi, G., Briand, L., Labiche, Y.: Modeling Safety and Airworthiness (RTCA DO-178B) Information: Conceptual Model and UML Profile. Softw. Syst. Model. 10(3), 337–367 (2011)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Yaping Luo
    • 1
  • Mark van den Brand
    • 1
  • Luc Engelen
    • 1
  • Martijn Klabbers
    • 1
  1. 1.Eindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations