208documents trouvés
Installation 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
127083Dependable computing and assessment dependability
J.ARLAT
TSF
Manifestation avec acte : Zuverlässigkeit und Entwurf (ZuE 2011). Reliability and Design, Hambourg (Allemagne), 27-29 Septembre 2011, pp.10-17 , N° 11432
Diffusable
125575Tolerance 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.
Introduction to the fifth workshop on dependable and secure nanocomputing
J.ARLAT, C.CONSTANTINESCU, J.KARLSSON, T.NANYA, A.WOOD
TSF, AMD, Fort Collins, Chalmers, Canon, Japon, Oracle, Belmont
Manifestation avec acte : International Conference on Dependable Systems and Networks Workshops (DSN-W 2011) , Hong Kong (Chine), 27-30 Juin 2011, pp.39-40 , N° 11849
Diffusable
127060Dé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
124882Architecture sécurisée des systèmes d'information appliquée à l'avionique
M.LASTERA, J.ARLAT, E.ALATA
TSF
Manifestation avec acte : Congrès des Doctorants EDSYS 2011, Toulouse (France), 10-11 Mai 2011, 6p. , N° 11168
Diffusable
124826Evaluation 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
124529Collecting, analyzing and archiving results from fault injection experiments
J.ARLAT, R.MORAES
TSF, UNICAMP
Manifestation avec acte : Latin-American Symposium on Dependable Computing (LADC 2011), São José dos Campos (Brésil), 25-29 Avril 2011, pp.100-105 , N° 10706
Diffusable
124587Robustness 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
124726Etude 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
122397