Dépouillements

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.

Description d'un modèle déterministe de prévision des surcotes en Manche et Mer du Nord (1) / O. Frerot in Annales des ponts et chaussées, 45 (Janvier 1988)

Public ISBD [article]  inAnnales des ponts et chaussées > 45 (Janvier 1988) . - pp. 20-32 Titre : Description d'un modèle déterministe de prévision des surcotes en Manche et Mer du Nord (1) Type de document : texte imprimé Auteurs : O. Frerot, Auteur Année de publication : 1988 Article en page(s) : pp. 20-32 Langues : Français (fre) Résumé : Cet article décrit les équations et le forces qui régissent le mouvement des masses fluides soumises à l'action de champ de vent et de pression, puis la méthode numérique qui utilise les éléments finis pour modéliser les cotes. On indique les tests de calculs effectués pour valider le modèle, puis on fait état de différents résultats de la simulation de tempêtes réelles. On précise le rôle de la marée dans le phénomène des surcotes. Enfin on expose les travaux actuels visant à l'implantation du code de calcul dans la chaîne de prévision opérationnelle de la Météorologie Nationale. [article] Description d'un modèle déterministe de prévision des surcotes en Manche et Mer du Nord (1) [texte imprimé] / O. Frerot, Auteur . - 1988 . - pp. 20-32. Langues : Français (fre) in Annales des ponts et chaussées > 45 (Janvier 1988) . - pp. 20-32 Résumé : Cet article décrit les équations et le forces qui régissent le mouvement des masses fluides soumises à l'action de champ de vent et de pression, puis la méthode numérique qui utilise les éléments finis pour modéliser les cotes. On indique les tests de calculs effectués pour valider le modèle, puis on fait état de différents résultats de la simulation de tempêtes réelles. On précise le rôle de la marée dans le phénomène des surcotes. Enfin on expose les travaux actuels visant à l'implantation du code de calcul dans la chaîne de prévision opérationnelle de la Météorologie Nationale.