1195documents trouvés
Elicitation 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
126572Secure 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
126684Online model adaptation for aircraft operational reliability assessment
K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Manifestation avec acte : Embedded Real Time Software and Systems (ERTS2 2012), Toulouse (France), 1-3 Février 2012, 11p. , N° 12045
Lien : http://hal.archives-ouvertes.fr/hal-00761040
Diffusable
Plus d'informations
Abstract
This paper addresses the reliability modeling of an aircraft considering the aircraft operational state and its missions. It presents an assessment approach that one can use for the initial assignment of aircraft missions and possible adjustment and adaptation in case of unpredicted events during the mission. The developed model captures the current operational states of the aircraft with regards to its mission in order to assess the aircrafts ability to achieve the mission. A formal description of the model is presented together with the parameters that may have to be changed in order to adapt the model to online situations.
Human-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
126573MIRAS: Livrable L2.4. Estimation des risques résiduels
Q.A.DO HOANG, J.GUIOCHET
TSF
Rapport de Contrat : Projet ANR MIRAS. ANR-08-TECS-009-04, Janvier 2012, 32p. , N° 12065
Diffusion restreinte
126651Nanocomputing: small devices, large dependability challenges
J.ARLAT, Z.KALBARCZYK, T.NANYA
TSF, Illinois, Canon, Japon
Papier invité dans une revue : IEEE Security & Privacy, Vol.10, N°1, pp.69-72, Janvier 2012 , N° 12185
Diffusable
127002Message from the special issue editors
L.E.BUZATO, E.P.DUARTE, M.KAANICHE
UNICAMP, UFPR, TSF
Revue Scientifique : Journal of the Brazilian Computer Society, Vol.18, N°1, 2p., Janvier 2012 , N° 11852
Diffusable
127089Observation et analyse d'attaques sur internet
I.STUDNIA, E.ALATA, M.KAANICHE, V.NICOMETTE
TSF
Rapport LAAS N°11660, Décembre 2011, 38p.
Diffusable
125964Towards dynamic graph analysis: a position note
E.LE MERRER, G.TREDAN
Technicolor France, TSF
Manifestation avec acte : International Workshop on Dynamicity (DYNAM 2011), Toulouse (France), 12 Décembre 2011, 2p. , N° 11861
Lien : http://hal.archives-ouvertes.fr/hal-00725095
Diffusable
Plus d'informations
Abstract
In this note, we elaborate on directions for efficient graph analysis, taking into account the dynamic nature of complex networks
Self-checking components for dependable interactive cockpits using formal description techniques
A.TANKEU-CHOITAT, D.NAVARRE, P.PALANQUE, Y.DELERIS, J.C.FABRE, C.FAYOLLAS
IRIT-UPS, TSF, Airbus Operations
Manifestation avec acte : IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena (USA), 12-14 Décembre 2011, 11p. , N° 11547
Diffusable
126324