Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems

Johannes Geismann, Uwe Pohlmann, David Schmelter

2017

Abstract

Modern Cyber-physical Systems are executed in physical environments and distributed over several Electronic Control Units using multiple cores for execution. These systems perform safety-critical tasks and, therefore, have to fulfill hard real-time requirements. To face these requirements systematically, system engineers develop these systems model-driven and prove the fulfillment of these requirements via model checking. It is important to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Currently, there is a gap in the process for model-driven approaches to derive a feasible runtime scheduling that respects these assumptions. In this paper, we present an approach for a semi-automatic synthesis of behavioral models into a deterministic scheduling that respects real-time requirements at runtime. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method.

References

  1. Alur, R. and Dill, D. (1994). A theory of timed automata. Theoretical Computer Science, 126(2):183-235.
  2. Amalthea (2013). Deliverable: D3.1 concept for a partitioning/ mapping/ scheduling/ timing-analysis tool. Technical Report 3.4, Amalthea.
  3. Austin, T., Larson, E., and Ernst, D. (2002). Simplescalar: an infrastructure for computer system modeling.
  4. AUTOSAR (2014). Release 4.2 Overview and Revision History.
  5. Becker et al. (2014). 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.
  6. Bureš et al. (2008). Procom-the progress component model reference manual. Mälardalen University, Västerås, Sweden.
  7. Ferdinand, C. and Heckmann, R. (2004). ait: Worst-case execution time prediction by static program analysis. In Jacquart, R., editor, Building the Information Society, volume 156 of IFIP International Federation for Information Processing, pages 377-383. Springer US.
  8. Geismann et al. (2016). Implementation and example models. https://trac.cs.upb.de/mechatronicuml/wiki/ PaperModelsward17.
  9. Gerking et al. (2015). Domain-specific model checking for cyber-physical systems. In Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation, volume Vol-1514 of MoDeVVa 7815.
  10. Gill, N. S. and Grover, P. S. (2003). Component-based measurement: Few useful guidelines. SIGSOFT Software Engineering Notes, 28(6):1-6.
  11. Höttger et al. (2015). Model-based automotive partitioning and mapping for embedded multicore systems. International Journal of Computer, Electrical, Automation, Control and Information Engineering, 9(1):268-274.
  12. Kitchenham et al. (1995). Case studies for method and tool evaluation. IEEE Software, 12(4):52-62.
  13. Lelionnais et al. (2012). Formal Behavioral Modeling of Real-Time Operating Systems. In Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Wroclaw, Poland.
  14. Lukasiewycz et al. (2013). Priority assignment for eventtriggered systems using mathematical programming. In Proceedings of the Conference on Design, Automation and Test in Europe, DATE 7813, pages 982-987, San Jose, CA, USA. EDA Consortium.
  15. Macher et al. (2015). Filling the gap between automotive systems, safety, and software engineering. e & i Elektrotechnik und Informationstechnik, pages 1-7.
  16. OMG (2011). Unified Modeling Language, version 2.4.1. Superstructure Specification.
  17. Pohlmann, U. and Hüwe, M. (2015). Model-driven allocation engineering. In Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). ACM/IEEE, IEEE.
  18. Tindell et al. (1995). Analysis of hard real-time communications. Real-Time Systems, 9(2):147-171.
Download


Paper Citation


in Harvard Style

Geismann J., Pohlmann U. and Schmelter D. (2017). 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 - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 285-292. DOI: 10.5220/0006117702850292


in Bibtex Style

@conference{modelsward17,
author={Johannes Geismann and Uwe Pohlmann and David Schmelter},
title={Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={285-292},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006117702850292},
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 - Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
SN - 978-989-758-210-3
AU - Geismann J.
AU - Pohlmann U.
AU - Schmelter D.
PY - 2017
SP - 285
EP - 292
DO - 10.5220/0006117702850292