194documents trouvés
Etude des solutions d'hypervision complémentaires
M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, D.POWELL
TSF
Rapport de Contrat : IMAP. Airbus-SDC, Septembre 2010, 24p. , N° 10506
Non diffusable
122397Specification of suitable techniques for the validation objects
J.ARLAT, E.ALATA, Y.DESWARTE, Y.LAAROUCHI, D.POWELL
TSF
Rapport de Contrat : IMAP. Airbus-SDC, Septembre 2010, 11p. , N° 10505
Non diffusable
122395Experience with a model-based safety analysis process for an autonomous service robot
D.MARTIN-GUILLEREZ, J.GUIOCHET, D.POWELL
TSF
Manifestation avec acte : IARP Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE 2010), Toulouse (France), 16-17 Juin 2010, pp.1-8 , N° 10354
Diffusable
121724A UML-based method for risk analysis of human-robot interaction
D.MARTIN-GUILLEREZ, J.GUIOCHET, D.POWELL, C.ZANON
TSF, 2I
Manifestation avec acte : 2nd International Workshop on Software Engineering for Resilient Systems (SERENE '10), Londres (GB), 15-16 Avril 2010, pp.32-41 , N° 10050
Diffusable
121145Virtualization for Multiple Levels of Safety and Security
Y.LAAROUCHI, Y.DESWARTE, D.POWELL, J.ARLAT, E.DE NADAI
AIRBUS France, TSF
Rapport LAAS N°09884, Janvier 2010
Diffusable
120006Deliverable D1.8 Report on risk reduction approach for a roblt manpulator in close interaction with a person with respect to identified use cases
J.GUIOCHET, D.POWELL, R.M.SARR
TSF
Rapport de Contrat : PHRIENDS FP6-045359, 28 Octobre 2009 , N° 09873
Diffusion restreinte
120430Connecting commercial computers to avionics systems
Y.LAAROUCHI, Y.DESWARTE, D.POWELL, J.ARLAT, E.DE NADAI
TSF, AIRBUS France
Manifestation avec acte : 28th Digital Avionics Systems Conference (DASC'09) , Orlando (Etats-Unis), 25-29 Octobre 2009, 9p. , N° 09210
Diffusable
119700Robustness evaluation of robot controller software
H.CHU, J.ARLAT, M.O.KILLIJIAN, B.LUSSIER, D.POWELL
TSF
Manifestation avec acte : 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse (France), 14-15 Mai 2009, 2p. , N° 09184
Lien : http://hal.archives-ouvertes.fr/hal-00381686/fr/
Diffusable
Plus d'informations
Abstract
The LAAS architecture [1] is a three-layer software architecture for real-time control of mobile robots, that has been used successfully in several systems. To improve its robustness, the architecture is currently being restructured with BIP [2] (Behavior - Interaction - Priority). In this paper, we describe a fault injection approach for testing the architecture's robustness.
Criticality and confidence issues in avionics
Y.LAAROUCHI, Y.DESWARTE, D.POWELL, J.ARLAT, E.DE NADAI
TSF, AIRBUS France
Manifestation avec acte : 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse (France), 14-15 Mai 2009, 2p. , N° 09187
Lien : http://hal.archives-ouvertes.fr/hal-00381966/fr/
Diffusable
Plus d'informations
Abstract
Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open-world software, in order to avoid any interaction that could corrupt critical on-board systems. However, new aircraft generations need more interaction with off-board systems to offer extended services. The extent to which such interactions can be securely supported requires an in-depth characterization, analysis and control of potentially dangerous information flows. In this paper, we consider the safety aspect of such systems and detail the different viewpoints that justify the level of confidence that can placed on a system component.
Mots-Clés / Keywords
Dependability; Safety; Fault tolerance; Critical systems; Avionics;
Ensuring safety and security for avionics: a case study
Y.LAAROUCHI, Y.DESWARTE, D.POWELL, J.ARLAT, E.DE NADAI
AIRBUS France, TSF
Manifestation avec acte : Data Systems in Aerospace (DASIA 2009), Istanbul (Turquie), 26-29 Mai 2009, 5p. , N° 09027
Diffusable
117938