Skip to Main content Skip to Navigation
Conference papers

Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties

Abstract : 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 (CPS), there is a growing need for model-driven generation of multi-threaded code for multi-core systems. This paper proposes a build method of timepredictable 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. At the compiler level, the verified compiler from the synchronous language SIGNAL to our intermediate representation (S-CGA, a variant of guarded actions) and to multi-threaded code, preserves the time predictability. At the platform level, we propose a time-predictable multi-core architecture model in AADL (Architecture Analysis and Design Language), and then we map the multi-threaded code to this model. Therefore, our method integrates time predictability across several design layers.
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, May 11, 2015 - 9:15:07 AM
Last modification on : Thursday, March 18, 2021 - 2:34:40 PM
Long-term archiving on: : Monday, September 14, 2015 - 9:47:33 PM


Files produced by the author(s)


  • HAL Id : hal-01150341, version 1
  • OATAO : 13210


Zhibin Yang, Jean-Paul Bodeveix, M Filali. Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Workshop on Architecture Centric Virtual Integration - MODELS 2014, Sep 2014, Valencia, Spain. pp. 1-10. ⟨hal-01150341⟩



Record views


Files downloads