Modélisation de l'étude de cas avec MARTE

Jérôme Delatour 1, 2 Joël Champeau 3
3 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
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). Au chapitre 8 est présentée la modélisation de l'étude de cas du régulateur cardiaque (pacemaker) avec la notation UML-MARTE. Les principes MARTE ayant été donnés au chapitre précédent, nous les considérons comme compris par le lecteur de ce chapitre.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00862485
Contributor : Annick Billon-Coat <>
Submitted on : Monday, September 16, 2013 - 6:03:04 PM
Last modification on : Monday, February 25, 2019 - 3:14:12 PM

Identifiers

  • HAL Id : hal-00862485, version 1

Citation

Jérôme Delatour, Joël Champeau. Modélisation de l'étude de cas avec MARTE. Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5. ⟨hal-00862485⟩

Share

Metrics

Record views

545