A Domain-aware Framework for Integrated Model-based System Analysis and Design

Adrian Rumpold, Reinhard Pröll, Bernhard Bauer

Abstract

The increasing complexity of modern embedded systems demands advanced design and development methods. Incremental evolution of model-based engineering practice has led to heterogeneous tool environments without proper integration and exchange of design artifacts. These problems are especially prevalent in tightly regulated domains, where an independent assessment is required for newly developed products, e.g. in automotive or aviation systems. To address these shortcomings of current engineering practice, we propose a holistic model-based approach for the seamless design and development of an integrated system model. We describe an embedding of a variety of domain-specific modeling languages into a common general-purpose modeling language, in order to facilitate the integration between heterogeneous design artifacts. Based on this conceptual modeling approach, we introduce a framework for automated model-based analysis of integrated system models. A case study demonstrates the suitability of this modeling and analysis approach for the design of a safety-critical embedded system, a hypothetical gas heating burner.

References

  1. de Lara, J., Guerra, E., and Cuadrado, J. S. (2015). Model-driven engineering with domain-specific meta-modelling languages. Software & Systems Modeling, 14(1):429-459.
  2. Graaf, B. and van Deursen, A. (2007). Visualisation of domain-specific modelling languages using uml. In 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), pages 586-595. IEEE.
  3. Hein, C., Ritter, T., and Wagner, M. (2009). Model-driven tool integration with modelbus. In Workshop Future Trends of Model-Driven Development, pages 50-52.
  4. Kaiser, B., Liggesmeyer, P., and Mäckel, O. (2003). A new component concept for fault trees. In Proceedings of the 8th Australian workshop on Safety critical systems and software-Volume 33, pages 37-46. Australian Computer Society, Inc.
  5. Kelly, T. and Weaver, R. (2004). The Goal Structuring Notation-A Safety Argument Notation. In Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases.
  6. Kurtev, I. (2007). State of the art of QVT: A model transformation language standard. In International Symposium on Applications of Graph Transformations with Industrial Relevance, pages 377-393. Springer.
  7. OMG QVT v1.3 (2016). Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.3. Specification, Object Management Group (OMG), Needham, MA.
  8. OMG REQIF v1.2 (2016). Requirements Interchange Format (ReqIF), Version 1.2. Specification, Object Management Group (OMG), Needham, MA.
  9. Papadopoulos, Y. et al. (2010). Automatic allocation of safety integrity levels. In Proceedings of the 1st workshop on critical automotive applications: robustness & safety, pages 7-10. ACM.
  10. Papadopoulos, Y. et al. (2011). Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis, 18(2):590-608.
  11. Papadopoulos, Y. and McDermid, J. A. (1999). Hierarchically performed hazard origin and propagation studies. In International Conference on Computer Safety, Reliability, and Security, pages 139-152. Springer.
  12. Saad, C. and Bauer, B. (2013). Data-Flow Based Model Analysis and Its Applications, pages 707-723. Springer Berlin Heidelberg, Berlin, Heidelberg.
  13. Schleicher, A. and Westfechtel, B. (2001). Beyond stereotyping: Metamodeling approaches for the UML. In Proceedings of the 34th Annual Hawaii International Conference on System Sciences, page 10 pp. IEEE.
  14. Sommerville, I. (2011). Software Engineering. Pearson Education, 9th edition.
  15. Vesely, W. E., Goldberg, F. F., Roberts, N. H., and Haasl, D. F. (1981). Fault tree handbook. Technical report, DTIC Document.
  16. Wasserman, A. I. (1990). Tool integration in software engineering environments. In Software Engineering Environments, pages 137-149. Springer.
  17. Zschaler, S., Kolovos, D. S., Drivalos, N., Paige, R. F., and Rashid, A. (2009). Domain-specific metamodelling languages for software language engineering. In International Conference on Software Language Engineering, pages 334-353. Springer.
Download


Paper Citation


in Harvard Style

Rumpold A., Pröll R. and Bauer B. (2017). A Domain-aware Framework for Integrated Model-based System Analysis and Design . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 157-168. DOI: 10.5220/0006206301570168


in Bibtex Style

@conference{modelsward17,
author={Adrian Rumpold and Reinhard Pröll and Bernhard Bauer},
title={A Domain-aware Framework for Integrated Model-based System Analysis and Design},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={157-168},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006206301570168},
isbn={978-989-758-210-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Domain-aware Framework for Integrated Model-based System Analysis and Design
SN - 978-989-758-210-3
AU - Rumpold A.
AU - Pröll R.
AU - Bauer B.
PY - 2017
SP - 157
EP - 168
DO - 10.5220/0006206301570168