Abstract
Cyber-physical Systems are distributed, embedded systems that interact with their physical environment. Typically, these systems consist of several Electronic Control Units using multiple processing cores for the execution. Many systems are applied in safety-critical contexts and have to fulfill hard real-time requirements. The model-driven engineering paradigm enables system developers to consider all requirements in a systematical manner. In the software design phase, they prove the fulfillment of the requirements using model checking. When deploying the software to the executing platform, one important task is to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Current model-driven approaches do not consider the problem of deriving feasible execution schedules for embedded multi-core platforms respecting hard real-time requirements. This paper extends the previous work on providing an approach for a semi-automatic synthesis of behavioral models into a deterministic real-time scheduling. We add an approach for the partitioning and mapping development tasks. This extended approach enables the utilization of parallel resources within a single ECU considering the verification assumptions by extending the open tool platform App4mc. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
Amalthea: Deliverable: D3.1 concept for a partitioning/mapping/scheduling/timing-analysis tool. Technical report 3.4, Amalthea, January 2013
AMALTHEA4public Consortium: APP4MC Help Documentation (2017). https://www.eclipse.org/app4mc/help/app4mc-0.8.0/index.html#section4.5.2.3
Amnell, T., Fersman, E., Pettersson, P., Yi, W., Sun, H.: Code synthesis for timed automata. Nord. J. Comput. 9(4), 269–300 (2002). http://dl.acm.org/citation.cfm?id=779110.779112
Austin, T., Larson, E., Ernst, D.: Simplescalar: an infrastructure for computer system modeling. Computer 35(2), 59–67 (2002)
AUTOSAR: Release 4.2 Overview and Revision History (2014). http://www.autosar.org/specifications/release-42/
Becker, S., et al.: The mechatronicuml design method - process and language for platform-independent modeling. Technical report tr-ri-14-337, Heinz Nixdorf Institute, Paderborn University, version 0.4, March 2014
Borde, E., Carlson, J.: Towards verified synthesis of ProCom, a component model for real-time embedded systems. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, pp. 129–138. ACM, New York (2011). https://doi.org/10.1145/2000229.2000248
Brun, M., Delatour, J.: Contribution to the software execution platform integration during an application deployment process. Ph.D. thesis, Ph.D. dissertation, École Centrale de Nantes, Nantes, France (2010)
Bureš, et al.: Procom-the progress component model reference manual. Mälardalen University, Västerås (2008)
Crnković, I., Sentilles, S., Vulgarakis, A., Chaudron, M.R.: A classification framework for software component models. IEEE Trans. Softw. Eng. 37(5), 593–615 (2011)
Drozdowski, M.: Scheduling for Parallel Processing. Computer Communications and Networks. Springer, Berlin (2009). https://doi.org/10.1007/978-1-84882-310-5
Ferdinand, C., Heckmann, R.: aiT: worst-case execution time prediction by static program analysis. In: Jacquart, R. (ed.) Building the Information Society. IIFIP, vol. 156, pp. 377–383. Springer, Boston, MA (2004). https://doi.org/10.1007/978-1-4020-8157-6_29
Geismann, J., Pohlmann, U., Schmelter, D.: Towards an automated synthesis of a real-time scheduling for cyber-physical multi-core systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD, vol. 1, pp. 285–292. INSTICC/ScitePress (2017)
Geismann et al.: Implementation and example models (2016). https://trac.cs.upb.de/mechatronicuml/wiki/PaperModelsward17, http://workupload.com/file/rMP2kVG
Gerking et al.: Domain-specific model checking for cyber-physical systems. In: Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2015, vol. 1514 (2015). http://ceur-ws.org/Vol-1514/
Gill, N.S., Grover, P.S.: Component-based measurement: few useful guidelines. SIGSOFT Softw. Eng. Notes 28(6), 1–6 (2003)
Hošek, P., Pop, T., Bureš, T., Hnětynka, P., Malohlava, M.: Comparison of component frameworks for real-time embedded systems. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol. 6092, pp. 21–36. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13238-4_2
Höttger, R., Krawczyk, L., Igel, B.: Model-based automotive partitioning and mapping for embedded multicore systems. In: International Conference on Parallel, Distributed Systems and Software Engineering, ICPDSSE 2015, vol. 2, pp. 2643–2649. World Academy of Science, Engineering and Technology (2015)
Kitchenham, B., et al.: Case studies for method and tool evaluation. IEEE Softw. 12(4), 52–62 (1995)
Krawczyk, L., Wolff, C., Fruhner, D.: Automated distribution of software to multi-core hardware in model based embedded systems development. In: Dregvaite, G., Damasevicius, R. (eds.) ICIST 2015. CCIS, vol. 538, pp. 320–329. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24770-0_28
Kristensen, J., Mejholm, A., Pedersen, S.: Automatic translation from UPPAAL to C. Technical report, Department of Computer Science, Aalborg University (2004)
Lau, K.K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709–724 (2007)
Lelionnais, C., et al.: Formal behavioral modeling of real-time operating systems. In: Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012), Wroclaw, Poland, vol. 2, June 2012. https://hal.archives-ouvertes.fr/hal-01093794
Lukasiewycz, F.N., et al.: Priority assignment for event-triggered systems using mathematical programming. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2013, EDA Consortium, San Jose, CA, USA, pp. 982–987 (2013). http://dl.acm.org/citation.cfm?id=2485288.2485524
Macher et al.: Filling the gap between automotive systems, safety, and software engineering. e & i Elektrotechnik und Informationstechnik, 1–7 (2015). https://doi.org/10.1007/s00502-015-0301-x
OMG: Unified Modeling Language, version 2.4.1. Superstructure Specification (2011). http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/
Opp, D., Caspar, M., Hardt, W.: Code generation for timed automata system specifications considering target platform resource-restrictions. In: Proceedings of the 7th International Conference on Computing and Information Technology 2011, pp. 144–149 (2011)
Pohlmann, U., Hüwe, M.: Model-driven allocation engineering. In: Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), November 2015. ACM/IEEE (2015)
Tindell, K., et al.: Analysis of hard real-time communications. Real-Time Syst. 9(2), 147–171 (1995). https://doi.org/10.1007/BF01088855
Van Solingen, R., et al.: The Goal/Question/Metric Method: A Practical Guide for Quality Improvement of Software Development. McGraw-Hill, London (1999)
Acknowledgment
This work was partially developed in the Leading-Edge Cluster ‘Intelligent Technical Systems OstWestfalenLippe’ (it’s OWL) and in the ITEA 2 AMALTHEA4public project (Nos. 01IS14029I and 01IS14029K). The IT’S OWL and the AMALTHEA4public projects are funded by the German Federal Ministry of Education and Research.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., Schmelter, D. (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core 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_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-94764-8_4
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)