Retour au site du LAAS-CNRS

Interactive cockpit as critical applications: a model-based and a fault-tolerant approach

C.FAYOLLAS, J.C.FABRE, D.NAVARRE, P.PALANQUE, Y.DELERIS

TSF, IRIT-UPS, Airbus Operations

Rapport Local N°12606, Novembre 2012, 20p.

Diffusable

Ajouter au panier 128491

Fault-tolerant interactive cockpits for critical applications: overall approach

C.FAYOLLAS, J.C.FABRE, D.NAVARRE, P.PALANQUE, Y.DELERIS

TSF, IRIT-UPS, Airbus Operations

Manifestation avec acte : Pise (Italie), 15p. , N° 12581

Diffusable

Ajouter au panier 128357

Self-checking components for dependable interactive cockpits using formal description techniques

A.TANKEU-CHOITAT, D.NAVARRE, P.PALANQUE, Y.DELERIS, J.C.FABRE, C.FAYOLLAS

IRIT-UPS, TSF, Airbus Operations

Manifestation avec acte : IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena (USA), 12-14 Décembre 2011, 11p. , N° 11547

Diffusable

Ajouter au panier 126324

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