Antoine Honoré's research while affiliated with National Institute for Research in Computer Science and Control and other places

The ModEasy project seeks to develop techniques and software tools to aid in the development of reliable microprocessor based electronic (embedded) systems using advanced development and verification systems. The tools are evaluated in domains such as the automotive sector for reactive cruise control and anti-collision radar. While current developments of such complex systems are performed by hand writing of VHDL code, we automatically generate this code from high level abstraction modeling in UML. This paper presents our tool chain that targets intensive signal processing applications.

This document describes the current UML profile of Gaspard2. This profile extends the UML semantics to allow the user to describe a SoC (System-on-Chip) in three steps: the application (behavior of the Soc), the hardware architecture, and the association of the application to the hardware architecture. The application is represented following a data flow model, but additional mechanisms permit the usage of control flow on those applications. In addition to those notions, the profile contains a package introducing factorization mechanisms to enable the compact description of massively parallel and repetitive systems.

Communication dans Workshop MP2006, 2éme journées sur l'Ingénierie Dirigée par les Modèles

No abstract

The ModEasy project seeks to develop techniques and software tools to aid in the development of reliable microprocessor based electronic (embedded) systems using advanced development and verification systems. The tools are evaluated in domains such as the automotive sector for reactive cruise control and anti-collision radar. While current developments of such complex systems are performed by hand writing of VHDL code, we automatically generate this code from high level abstraction modeling in UML. This paper presents our tool chain that targets intensive signal processing applications.