Search

International audience; Summary This paper presents three AltaRica models and their analyses done to progressively assess the safety of the operation of an autonomous robot on an airfield as well as the functional and hardware architectures of the robot. The methodology and the experiment feedback are discussed.; Cet article présente trois modèles AltaRica et leurs analyses faites pour évaluer progressivement la sécurité de l'opération d'un robot autonome sur un aérodrome ainsi que les architectures fonctionnelle et matérielle du robot. La méthodologie utilisée et le retour d'expérience sont discutés.

International audience; The aim of this paper is to show what kinds of models and safety analysis can be produced with AltaRica MBSA framework for a robot which has to check lights on runways in an airport. As the industrial application was somewhat complex, it raises some questions about the modelling methodology to use in order to get self-consistent whole models which deal with operations as well as with functional and physical architecture, and which are easy to validate, extend or to update, in order to be used for a safe design.; Le but de l’article est de montrer quels types de modèles et d’analyses de safety peuvent être produits avec l’environnement de MBSA AltaRica, pour un robot qui doit vérifier les lampes bordant les pistes aéroportuaires. Sur cette application industrielle complexe sont abordées des questions sur la méthodologie à adopter pour obtenir des modèles consistants concernant les aspects opérationnels, fonctionnels et physiques, et qui soient également faciles à valider et compléter pour pouvoir être utilisés pour une conception sûre du système étudié.

The aim of this paper is to show what kinds of models and safety analysis can be produced with AltaRica MBSA framework for a robot which has to check lights on runways in an airport. As the industrial application was somewhat complex, it raises some questions about the modelling methodology to use in order to get self-consistent whole models which deal with operations as well as with functional and physical architecture, and which are easy to validate, extend or to update, in order to be used for a safe design., Le but de l’article est de montrer quels types de modèles et d’analyses de safety peuvent être produits avec l’environnement de MBSA AltaRica, pour un robot qui doit vérifier les lampes bordant les pistes aéroportuaires. Sur cette application industrielle complexe sont abordées des questions sur la méthodologie à adopter pour obtenir des modèles consistants concernant les aspects opérationnels, fonctionnels et physiques, et qui soient également faciles à valider et compléter pour pouvoir être utilisés pour une conception sûre du système étudié.

International audience; Cet article présente des travaux menés dans le projet MP6 1 . Il montre comment, compte tenu de la sensibilité des informations manipulées, les Systèmes d'Information et Communication en Santé et Social (SICSS) peuvent être convoités par des individus malintentionnés. Sont alors présentés les objectifs de MP6 face au besoin crucial de sécurité informatique, dans un domaine où la dynamicité des contextes d'exploitation et la complexité organisationnelle des organismes utilisateurs excluent des solutions développées dans d'autres secteurs, comme la défense ou la banque. MP6 vise notamment à définir un outil d'assistance à l'élaboration de politiques de sécurité pour les SICSS: cet outil doit permettre à l'utilisateur (par exemple un médecin DIM 2) d'exprimer une politique sous la forme d'un ensemble de règles, puis de vérifier qu'elle respecte des propriétés attendues (disponibilité, intégrité, confidentialité, auditabilité, etc.). L'article présente un ensemble de concepts nécessaires pour exprimer une politique de sécurité tenant compte des spécificités des mondes santé et social. Il montre enfin comment la capacité expressive et le mécanisme déductif de certaines logiques non classiques permettent de décrire formellement une telle politique de sécurité et de calculer automatiquement si elle vérifie les propriétés de sécurité souhaitées.