Skip to main content

Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2017)

Abstract

Current systems engineering efforts are increasingly driven by trade-offs and limitations imposed by multiple factors: Growing product complexity as well as stricter regulatory requirements in domains such as automotive or aviation necessitate advanced design and development methods. At the core of these influencing factors lies a consideration of competing non-functional concerns, such as safety and reliability, performance, and the fulfillment of quality requirements. In an attempt to cope with these aspects, incremental evolution of model-based engineering practice has produced heterogeneous tool environments without proper integration and exchange of design artifacts. In order to overcome these shortcomings of current engineering practice, we propose a holistic, model-based architecture and analysis framework for seamless design, analysis, and evolution of integrated system models. We describe how heterogeneous domain-specific modeling languages can be embedded into a common general-purpose model in order to facilitate the integration between previously disjoint design artifacts. A case study demonstrates the suitability of this methodology for the design of a safety-critical embedded system, a hypothetical gas heating, with respect to reliability engineering and further quality assurance activities.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.artemis-ifest.eu/.

  2. 2.

    http://www.mbat-artemis.eu/.

References

  1. Sommerville, I.: Software Engineering, 9th edn. Pearson Education, New York (2011)

    MATH  Google Scholar 

  2. Boehm, B.W.: Software Engineering. Technical report, TRW Systems and Energy Group (1976)

    Google Scholar 

  3. Rumpold, A., Pröll, R., Bauer, B.: 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 (MODELSWARD), pp. 157–168. SCITEPRESS (2017)

    Google Scholar 

  4. Roman, G.C.: A taxonomy of current issues in requirements engineering. Computer 18, 14–23 (1985)

    Article  Google Scholar 

  5. Requirements Interchange Format (ReqIF), Version 1.2. Specification, Object Management Group (OMG), Needham (2016)

    Google Scholar 

  6. Siegemund, K., Thomas, E.J., Zhao, Y., Pan, J., Assmann, U.: Towards ontology-driven requirements engineering. In: Workshop Semantic Web Enabled Software Engineering at 10th International Semantic Web Conference (ISWC), Bonn (2011)

    Google Scholar 

  7. Semantics of a Foundational Subset for Executable UML Models, Version 1.2.1. Specification, Object Management Group (OMG), Needham (2016)

    Google Scholar 

  8. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault tree handbook. Technical report, DTIC Document (1981)

    Google Scholar 

  9. Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, vol. 33, pp. 37–46. Australian Computer Society, Inc. (2003)

    Google Scholar 

  10. Kurtev, I.: State of the art of QVT: a model transformation language standard. In: SchĂ¼rr, A., Nagl, M., ZĂ¼ndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 377–393. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89020-1_26

    Chapter  Google Scholar 

  11. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.3. Specification, Object Management Group (OMG), Needham (2016)

    Google Scholar 

  12. Saad, C., Bauer, B.: Data-flow based model analysis and its applications. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 707–723. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41533-3_43

    Chapter  Google Scholar 

  13. Schleicher, A., Westfechtel, B.: Beyond stereotyping: metamodeling approaches for the UML. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 10 p. IEEE (2001)

    Google Scholar 

  14. Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 1: General requirements. Standard, International Electrotechnical Commission, Geneva (2010)

    Google Scholar 

  15. Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 5: Examples of methods for the determination of safety integrity levels. Standard, International Electrotechnical Commission, Geneva (2010)

    Google Scholar 

  16. Wasserman, A.I.: Tool integration in software engineering environments. In: Long, F. (ed.) Software Engineering Environments. LNCS, vol. 467, pp. 137–149. Springer, Heidelberg (1990). https://doi.org/10.1007/3-540-53452-0_38

    Chapter  Google Scholar 

  17. Zschaler, S., Kolovos, D.S., Drivalos, N., Paige, R.F., Rashid, A.: Domain-specific metamodelling languages for software language engineering. In: van den Brand, M., Gašević, D., Gray, J. (eds.) SLE 2009. LNCS, vol. 5969, pp. 334–353. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-12107-4_23

    Chapter  Google Scholar 

  18. de Lara, J., Guerra, E., Cuadrado, J.S.: Model-driven engineering with domain-specific meta-modelling languages. Softw. Syst. Model. 14, 429–459 (2015)

    Article  Google Scholar 

  19. Graaf, B., van Deursen, A.: Visualisation of domain-specific modelling languages using UML. In: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2007), pp. 586–595. IEEE (2007)

    Google Scholar 

  20. Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies, pp. 31–36. ACM (2007)

    Google Scholar 

  21. Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48249-0_13

    Chapter  Google Scholar 

  22. Papadopoulos, Y., et al.: Automatic allocation of safety integrity levels. In: Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, pp. 7–10. ACM (2010)

    Google Scholar 

  23. Papadopoulos, Y., et al.: Engineering failure analysis and design optimisation with HiP-HOPS. Eng. Fail. Anal. 18, 590–608 (2011)

    Article  Google Scholar 

  24. Gebizli, C.S., Metin, D., Sozer, H.: Combining model-based and risk-based testing for effective test case generation. In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1–4. IEEE (2015)

    Google Scholar 

Download references

Acknowledgements

The research in this paper was funded by the German Federal Ministry for Economic Affairs and Energy under the Central Innovation Program for SMEs (ZIM), grant numbers KF 2751303LT4 and 16KN044120.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Adrian Rumpold .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Pröll, R., Rumpold, A., Bauer, B. (2018). Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems. In: Pires, L., Hammoudi, S., Selic, B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2017. Communications in Computer and Information Science, vol 880. Springer, Cham. https://doi.org/10.1007/978-3-319-94764-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-94764-8_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-94763-1

  • Online ISBN: 978-3-319-94764-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics