10mm Cours 10mm Systèmes distribués temps réel sûrs

Cours
Syst`emes distribu´es temps r´eel sˆurs et optimis´es
M´ethodologie AAA : ad´equation algorithme-architecture
Yves Sorel
INRIA Paris-Rocquencourt
Domaine de Voluceau BP105
78153 Le Chesnay CEDEX
T´el. : 01 39 63 52 60, email : yves.so[email protected]
http://www.syndex.org
http://www.syndex.org/publications

Plan I
Contexte et objectifs
Approche syst`eme
D´efinitions
Domaines d’application
Sp´ecification fonctionnelle
Sp´ecification extra-fonctionnelle
Implantation optimis´ee : m´ethodologie AAA
Sp´ecification des Algorithmes
G´en´eralit´es
Mod`ele d’algorithme
Langages de sp´ecification fontionnelle
Langage synchrone SIGNAL
Sp´ecification des Architectures multicomposant
G´en´eralit´es
Mod`ele d’architecture multicomposant
Exemples de mod`ele d’architecture multicomposant
Implantation optimis´ee : Ad´equation
G´en´eralit´es
Plan II
Ordonnancement temps r´eel monoprocesseur
Ordonnancement temps r´eel multiprocesseur
Formalisation de l’implantation AAA
Implantation optimis´ee : ad´equation
G´en´eration de code
Logiciel SynDEx
Conclusion

Contexte et objectifs
Exemples de syst`emes embarqu´es
Automobile
Robotique mobile
Avionique
Telecommunication
1

Approche syst`eme
Cycle de d´eveloppement des syst`emes embarqu´es
CODAGE
EXIGENCE (quoi ?)
CONCEPTION (comment ?) TESTS
VALIDATION
Cycle en V
On traite la partie basse du cycle en V:Conception ↔Tests et Codage
avec comme but d’automatiser le codage, les tests, ou au moins de les
minimiser au maximum. On vise un cycle en Ioffrant une conception
sˆure par construction sans remont´ee dans le cycle.
Approche syst`eme
Liens entre AUTOMATIQUE et INFORMATIQUE
AUTOMATIQUE -mod´elisation/simulation - Sp´ecification
Mod´elisation/simulation hybride du syst`eme : processus domaine continu
et/ou discret, syst`eme de commande domaine discret.
INFORMATIQUE -implantation - Conception Codage
Implantation du syst`eme de commande sur processeurs et/ou circuits
int´egr´es sp´ecifiques (CI), puis connexion avec le processus.
2