Publications personnelle

4documents trouvés

12606
13/11/2012

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

128491
12581
27/09/2012

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

128357
11547
12/12/2011

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

126324
11476
16/09/2011

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

125276
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/