loading
Documents

Research.Publish.Connect.

Paper

Authors: Johannes Geismann 1 ; Uwe Pohlmann 2 and David Schmelter 2

Affiliations: 1 Paderborn University, Germany ; 2 Fraunhofer IEM, Germany

ISBN: 978-989-758-210-3

Keyword(s): CPS, MDSD, Real-time Scheduling, Synthesis, Model-transformation, Multi-Core, Automotive.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Component-Based Software Engineering ; Domain-Specific Modeling and Domain-Specific Languages ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Software Engineering ; Systems Engineering

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 specifi ed with the MechatronicUML method. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.175.200.4

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.