DesyreML: a SysML profile for heterogeneous embedded systems

Abstract : We propose a novel language for the formal description of heterogeneous embedded systems (DesyreML). As the main contribution, the language is formally described in terms of semantics and concrete syntax based on the SysML language. We define the concept of thick connector to allow for heterogeneous components communication and computation for multiple semantic domains (synchronous reactive, continuous time, discrete time, discrete-event). As technological application, a verification flow based on model-transformation techniques is described showing the use of an enriched version of the SystemC-AMS simulation kernel that is capable of simulating heterogeneous systems containing combinatorial loops. Finally, the language and the analysis flow are applied to a cruise control case study.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 5:56:43 PM
Last modification on : Tuesday, August 6, 2019 - 1:21:08 AM


Files produced by the author(s)


  • HAL Id : hal-02263394, version 1



Alberto Ferrari, Leonardo Mangeruca, Orlando Ferrante, Alessandro Mignogna. DesyreML: a SysML profile for heterogeneous embedded systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263394⟩



Record views


Files downloads