Approches formelles des systemes embarques communicants: Serie Informatique et Systemes d'Information

Les systemes embarques sont un enjeu industriel et academique inconteste et connaissent une complexite grandissante : architectures reparties et heterogenes, ressources limitees, systemes "e;concurrents"e; et communicants.

Ces systemes sont souvent critiques et soumis a des contraintes non fonctionnelles importantes, en particulier energetiques et temporelles.

Cette complexite, couplee avec des cycles de developpement de plus en plus courts impose une conception a la fois basee sur les modeles et assistee par des outils.

Les methodes formelles offrent un cadre mathematique fonde sur des modeles prenant aujourd'hui en compte les parametres discrets, stochastiques et continus (temporels et hybrides) ainsi que des outils de plus en plus performants.

Cet ouvrage est consacre a ces methodes formelles appliquees aux systemes embarques en insistant sur les enjeux, la modelisation, la verification, le diagnostic, la synthese de controleurs et en presentant les principaux outils associes.