L’évolution des méthodes de certification de la sécurité face au développement des applications de la microinformatique dans les transports terrestres / M. David in Annales des ponts et chaussées, 45 (Janvier 1988)

Public ISBD [article]  inAnnales des ponts et chaussées > 45 (Janvier 1988) . - pp. 3-19 Titre : L’évolution des méthodes de certification de la sécurité face au développement des applications de la microinformatique dans les transports terrestres Type de document : texte imprimé Auteurs : M. David, Auteur Année de publication : 1988 Article en page(s) : pp. 3-19 Langues : Français (fre) Résumé : Le développement des applications des microprocesseurs dans les fonctions de sécurité des systèmes de transport terrestre remet en cause le concept traditionnel de sécurité intrinsèque sur lequel reposait jusqu'à présent la réalisation de ces fonctions, et par suite remet également en cause les méthodes de certification de ces systèmes. L'objet du présent article est, après un bref rappel des principes de la sécurité intrinsèque, de montrer comment l'on aborde actuellement la sécurité des systèmes commandés par microprocesseurs tant au niveau de la conception et de la réalisation qu'au niveau de la certification. On montre en premier lieu comment sont fixés les objectifs de sécurité d'un système de transport, puis comment l'on essaie de se protéger à la fois contre les risques de défaillance matérielle des microprocesseurs et contre les fautes de programmation. Il en ressort que les connaissances sont encore imparfaites dans ce domaine, et que des outils restent à développer notamment pour faire la démonstration de la sécurité des logiciels. [article] L’évolution des méthodes de certification de la sécurité face au développement des applications de la microinformatique dans les transports terrestres [texte imprimé] / M. David, Auteur . - 1988 . - pp. 3-19. Langues : Français (fre) in Annales des ponts et chaussées > 45 (Janvier 1988) . - pp. 3-19 Résumé : Le développement des applications des microprocesseurs dans les fonctions de sécurité des systèmes de transport terrestre remet en cause le concept traditionnel de sécurité intrinsèque sur lequel reposait jusqu'à présent la réalisation de ces fonctions, et par suite remet également en cause les méthodes de certification de ces systèmes. L'objet du présent article est, après un bref rappel des principes de la sécurité intrinsèque, de montrer comment l'on aborde actuellement la sécurité des systèmes commandés par microprocesseurs tant au niveau de la conception et de la réalisation qu'au niveau de la certification. On montre en premier lieu comment sont fixés les objectifs de sécurité d'un système de transport, puis comment l'on essaie de se protéger à la fois contre les risques de défaillance matérielle des microprocesseurs et contre les fautes de programmation. Il en ressort que les connaissances sont encore imparfaites dans ce domaine, et que des outils restent à développer notamment pour faire la démonstration de la sécurité des logiciels.

---

1 (1 - 1 / 1) Par page : 25 50 100 200