Abstract
Modern embedded software systems are becoming more and more complex. Engineering embedded systems raise specific challenges that are rarely present in other software engineering disciplines due to the systems’ steady interactions with their environment. Research and industry often describe embedded systems as component and connector models (C&C). C&C models describe the logical architecture by focusing on software features and their logical communications. In C&C models, hierarchical decomposed components encapsulate features, and connectors model the data flow between components via typed ports. As extra-functional properties, for example, safety and security, are also key features of embedded systems, C&C models are mostly enriched with them. However, the process to develop, understand, validate, and maintain large C&C models for complex embedded software is onerous, time consuming, and cost intensive. Hence, the aim of this chapter is to support the automotive software engineer with: (i) automatic consistency checks of large C&C models, (ii) automatic verification of C&C models against design decisions, (iii) tracing and navigating between design and implementation models, (iv) finding structural inconsistencies during model evolution, (v) presenting a flexible approach to define different extra-functional properties for C&C models, and (vi) providing a framework to formalize constraints on C&C models for extra-functional properties for automatic consistency checks.
Chapter PDF
Similar content being viewed by others
References
Bertram, V., Maoz, S., Ringert, J.O., Rumpe, B., von Wenckstern, M.: Component and connector views in practice: an experience report. In: Conference on Model Driven Engineering Languages and Systems (MODELS’17), pp. 167–177. IEEE, Piscataway (2017). http://www.se-rwth.de/publications/Component-and-Connector-Views-in-Practice-An-Experience-Report.pdf
Borgmann, M.: Matrix taxonomy (2006). https://www.nari.ee.ethz.ch/teaching/ha/handouts/linalg3p.pdf
Brenner, C.: How to ensure functional safety, according to ISO 26262 (2013). https://blogs.itemis.com/en/how-to-ensure-functional-safety-according-to-iso-26262. Accessed 29 April 2021
Cheng, C.H.: autoCode4 integrated inside Ptolemy II (ver. 11.0.devel) (2016). https://youtu.be/ImSHmsnUyeA?t=34s. Accessed 31 July 2018
Desgraupes, B.: Clustering indices. Univ. Paris Ouest-Lab Modal’X 1, 34 (2013)
Drave, I., Greifenberg, T., Hillemacher, S., Kriebel, S., Kusmenko, E., Markthaler, M., Orth, P., Salman, K.S., Richenhagen, J., Rumpe, B., Schulze, C., Wenckstern, M., Wortmann, A.: SMArDT modeling for automotive software testing. Softw. Practice Exp. 49(2), 301–328 (2019)
Goser, A.: MATLAB Answers: Clean up Simulink block diagram (2012). https://de.mathworks.com/matlabcentral/answers/30016-clean-up-simulink-block-diagram. Accessed 31 July 2018
Grazioli, F., Kusmenko, E., Roth, A., Rumpe, B., von Wenckstern, M.: Simulation framework for executing component and connector models of self-driving vehicles. In: Proceedings of MODELS 2017. Workshop EXE, CEUR 2019 (2017). http://www.se-rwth.de/publications/Simulation-Framework-for-Executing-Component-and-Connector-Models-of-Self-Driving-Vehicles.pdf
Hillemacher, S., Kriebel, S., Kusmenko, E., Lorang, M., Rumpe, B., Sema, A., Strobl, G., von Wenckstern, M.: Model-based development of self-adaptive autonomous vehicles using the SMARDT methodology. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD’18), pp. 163–178. SciTePress, Setúbal (2018)
Kriebel, S., Kusmenko, E., Rumpe, B., von Wenckstern, M.: Finding inconsistencies in design models and requirements by applying the SMARDT process. In: Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIV (MBEES’18). Univ. Hamburg (2018). http://www.se-rwth.de/publications/Finding-Inconsistencies-in-Design-Models-and-Requirements-by-Applying-the-SMARDT-Process.pdf
Kusmenko, E., Pavlitskaya, S., Rumpe, B., Stüber, S.: On the engineering of AI-powered systems. In: O’Conner, L. (ed.) ASEW19. Software Engineering Intelligence Workshop (SEIW19), pp. 126–133. IEEE, Piscataway (2019). http://www.se-rwth.de/publications/On-the-Engineering-of-AI-Powered-Systems.pdf
Kusmenko, E., Ronck, J.M., Rumpe, B., von Wenckstern, M.: EmbeddedMontiArc: textual modeling alternative to simulink. In: Proceedings of MODELS 2018. Workshop EXE (2018)
Kusmenko, E., Rumpe, B., Schneiders, S., von Wenckstern, M.: Highly-optimizing and multi-target compiler for embedded system models: C+ + compiler toolchain for the component and connector language EmbeddedMontiArc. In: Conference on Model Driven Engineering Languages and Systems (MODELS’18). IEEE, Piscataway (2018)
Kusmenko, E., Rumpe, B., Strepkov, I., von Wenckstern, M.: Teaching playground for C&C language EmbeddedMontiArc. In: Proceedings of MODELS 2018. Workshop ModComp (2018). http://www.se-rwth.de/publications/Teaching-Playground-for-C-and-C-Language-EmbeddedMontiArc.pdf
Maoz, S., Pomerantz, N., Ringert, J.O., Shalom, R.: Why is my component and connector views specification unsatisfiable? In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 134–144 (2017). https://doi.org/10.1109/MODELS.2017.26
Maoz, S., Ringert, J.O., Rumpe, B.: Synthesis of component and connector models from crosscutting structural views. In: Meyer, B., Baresi, L., Mezini, M. (eds.) Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’13), pp. 444–454. ACM, New York (2013). http://www.se-rwth.de/publications/Synthesis-of-Component-and-Connector-Models-from-Crosscutting-Structural-Views.pdf
Maoz, S., Ringert, J.O., Rumpe, B., von Wenckstern, M.: Consistent extra-functional properties tagging for component and connector models. In: Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp’16), CEUR Workshop Proceedings, vol. 1723, pp. 19–24 (2016). http://www.se-rwth.de/publications/Consistent-Extra-Functional-Properties-Tagging-for-Component-and-Connector-Models.pdf
National Instruments: Automatische Bereinigung von LabVIEW-Blockdiagrammen (2009). http://www.ni.com/tutorial/7386/de/. Accessed 31 July 2018
Plataniotis, G., Ma, Q., Proper, E., de Kinderen, S.: Traceability and modeling of requirements in enterprise architecture from a design rationale perspective. In: Research Challenges in Information Science (RCIS), 2015 IEEE 9th International Conference on, pp. 518–519. IEEE, Piscataway (2015)
Richenhagen, J., Rumpe, B., Schloßer, A., Schulze, C., Thissen, K., von Wenckstern, M.: Test-driven semantical similarity analysis for software product line extraction. In: International Systems and Software Product Line Conference (SPLC ’16), pp. 174–183. ACM, New York (2016). http://www.se-rwth.de/publications/Test-Driven-Semantical-Similarity-Analysis-for-Software-Product-Line-Extraction.pdf
Rumpe, B., Schulze, C., von Wenckstern, M., Ringert, J.O., Manhart, P.: Behavioral compatibility of simulink models for product line maintenance and evolution. In: Software Product Line Conference (SPLC’15), pp. 141–150. ACM, New York (2015). http://www.se-rwth.de/publications/Behavioral-Compatibility-of-Simulink-Models-for-Product-Line-Maintenance-and-Evolution.pdf
Von Luxburg, U.: A tutorial on spectral clustering. Stat. Comput. 17(4), 395–416 (2007)
von Wenckstern, M.: Verification of Structural and Extra Functional Properties in Component and Connector Models for Embedded and Cyber Physical Systems. Aachener Informatik-Berichte, Software Engineering, Band 44. Shaker Verlag (2020). http://www.se-rwth.de/phdtheses/Diss-von-Wenckstern-Verification-of-Structural-and-Extra-Functional-Properties-in-Component-and-Connector-Models-for-Embedded-and-Cyber-Physical-Systems.pdf
Zion Market Research: Global Embedded Systems Market Will Reach USD 225.34 billion by 2021 (2017). https://tinyurl.com/ofetbpzw. Accessed 14 February 2021
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2022 The Author(s)
About this chapter
Cite this chapter
Wenckstern, M.v. (2022). Improving the Model-Based Systems Engineering Process. In: Felderer, M., et al. Ernst Denert Award for Software Engineering 2020. Springer, Cham. https://doi.org/10.1007/978-3-030-83128-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-83128-8_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-83127-1
Online ISBN: 978-3-030-83128-8
eBook Packages: Computer ScienceComputer Science (R0)