. Ce type de système est typiquement soumis à de multiples procédures de certifications, qui ont pour objectif de valider la sûreté du système et la sécurité de ses utilisateurs. On retrouve typiquement ces systèmes informatiques déployés sur des plates-formes embarquées, par exemple ...