Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
Résumé
Le développement des systèmes décisionnels a permis de rendre les systèmes réactifs de plus en plus autonomes et l'émergence de nouvelles applications dans des domaines tels que la robotique de service. En revanche, les défaillances éventuelles dans ces nouvelles applications peuvent avoir des conséquences catastrophiques. Afin d'assurer la sécurité-innocuité de tels systèmes, nous proposons dans cet article un pro-cessus de génération des règles de sécurité vérifiables en ligne implémentables dans un moniteur de sécurité indépendant.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...