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

modelisation_et_analyse_de_systemes_embarques_couv.jpg

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 auteurs

  • Fabrice Kordon est professeur à l’université Pierre et Marie Curie et responsable d’une équipe de  recherche  au  LIP6.  Ses  activités  de recherches  portent  sur  l’usage  des  méthodes  formelles  dans  le développement de systèmes complexes
  • Jérôme  Hugues est  maître  de  conférences  au  département  de mathématiques, informatique et automatique de l’ISAE. Ses activités de recherche portent sur la conception de logiciels embarqués. 
  • Agusti Canals est directeur adjoint de la qualité et de l’audit technique de CS. Il est expert en génie logiciel certifié par l’OMG : « UML Professional » et « SysML Model Builder ».
  • Alain Dohet est responsable du pôle systèmes de systèmes à la DGA au ministère de la Défense. Son domaine d’activité couvre l’ingénierie système et la sûreté de fonctionnement des systèmes informatiques embarqués.  
Fichier attachéTypeTaille
Téléchargement modelisation_et_analyse_de_systemes_embarques_p...PDF document324.55 Ko
Groupes / audience: