Prototyping an Embedded Automotive System from its UML/SysML Models - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Prototyping an Embedded Automotive System from its UML/SysML Models

Ludovic Apvrille


The paper introduces a fast approach to prototype embedded systems. Software components are first modeled and formally verified using a SysML environment named AVATAR, supported by a free software named TTool. Simulation and formal verification of AVATAR components can be performed at the push of a button. The C/POSIX code of AVATAR components can also be generated directly from TTool. The generated code along with the selected operating system can then be compiled, linked together, and executed on the SoCLib virtual prototyping platform. The latter has simulation models to build custom hardware platforms simulators and supports several real-time and embedded operating systems, including MutekH. Debugging features provided by the SoCLib platform offers straightforward debugging features, either with a command-line debugger-such as the GNU debbuger-or directly in TTool which presents execution results in a UML way using sequence diagrams, thus requiring no specific skill on the target platform. An automotive embedded application is used to present the whole AVATAR methodology, with a particular focus on the prototyping phase.
Fichier principal
Vignette du fichier
3C-1.pdf (486.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02191862 , version 1 (23-07-2019)


  • HAL Id : hal-02191862 , version 1


Ludovic Apvrille, Alexandre Bécoulet. Prototyping an Embedded Automotive System from its UML/SysML Models. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02191862⟩
90 View
80 Download


Gmail Facebook Twitter LinkedIn More