Retour au site du LAAS-CNRS

Safety 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

Ajouter au panier 128570

Applying 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

Ajouter au panier 128594

MIRAS: Livrable L2.5. Plan de sécurité pour l'évaluation clinique d'un déambulateur robotisé

J.CAQUAS, J.GUIOCHET, Q.A.DO HOANG, V.PASQUI

Robosoft, Meylan, TSF, ISIR, Jussieu

Rapport de Contrat : Projet ANR MIRAS. ANR-08-TECS-009-04, Juillet 2012, 10p. , N° 12364

Diffusion restreinte

Ajouter au panier 127684

AMORES: 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

Ajouter au panier 128592

Practical 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

Ajouter au panier 127024

Projet MIRAS: robot d'assistance à la déambulation avec interaction multimodale

V.PASQUI, L.SAINT BAUZEL, C.ZONG, X.CLADY, P.DECQ, F.PIETTE, V.MICHEL-PELLEGRINO, A.EL HELOU, M.CARRE, A.DURAND, Q.A.DO HOANG, J.GUIOCHET, P.RUMEAU, V.DUPOURQUE, J.CAQUAS

ISIR, Jussieu, AP-HP Henry Mondor, AP-HP Charles Foix, Medialis, Paris, TSF, CHU Purpan, Robosoft, Bidart, Robosoft, Meylan

Revue Scientifique : Ingénierie et Recherche BioMédicale (IRBM), Vol.33, N°2, pp.165-172, Avril 2012 , N° 12190

Non disponible

Ajouter au panier 127012

UML-based documentation of robustness testing

R.MORAES, H.WAESELYNCK, J.GUIOCHET

UNICAMP, TSF

Rapport LAAS N°12176, Avril 2012, 28p.

Diffusable

Ajouter au panier 126988

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

Ajouter au panier 126572

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

Ajouter au panier 126573

MIRAS: 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

Ajouter au panier 126651