Retour au site du LAAS-CNRS

MAFALDA: a series of prototype tools for the assessment of real time COTS microkernel-based systems

J.ARLAT, J.C.FABRE, M.RODRIGUEZ, F.SALLES

TSF, SUN

Ouvrage (contribution) : Fault injection techniques and tools for embedded systems reliability evaluation, Kluwer Academic Publishers, N°ISBN 1-4020-7589-8, 2003, pp.141-156 , N° 02347

Diffusable

Ajouter au panier 101548

Towards implementing multi-level reflection for fault-tolerance

F.TAIANI, J.C.FABRE, M.O.KILLIJIAN

TSF

Manifestation avec acte : 2003 International Conference on Dependable Systems and Networks (DSN'2003). Dependable Computing and Communications Symposium, San Francisco (USA), 22-25 Juin 2003, pp.435-444 , N° 02564

Diffusable

Ajouter au panier 100859

Building SWIFI tools from temporal logic specifications

M.RODRIGUEZ, J.C.FABRE, J.ARLAT

TSF

Manifestation avec acte : 2003 International Conference on Dependable Systems and Networks (DSN'2003). Dependable Computing and Communications Symposium, San Francisco (USA), 22-25 Juin 2003, pp.95-104 , N° 02613

Diffusable

Ajouter au panier 100860

Novel generic middleware building blocks for dependable modular avionics systems

M.LE ROY, P.GULA, J.C.FABRE, G.LE LANN, E.BORNSCHLEGL

ASTRIUM, TSF, AXLOG, EXT, INRIA Rocquencourt, ESA/ESTEC

Conférence invitée : Invited paper. ESA Workshop on Spacecraft Data Systems, Noordwijk,(Pays-Bas) , 5-7 Mai 2003, 17p. , N° 03219

Diffusable

Ajouter au panier 100754

Adaptive fault tolerant systems: reflective design and validation

M.O.KILLIJIAN, J.C.FABRE

TSF

Manifestations avec acte à diffusion limitée : Annual IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, Nice (France), 22-26 Avril 2003, 4p. , N° 03045

Diffusable

Ajouter au panier 100765

Validation of fault tolerance and timing properties

J.C.FABRE, M.GOLDSMITH, T.LOSERT, E.MARSDEN, N.MOFFAT, M.PAULITSCH, D.POWELL, W.SIMMONDS, P.WHITTAKER

TSF, Wien, Formal, QinetiQ

Rapport de Contrat : DSoS, Project IST-1999-11585, Avril 2003, 87p. , N° 03174

Diffusable

Ajouter au panier 100680

Reflective fault-tolerant systems: from experience to challenges

J.C.RUIZ-GARCIA, M.O.KILLIJIAN, J.C.FABRE, P.THEVENOD-FOSSE

TSF

Revue Scientifique : IEEE Transactions on Computers. Special Issue on Reliable Distributed Systems, Vol.52, N°2, pp.237-254, Février 2003 , N° 02036

Diffusable

Ajouter au panier 101098

Principles of multi-level reflection for fault tolerant architectures

F.TAIANI, J.C.FABRE, M.O.KILLIJIAN

TSF

Manifestation avec acte : 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Tsukuba (Japon), 16-18 Décembre 2002, pp.59-66 , N° 02201

Diffusable

Ajouter au panier 100319

Portable serialization of CORBA objects : a reflective approach

M.O.KILLIJIAN, J.C.RUIZ-GARCIA, J.C.FABRE

TSF

Manifestation avec acte : 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'2002), Seattle (USA), 4-8 Novembre 2002, pp.68-82 , N° 01537

Diffusable

Ajouter au panier 100114

Wrapping real-time systems from temporal logic specifications

M.RODRIGUEZ, J.C.FABRE, J.ARLAT

TSF

Manifestation avec acte : 4th European Dependable Computing Conference (EDCC-4), Toulouse (France), 23-25 Octobre 2002 , N° 02121

Diffusable

Ajouter au panier 100004