Retour au site du LAAS-CNRS

A simple primary-backup replication design pattern: development in UML and application

P.ANDRE, J.C.FABRE, C.FAYOLLAS, J.GUIOCHET, M.ROY, M.STOICESCU

TSF

Rapport LAAS N°11476, Septembre 2011, 26p.

Diffusable

Ajouter au panier 125276

Dé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

Ajouter au panier 125392

Model-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

Ajouter au panier 125390

Experience 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

Ajouter au panier 123363

Experience with a model-based safety analysis process for an autonomous service robot

D.MARTIN-GUILLEREZ, J.GUIOCHET, D.POWELL

TSF

Manifestation avec acte : IARP Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE 2010), Toulouse (France), 16-17 Juin 2010, pp.1-8 , N° 10354

Diffusable

Ajouter au panier 121724

A UML-based method for risk analysis of human-robot interaction

D.MARTIN-GUILLEREZ, J.GUIOCHET, D.POWELL, C.ZANON

TSF, 2I

Manifestation avec acte : 2nd International Workshop on Software Engineering for Resilient Systems (SERENE '10), Londres (GB), 15-16 Avril 2010, pp.32-41 , N° 10050

Diffusable

Ajouter au panier 121145

L2.3 Identification et évaluation des risques

D.MARTIN-GUILLEREZ, J.GUIOCHET

TSF

Rapport de Contrat : Projet MIRAS. ANR-08-TECS-009-04, 28 Octobre 2009, 27p. , N° 09747

Diffusion restreinte

Ajouter au panier 119856

Deliverable D1.8 Report on risk reduction approach for a roblt manpulator in close interaction with a person with respect to identified use cases

J.GUIOCHET, D.POWELL, R.M.SARR

TSF

Rapport de Contrat : PHRIENDS FP6-045359, 28 Octobre 2009 , N° 09873

Diffusion restreinte

Ajouter au panier 120430

Description des cas d'utilisation pour le développement de l'outil logiciel UMLHAZOP

T.MIEULET, M.BES, J.GUIOCHET

TSF

Rapport LAAS N°09571, 2 Septembre 2009

Diffusion restreinte

Ajouter au panier 119035

Architecture logicielle du plugin Eclipse UMLHAZOP

T.MIEULET, M.BES, J.GUIOCHET

TSF

Rapport LAAS N°09561, 2 Septembre 2009

Diffusion restreinte

Ajouter au panier 119033