We present CoCoSim, a framework to support the design, code generation and analysis of
discrete dataflow model expressed in Simulink. In this work, we specifically focus on the …

SCADE is a high-level language and environment for developing safety-critical embedded
control software. It has been used for more than twenty years in various application domains …

We present a new visual language, SCCharts, designed for specifying safety-critical reactive
systems. SCCharts use a statechart notation and provide determinate concurrency based on …

The correct compilation of block diagram languages like Lustre, Scade, and a discrete
subset of Simulink is important since they are used to program critical embedded control …

A logical theory for interface specification and verification of distributed, concurrent,
interactive, real-time systems is worked out based on a semantic foundation including …

Synchronous languages ensure determinate concurrency but at the price of restrictions on
what programs are considered valid, or constructive. Meanwhile, sequential languages such …

Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or
Scade used routinely for implementing safety critical control software, eg, fly-by-wire and …

Scade is a domain-specific synchronous functional language used to implement safety-
critical real-time software for more than twenty years. Two main approaches have been …

Safety-critical systems such as avionics need to be engineered to be cyber resilient meaning
that systems are able to detect and recover from attacks or safely shutdown. As there are few …

We study modular, automatic code generation from hierarchical block diagrams with
synchronous semantics. Such diagrams are the fundamental model behind widespread …