194documents trouvés
Characterization of hypervisors for security-enhanced avionics applications
M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, D.POWELL, B.LECONTE, C.SIMACHE
TSF, Airbus Operations
Manifestation avec acte : SAE AeroTech Congress & Exhibition 2011, Toulouse (France), 18-21 Octobre 2011, 6p. , N° 11382
Diffusable
126209Installation et description du démonstrateur
M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, D.POWELL, B.LECONTE, C.SIMACHE
TSF, Airbus Operations, ALTRAN Sud Ouest
Rapport de Contrat : IMAP, Octobre 2011, 12p. , N° 11530
Non diffusable
127083Tolerance of design faults
D.POWELL, J.ARLAT, Y.DESWARTE, K.KANOUN
TSF
Ouvrage (contribution) : Festschrift Randell. Lecture Notes in Computer Science 6875, Springer. (C.B. Jones, J.L. Lloyd, Eds.), Août 2011, pp.428-452 , N° 11349
Lien : http://hal.archives-ouvertes.fr/hal-00761140
Diffusable
Plus d'informations
Abstract
The idea that diverse or dissimilar computations could be used to detect errors can be traced back to Dynosius Lardner's analysis of Babbage's mechanical computers in the early 19th century. In the modern era of electronic computers, diverse redundancy techniques were pioneered in the 1970's by Elmendorf, Randell, Avi˘zienis and Chen. Since then, the tolerance of design faults has been a very active research topic, which has had practical impact on real critical applications. In this paper, we present a brief history of the topic and then describe two contemporary studies on the application of diversity in the fields of robotics and security.
Développement des moyens de sécurisation de moyens mobiles
E.ALATA, M.LASTERA, J.ARLAT, Y.DESWARTE, D.POWELL
TSF
Rapport de Contrat : IMAP, Juin 2011 , N° 11303
Non diffusable
124882Evaluation des performances des hyperviseurs pour l'avionique
M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, B.LECONTE, D.POWELL
TSF, Airbus Operations
Manifestation sans acte : Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), Saint Malo (France), 10 Mai 2011, 2p. , N° 11214
Diffusable
124529Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques
A.MEKKI-MOKHTAR, J.P.BLANQUART, J.GUIOCHET, D.POWELL
ASTRIUM, TSF
Manifestation sans acte : Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), St Malo (France), 10 Mai 2011, 2p. , N° 11502
Diffusable
125392Intrusion-tolerant fine-grained authorization for Internet applications
V.NICOMETTE, D.POWELL, Y.DESWARTE, N.ABGHOUR, C.ZANON
TSF, Université Hassan II, 2I
Revue Scientifique : Journal of Systems Architecture, Vol.57, N°4, pp.441-451, Avril 2011 , N° 11352
Diffusable
124901Model-based risk analysis of human-robot interactions and safety argument construction
Q.A.DO HOANG, J.GUIOCHET, D.POWELL, M.KAANICHE
TSF
Manifestation sans acte : Model Based Safety Assessment Workshop (MBSAW 2011), Toulouse (France), 15-16 Mars 2011, 6p. , N° 11501
Diffusable
125390Robustness testing and evaluation. Rapport Technique 7
D.POWELL, J.ARLAT, H.CHU, F.INGRAND, M.O.KILLIJIAN, L.DE SILVA
TSF, RIS
Rapport de Contrat : Projet MARAE V1.1. LAAS-Verimag-Astrium, Février 2011, 57p. , N° 11284
Diffusable
124726Experience with a model-based user-centered risk assessment for service robots
J.GUIOCHET, D.MARTIN-GUILLEREZ, D.POWELL
TSF
Manifestation avec acte : International High Assurance Systems Engineering Symposium (HASE 2010), San Jose (USA), 1-4 Novembre 2010, 10p. , N° 10785
Diffusable
123363