Synchronous Execution Semantics for Component & Connector Models

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...