2. Besoins de garanties
2.1 Motivations
La criticité des systèmes embarqués est très variable. Les applications relatives au transport de personnes (avionique, ferroviaire, automobile intelligente) ou supervisant des procédés industriels dangereux (centrale nucléaire, procédé chimique), ou encore médicaux (assistance chirurgicale) doivent offrir des garanties de bon fonctionnement, établies par le respect de procédures de conception très strictes et certifiées par des organismes indépendants. Elles doivent également satisfaire des obligations de robustesse en cas de défaillance d'un ou plusieurs éléments de l'application ou de son environnement.
A contrario les applications sur téléphones mobiles n'engagent pas la vie humaine comme les cas cités précédemment. Elles doivent néanmoins garantir des...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Besoins de garanties
Méthodes formelles pour la vérification fonctionnelle
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
