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

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Modélisation et analyse de systèmes embarqués PDF full book. Access full book title Modélisation et analyse de systèmes embarqués by KORDON Fabrice. Download full books in PDF and EPUB format.

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

Modélisation et analyse de systèmes embarqués PDF Author: KORDON Fabrice
Publisher: Lavoisier
ISBN: 2746289008
Category : Embedded computer systems
Languages : en
Pages : 322

Get Book Here

Book Description
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).