Environment and tool for hard real-time systems design

To automate the transition from the specification of a hard real-time system to its design, a design aid tool has been defined. It allows the description of a hard-real-time system using a synchronous visual language, the automatic transformation of the description in order to comply with the temporal constraints indicated in the system specification, and the research of an optimised configuration of the system for its projection on a generic architecture.<
>