RWTH Aachen University
Synchronous programming models capture concurrency in computation quite naturally, especially in its dataflow multi-clock (polychronous) flavor. With the rising importance of multi-core processors in safety-critical embedded systems or Cyber-Physical Systems (CPSs), there is a growing need for model-driven generation of multi-threaded code for multi-core systems. This paper proposes a build method of time predictable system on multi-core, based on synchronous-model development. At the modeling level, the synchronous abstraction allows deterministic time semantics. Thus synchronous programming is a good choice for time-predictable system design.