ALEBAS : une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués

De nos jours, l'augmentation de la complexité des systèmes embarqués impose la prise en charge, dès les premiers prototypes et au niveau logiciel, d'exigences habituellement traitées plus tardivement voire même seulement lors du passage en série, comme notamment les contraintes de sûreté d...

Full description

Bibliographic Details
Main Author: Godot, Jean
Other Authors: Université Paris-Saclay (ComUE)
Language:fr
Published: 2018
Subjects:
Online Access:http://www.theses.fr/2018SACLS057/document