208documents trouvés
Specification 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
122395Virtualization 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
120006Physical Fault Models and Fault Tolerance
J.ARLAT, Y.CROUZET
TSF
Ouvrage (contribution) : Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault, Springer, 257p., N°978-90-481-3281-2, 29 Décembre 2009, pp.217-255 , N° 09349
Diffusable
120474Connecting 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
119700RobustWeb: development and validation of SOA applications based on web services
E.MARTINS, A.CAVALLI, J.ARLAT, R.MORAES, T.WEBER
UNICAMP, TELECOM & Management, TSF, UFRGS
Manifestation avec acte : Colloque d'informatique: Brésil /Inria, Coopérations, Avancées et Défis (COLIBRI 2009), Bento Goncalves (Brésil), 22-23 Juillet 2009, pp.42-47 , N° 09384
Diffusable
119523Robustness 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
117938Enhancing dependability in avionics using virtualization
Y.LAAROUCHI, Y.DESWARTE, D.POWELL, J.ARLAT, E.DE NADAI
TSF, AIRBUS France
Manifestation avec acte : EuroSys Workshop on Virtualization Technology for Dependable Systems (VTDS'09), Nuremberg (Allemagne), 31 Mars - 3 Avril 2009, 5p. , N° 09078
Diffusable
Plus d'informations
Mots-Clés / Keywords
Dependability; Virtualization; Fault tolerance; Avionics; Critical systems;
Evaluation de la robustesse de l'architecture de contrôle de robot. Rapport Technique 5
H.CHU, J.ARLAT, M.O.KILLIJIAN, B.LUSSIER, D.POWELL
TSF
Rapport de Contrat : Projet MARAE V1.0. LAAS-Verimag-Astrium, Janvier 2009, 33p. , N° 09188
Diffusable
117289