Précédent : Références Remonter : Projet EP-ATR

Abstract

The overall goal of the project is to contribute to the development of methods and software tools for the design and implementation of embedded systems, particularly in the area of real-time. This work is lead in close relationship with various application domains, for downstream experimentation purposes as well as for feeding the paradigm upstream. The systems considered range from the smallest (e.g. ASIC s in control systems) to the largest (avionics, energy, telecommunication, defense). They are often critical in terms of safety, and their temporal behaviour is often complex. They are executed on various architectures (integrated circuits, distributed architectures, fault-tolerant architectures, etc.).

The contributions of the project are based on the model of synchronized data flow upon which the language SIGNAL is built. SIGNAL is an equational language, provided with a graphical interface of the block-diagram type. SIGNAL programs can undergo deep syntactic and architectural transformations, while their semantics is being preserved, i.e. their equivalence is guaranteed. Hence, an application can be specified and described with an appropriate structure, and then transformed for its execution on a particular software or hardware target architecture. It is also possible to formally verify properties at all phases in the design, concerning as well the control (synchronization and logic) as data paths.