Titre : | Formal flow for automotive safety : bulletproofing car design (2019) |
Auteurs : | Doug Smith, Auteur |
Type de document : | Article : texte imprimé |
Dans : | Circuit cellar (344, March 2019) |
Article en page(s) : | P. 26-32 |
Langues: | Américain |
Sujets : |
IESN Correction d'erreur ; Electronique ; Erreur |
Résumé : |
"Formal tools can prove that a fault is safe, residual or latent - and they can quickly determine a worst-case/best-case diagnostic coverage without time-consuming analysis. In this article, Doug presents an improved formal verification flow faults while simultaneously providing much higher quality of results." (Extrait de Circuit Cellar n°344)
|
Exemplaires (1)
Localisation | Section | Support | Cote de rangement | Statut | Disponibilité |
---|---|---|---|---|---|
Bibliothèque IESN | _Périodiques | Périodique | 62 CIR 344 | Empruntable sur demande | Disponible |