Retour au site du LAAS-CNRS

ADREAM - The Research program and the experimentation platform. Towards the design, deployment and evaluation of cyber-physical systems

J.ARLAT, M.DIAZ

TSF, SARA

Rapport LAAS N°12760,

Diffusable

Ajouter au panier 129021

ADREAM - Vers la conception et l’évaluation des systèmes cyberphysiques. Programme scientifique

J.ARLAT, M.DIAZ

SARA, TSF

Rapport LAAS N°12759,

Diffusable

Ajouter au panier 129020

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

Ajouter au panier 128931

Seconde 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

Ajouter au panier 128933

Chapitre 16. Conclusion

J.ARLAT, N.MATTA

TSF, UTT

Ouvrage (contribution) : Supervision, surveillance et sûreté de fonctionnement des grands systèmes, Sous la direction de N.Matta, Y.Vandenboomgaerde, J.Arlat; Traité IC2, Hermès, 373p., 2012, Mai 2012, Chapitre 16, pp.361-369 , N° 12259

Diffusable

Ajouter au panier 127289

Testing 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

Ajouter au panier 127260

Supervision, surveillance et sûreté de fonctionnement des grands systèmes

N.MATTA, Y.VANDENBOOMGAERDE, J.ARLAT

UTT, TSF

Ouvrage (éditeur) : Supervision, surveillance et sûreté de fonctionnement des grands systèmes, Sous la direction de N.Matta, Y.Vandenboomgaerde, J.Arlat; Traité IC2, Hermès, 2012, N°ISBN 978-2-7462-3840-4, Avril 2012, 373p. , N° 12208

Non disponible

Ajouter au panier 127067

Secure 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

Ajouter au panier 126684

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

Ajouter au panier 127002

Characterization of hypervisors for security-enhanced avionics applications

M.LASTERA, E.ALATA, J.ARLAT, Y.DESWARTE, D.POWELL, B.LECONTE, C.SIMACHE

TSF, Airbus Operations

Manifestation avec acte : SAE AeroTech Congress & Exhibition 2011, Toulouse (France), 18-21 Octobre 2011, 6p. , N° 11382

Diffusable

Ajouter au panier 126209