Synchronous Execution Semantics for Component & Connector Models

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 264–273

Abstract

Component-and-connector languages such as Simulink and LabView are widely used in research and industry to model complex technical systems from a dataflow-based perspective. In safety-critical domains such as automotive and avionics, where human lives depend on the correctness of the software, a clear modeling language semantics leaving no room for ambiguities is crucial. In this paper, we present a synchronous component execution model enabling us to model embedded systems in a precise way guaranteeing that the system is executable within a limited amount of time and has a bounded discretization error for all possible inputs.

Authors 3

1. Malte Heithoff Aachen Chair of Software Engineering

   RWTH Aachen University

   Affiliation as printed

   Chair of Software Engineering, RWTH Aachen University, Aachen, Germany

2. Evgeny Kusmenko Aachen Chair of Software Engineering

   RWTH Aachen University

   Affiliation as printed

   Chair of Software Engineering, RWTH Aachen University, Aachen, Germany

3. Bernhard Rumpe⋆ Aachen Chair of Software Engineering

   RWTH Aachen University

   Affiliation as printed

   Chair of Software Engineering, RWTH Aachen University, Aachen, Germany