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

Par : Fabrice Kordon, Fabrice Kordon, Jérôme Hugues, Agusti Canals, Agusti Canals, Alain Dohet, Alain Dohet

Formats :

Offrir maintenant
Ou planifier dans votre panier
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format PDF est :
  • Compatible avec une lecture sur My Vivlio (smartphone, tablette, ordinateur)
  • Compatible avec une lecture sur liseuses Vivlio
  • Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
Logo Vivlio, qui est-ce ?

Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement

Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
Google PlayApp Store
  • Nombre de pages312
  • FormatPDF
  • ISBN978-2-7462-8900-0
  • EAN9782746289000
  • Date de parution02/04/2013
  • Copier CollerNon Autorisé
  • Protection num.Digital Watermarking
  • Taille10 Mo
  • Infos supplémentairespdf
  • ÉditeurHermes Science Publications
  • Editeur See

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