OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Modélisation et analyse de systèmes embarqués

Kordon, Fabrice and Hugues, Jérôme and Canals, Agusti and Dohet, Alain Modélisation et analyse de systèmes embarqués. (2013) (Collection SEE). Hermes Sciences, Paris, France. ISBN 978-2746239005

Full text not available from this repository.

Abstract

Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l’on parle de plus en plus de systèmes embarqués, il s’agit avant tout d’un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l’art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s’agit d’opérations cruciales qui détermineront la fiabilité du futur système. L’apparition récente des techniques basées sur l’ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l’implémentation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).

Item Type:Book
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Université Pierre et Marie Curie, Paris 6 - UPMC (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Jerome Hugues
Deposited On:02 Sep 2013 13:23

Repository Staff Only: item control page