Thumbnail
Access Restriction
Open

Author Farges, Jean-Loup ♦ Saurel, Claire ♦ Seguin, Christel ♦ Deschamp, Frédéric ♦ Favre-Bonté, Alexandra ♦ Ruaudel, Alain ♦ Desfosses, Augustin ♦ Laval, Marc
Source Hyper Articles en Ligne (HAL)
Content type Text
File Format PDF
Language English
Subject Keyword MODEL BASED SAFETY ASSESSMENT ♦ AUTONOMOUS ROBOT ♦ ALTARICA ♦ ROBOT AUTONOME ♦ ANALYSE DE SURETE BASEE SUR DES MODELES ♦ info ♦ Computer Science [cs]/Artificial Intelligence [cs.AI] ♦ Computer Science [cs]/Robotics [cs.RO]
Abstract 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.
Educational Use Research
Learning Resource Type Proceeding