Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

Analyse à partir du modèle

Résumé : 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 s'agit d'opérations cruciales qui détermineront la fiabilité du futur système. L'apparation 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). Nous exposons au chapitre 9 une voie complémentaire, s'appuyant sur le model-checking et qui permet de repousser plus loin les limites de l'explosion combinatoire.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00862488
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 16 septembre 2013 - 18:17:25
Dernière modification le : mercredi 24 juin 2020 - 16:19:23

Identifiants

  • HAL Id : hal-00862488, version 1

Citation

Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle. Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5. ⟨hal-00862488⟩

Partager

Métriques

Consultations de la notice

534