Abstract
Cyber-Physical Systems (CPSs) are built upon discrete software and hardware components, as well as continuous physical components. Such heterogeneous systems involve numerous domains with competencies and expertise that go far beyond traditional software engineering: systems engineering. In this paper, we explore a model-based approach for systems engineering that advocates the composition of several heterogeneous artifacts (called views) into a sound and consistent system model. A model combination Language is proposed for this purpose. Thus, rather than trying to build the universal language able to capture all possible aspects of systems, the proposed language proposes to relate small subsets of languages in order to offer specific analysis capabilities while keeping a global consistency between all joined models. We demonstrate the interest of our approach through an industrial process based on Capella, which provides (among others) a large support for functional analysis from requirements to components deployment. Even though Capella is already quite expressive, it lacks support for schedulability analysis. AADL is also a language dedicated to system analysis. If it is backed with advanced schedulability tools, it lacks support for functional analysis. Thus, instead of proposing ways to add missing aspects in either Capella or AADL, we rather extract a relevant subset of both languages to build a view adequate for conducting schedulability analysis of Capella functional models. Finally, our combination language is generic enough to extract pertinent subsets of languages and combine them to build views for different experts. It also helps maintaining a global consistency between different modeling views.
This work was financially Supported by the CLARITY project and by a UCN@Sophia Labex scholarship.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Apel, S., Mauch, M., Schau, V.: Model-driven engineering tool comparison for architectures within heterogenic systems for electric vehicle. In: 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 671–676, February 2016
Behjati, R., Yue, T., Nejati, S., Briand, L., Selic, B.: Extending SysML with AADL concepts for comprehensive system architecture modeling. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 236–252. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21470-7_17
Brun, M., Vergnaud, T., Faugere, M., Delatour, J.: From UML to AADL: an explicit execution semantics modelling with MARTE. In: ERTS 2008 (2008)
De Saqui-Sannes, P., Hugues, J.: Combining SysML and AADL for the design, validation and implementation of critical systems. In: ERTS2 2012 (2012)
Degueule, T., Combemale, B., Blouin, A., Barais, O., Jezequel, J.M.: Melange: a meta-language for modular and reusable development of DSLs. In: Conference on Software Language Engineering, pp. 25–36. ACM (2015)
Elaasar, M., Noyrit, F., Badreddin, O., Gérard, S.: Reducing UML modeling tool complexity with architectural contexts and viewpoints. In: MODELSWARD, pp. 129–138 (2018)
Ergin, H., Syriani, E., Gray, J.: Design pattern oriented development of model transformations. Comput. Lang. Syst. Struct. 46, 106–139 (2016)
Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Boston (2012)
Garlan, D.: Modeling challenges for CPS systems. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems, p. 1, May 2015. https://doi.org/10.1109/SEsCPS.2015.8
Group, O.M.: OMG Systems Modeling Language, May 2017
Haber, A., et al.: Integration of heterogeneous modeling languages via extensible and composable language components. In: 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 19–31, February 2015
Harel, D., Rumpe, B.: Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff (2000)
Jezequel, J.M.: Model driven design and aspect weaving. Softw. Syst. Model. 7(2), 209–218 (2008)
Kurtev, I., Schuts, M., Hooman, J., Swagerman, D.J.: Integrating interface modeling and analysis in an industrial setting. In: MODELSWARD, pp. 345–352 (2017)
Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 363–369. IEEE (2008)
Marcé, L., Singhoff, F., Legrand, J., Nana, L.: Scheduling and memory requirements analysis with AADL. In: SIGAda, pp. 1–10. ACM (2005)
McCracken, D.D., Reilly, E.D.: Backus-Naur Form (BNF) (2003)
OMG: OMG Unified Modeling Language, April 2015
Ouni, B., Gaufillet, P., Jenn, E., Hugues, J.: Model Driven Engineering with Capella and AADL (2016)
Ramos, R., Barais, O., Jézéquel, J.-M.: Matching model-snippets. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 121–135. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75209-7_9
Scippacercola, F., Pietrantuono, R., Russo, S., Zentai, A.: Model-driven engineering of a railway interlocking system. In: 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 509–519, February 2015
Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar - a flexible real time scheduling framework. In: SIGAda, pp. 1–8 (2004)
Stahl, T., Voelter, M., Czarnecki, K.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Hoboken (2006)
Suri, K., Cuccuru, A., Cadavid, J., Gérard, S., Gaaloul, W., Tata, S.: Model-based development of modular complex systems for accomplishing system integration for industry 4.0. In: MODELSWARD, pp. 487–495 (2017)
Turki, S., Senn, E., Blouin, D.: Mapping the MARTE UML profile to AADL. In: ACES-MB, pp. 11–20 (2010)
Wang, J., Wang, J.: A new early warning method of train tracking interval based on CTC. IEEE Trans. Intell. Transp. Syst. 1–7
Zhao, H., Apvrille, L., Mallet, F.: Meta-models combination for reusing verification techniques. In: 7th International Conference on Model-Driven Engineering and Software Development, pp. 39–50. SCITEPRESS-Science and Technology Publications (2019)
Zhu, L., Zhang, Y., Ning, B., Jiang, H.: Train-ground communication in CBTC based on 802.11 b: design and performance research. In: CMC 2009, pp. 368–372. IEEE (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Zhao, H., Apvrille, L., Mallet, F. (2020). A Model-Based Combination Language for Scheduling Verification. In: Hammoudi, S., Pires, L., Selić, B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2019. Communications in Computer and Information Science, vol 1161. Springer, Cham. https://doi.org/10.1007/978-3-030-37873-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-37873-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-37872-1
Online ISBN: 978-3-030-37873-8
eBook Packages: Computer ScienceComputer Science (R0)