194documents trouvés
Validation et contribution du processus de certification
M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, D.POWELL
TSF
Rapport de Contrat : IMAP, Décembre 2012 , N° 12740
Non diffusable
128931Seconde version de démonstration de l'approche de sécurisation de moyens mobiles
M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, D.POWELL
TSF
Rapport de Contrat : IMAP, Décembre 2012 , N° 12741
Non diffusable
128933Safety trigger conditions for critical autonomous systems
A.MEKKI-MOKHTAR, J.P.BLANQUART, J.GUIOCHET, D.POWELL, M.ROY
TSF, ASTRIUM
Manifestation avec acte : IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004) 2012 du 18 novembre au 19 novembre 2012, Niigata (Japon), 2012, 10p. , N° 12517
Diffusable
128570Applying existing standards to a medical rehabilitation robot: limits and challenges
J.GUIOCHET, Q.A.DO HOANG, M.KAANICHE, D.POWELL
TSF
Manifestation avec acte : Intelligent Robots and Systems ( IROS ) 2012 du 07 octobre au 12 octobre 2012, Algarve (Portugal), 2012, 6p. , N° 12643
Diffusable
128594AMORES: an Architecture for MObiquitous REsilient Systems
C.ARTIGUES, Y.DESWARTE, J.GUIOCHET, M.J.HUGUET, M.O.KILLIJIAN, D.POWELL, M.ROY, C.BIDAN, N.PRIGENT, E.ANCEAUME, S.GAMBS, G.GUETTE, M.HURFIN, F.SCHETTINI
TSF, MOGISA, SUPELEC, IRISA, MobiGIS, Grenade
Manifestation avec acte : European Dependable Computing Conference (EDCC) 2012 du 08 mai au 11 mai 2012, Sibiu (Roumanie), Mai 2012, 6p. , N° 12642
Diffusable
128592Testing the input timing robustness of real-time control software for autonomous systems
D.POWELL, J.ARLAT, H.CHU, F.INGRAND, M.O.KILLIJIAN
TSF, RIS
Manifestation avec acte : European Dependable Computing Conference (EDCC 2012), Sibiu (Roumanie), 8-11 Mai 2012, 11p. , N° 12100
Diffusable
127260Practical experience with model-based safety analysis: the MIRAS walking assistance robot
J.GUIOCHET, Q.A.DO HOANG, M.KAANICHE, D.POWELL
TSF
Rapport LAAS N°12199, Avril 2012, 12p.
Diffusable
127024Secure architecture for information systems in avionics
M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, D.POWELL, B.LECONTE, C.SIMACHE
TSF, Airbus Operations, ALTRAN Sud Ouest
Manifestation avec acte : Embedded Real Time Software and Systems (ERTS2 2012), Toulouse (France), 1-3 Février 2012, 7p. , N° 12080
Diffusable
126684Elicitation of executable safety rules for critical autonomous systems
A.MEKKI-MOKHTAR, J.P.BLANQUART, J.GUIOCHET, D.POWELL, M.ROY
ASTRIUM, TSF
Manifestation avec acte : Embedded Real Time Software and Systems (ERTS2 2012), Toulouse (France), 1-3 Février 2012, 10p. , N° 11509
Diffusable
126572Human-robot interactions: model-based risk analysis and safety case construction
Q.A.DO HOANG, J.GUIOCHET, D.POWELL, M.KAANICHE
TSF
Manifestation avec acte : Embedded Real Time Software and Systems (ERTS2 2012), Toulouse (France), 1-3 Février 2012, 4p. , N° 11531
Diffusable
126573