Analyse à partir du modèle

Les systemes embarques rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, telephonie, medecine energie, industrie, etc. Ainsi, si l'on parle de plus en plus de systemes embarques, il s'agit avant tout d'un ensemble complet et integre (materiel + logiciel). Le point central de leur developpement est leur interaction avec leur environnement et les consequences associees en termes de securite et de fiabilite. Cet ouvrage dresse un etat de l'art du developpement des systemes embarques. Il s'agit d'operations cruciales qui determineront la fiabilite du futur systeme. L'apparation recente des techniques basees sur l'ingenierie des modeles pourrait revolutionner le developpement de ces systemes en assurant une continuite entre le niveau conceptuel et l'implementation de la partie logicielle. L'ouvrage expose trois approches parmi les plus utilisees : SysML (aspects ingenierie systeme), UML/MARTE et AADL (conception/analyse). Nous exposons au chapitre 9 une voie complementaire, s'appuyant sur le model-checking et qui permet de repousser plus loin les limites de l'explosion combinatoire.