194documents trouvés
Geo-registers: resilient geographic storage for collaborative mobile systems
M.ROY, F.BONNET, S.BONOMI, M.O.KILLIJIAN, D.POWELL, L.QUERZONI
TSF, IRISA, Rome
Rapport LAAS N°09190, Avril 2009, 10p.
Diffusable
117293HAZOP-UML scenario-based risk analysis
J.GUIOCHET, D.POWELL
TSF
Rapport LAAS N°09142, Mars 2009, 14p.
Diffusable
117022Enhancing 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
117289Geo-registers: an abstraction for spatial-based distributed computing
M.ROY, F.BONNET, L.QUERZONI, S.BONOMI, M.O.KILLIJIAN, D.POWELL
IRISA, TSF, Rome
Manifestation avec acte : 12th International Conference On Principles Of DIstributed Systems (OPODIS 2008), Luxor (Egypte), 15-18 Décembre 2008, 11p. , N° 08487
Diffusable
116344Preliminary report on risk reduction strategy for a robot manipulator in close interaction with a person with respect to identified use cases. D1.7
J.GUIOCHET, D.POWELL, O.TAOFIFENUA, T.GUHL, R.BISCHOFF
TSF, Kuka Roboter
Rapport de Contrat : Projet Européen PHRIENDS. FP6-045359, Décembre 2008, 37p. , N° 08712
Diffusion restreinte
116049Application of the evaluation framwork to the complete scenario (final version). Deliverable D4.2.2
P.LOLLINI, A.BONDAVALLI, F.BRANCATI, A.CECCARELLI, M.CLEMETSEN, L.COURTES, A.DAIDONE, G.EGELAND, L.FALAI, J.GRONBAEK, O.HAMOUDA, A.F.HANSEN, M.B.HANSEN, M.KAANICHE, M.O.KILLIJIAN, M.KOVACS, M.MAGYAR, I.MAJZIK, E.V.MATTHIESEN, L.MONTECCHI, A.NICKELSEN, J.J.NIELSEN, D.POWELL, J.G.RASMUSSEN, T.RENIER, H.P.SCHWEFEL
UNIFI, CNR-ISTI, TELENOR, TSF, AAU, BME Hungary, AAU Danemark
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Décembre 2008, 186p. , N° 08834
Diffusable
117910Surveillance en ligne de la sécurité basée sur les modes de sécurité
J.GUIOCHET, D.POWELL, E.BAUDIN, J.P.BLANQUART
TSF, ASTRIUM
Manifestation avec acte : Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Avignon (France), 7-9 Octobre 2008, 7p. , N° 08338
Lien : http://hal.archives-ouvertes.fr/hal-00282460/fr/
Diffusable
Plus d'informations
Abstract
Computer systems have to carry out more and more complex tasks, including ones where humans can be endangered. Residual design faults in such systems, as well as the inevitability of physical faults and interaction faults during operation, motivate the use of safety monitors to prevent catastrophic failures. We present an approach and a formalization of the process for determining safety rules. It consists in identifying safety modes, according to the different tasks carried out by the monitored system. In practice, each safety mode is related to one or several functional modes and is specified by a permissiveness vector that defines the authorized domains of variation of key physical variables. The set of safety modes can be partially ordered according to their authorization vectors and can thus be represented as a directed acyclic graph. This graph is used to automatically build a model representing safety modes and their transitions, which can be implemented in an independent safety monitor. A case study has been carried out on a mobile manipulator robot, working in a factory alongside humans.
Mots-Clés / Keywords
Dependability; Safety mode; Online monitoring; Robotics;
Report on analysis methods including safety integrity requirements for safe physical human-robot interaction. D1.6
J.GUIOCHET, D.POWELL, O.TAOFIFENUA, T.GUHL, R.BISCHOFF
TSF, Kuka Roboter
Rapport de Contrat : Projet Européen PHRIENDS. FP6-045359, Août 2008, 49p. , N° 08711
Diffusion restreinte
116047Safety and security architectures for avionics
Y.LAAROUCHI, Y.DESWARTE, D.POWELL, J.ARLAT
TSF
Manifestation avec acte : Doctoral Consortium (DCSOFT 2008) of the 3rd International Conference on Software and Data Technologies (ICSOFT 2008), Porto (Portugal), 5-8 Juillet 2008, 5p. , N° 08290
Diffusable
Plus d'informations
Mots-Clés / Keywords
Critical systems; Integrity levels; Virtualization; Information flow validation;