160documents trouvés
Robustness of modular multi-layered software in the automotive domain: a wrapping-based approach
C.LU, J.C.FABRE, M.O.KILLIJIAN
RENAULT Technocentre, TSF
Manifestation avec acte : 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009), Majorque (Espagne), 22-26 Septembre 2009, 8p. , N° 08115
Diffusable
Plus d'informations
Mots-Clés / Keywords
Wrapping; Reflective computing; On-line checking; Autosar software architecture;
Application of early error detection for handling degraded modes of operation
T.ROBERT, M.ROY, J.C.FABRE
TSF
Manifestation avec acte : 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse (France), 14-15 Mai 2009, 2p. , N° 09171
Lien : http://hal.archives-ouvertes.fr/hal-00381913/fr/
Diffusable
Plus d'informations
Abstract
Real-time software application are in charge to maintain a timely, and predictable interaction with their environment, being hardware devices, or other software entities. This short paper is intended to illustrate the use of early error detectors generated from timed automata based specifica-tions in a recovery block-like design pattern. To simplify the framework, the paper will focus on an ex-ample. The design pattern is defined with a special detec-tion service integrated. We plan to slightly enhance the semantics of a hierarchical version of timed automata to describe the behavior of such fault tolerant design patterns.
Mots-Clés / Keywords
Hierarchical time automata; Monitoring; Fault tolerance; Design pattern;
Some challenges in adaptive fault tolerant computing
F.TAIANI, J.C.FABRE
Lancaster Univ., TSF
Manifestation avec acte : 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse (France), 14-15 Mai 2009, 2p. , N° 09169
Lien : http://hal.archives-ouvertes.fr/hal-00381925/fr/
Diffusable
117578A framework for assessment-based adaptive fault-tolerant systems
J.C.FABRE, T.PAREAUD, T.ROBERT, P.PPOPOV, V.STANKOVIC, I.GASHI, F.TAIANI, S.LIN, I.ZUTAUTAITE-SEPUTIENE
TSF, City University, Lancaster Univ., Vytautas Magnus Univ
Rapport LAAS N°09185, Avril 2009, 8p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
Reflection; Component based software engineering; Bayesian inference assessment; Adaptive systems;
A multilevel reflective framework against error propagation in automotive embeded software
C.LU, J.C.FABRE, M.O.KILLIJIAN, F.OUGIER
RENAULT Technocentre, TSF
Rapport LAAS N°09168, Article refusé, Avril 2009, 14p.
Diffusable
117216Towards assessment-based adaptive fault-tolerant systems: technologies, framework and an example
J.C.FABRE, T.PAREAUD, T.ROBERT, P.PPOPOV, V.STANKOVIC, I.GASHI, F.TAIANI, S.LIN, I.ZUTAUTAITE-SEPUTIENE
TSF, City University, Lancaster Univ., Vytautas Magnus Univ
Rapport LAAS N°09085, Mars 2009, 12p.
Diffusable
Plus d'informations
Mots-Clés / Keywords
Reflection; Component based software engineering; Bayesian inference assessment; Adaptive systems;
Componentization of fault tolerance software for fine-grain adaptation
T.PAREAUD, J.C.FABRE, M.O.KILLIJIAN
TSF
Manifestation avec acte : The 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'08), Taipei (Taiwan), 15-17 Décembre 2008, pp.248-255 , N° 08322
Diffusable
Plus d'informations
Mots-Clés / Keywords
Fault tolerance adaptation; Reflective architecture; Component models;
On-line monitoring of real time applications for early error detection
T.ROBERT, J.C.FABRE, M.ROY
TSF
Manifestation avec acte : The 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'08), Taipei (Taiwan), 15-17 Décembre 2008, pp.24-31 , N° 08371
Diffusable
Plus d'informations
Abstract
Error confinement technologies have proven their efficiency to improve software dependability. Such mechanisms usually require efficient error detectors to signal swiftly any misbehaviour. Real-time systems, due to their timing constraints, imply a richer description of correct and/or erroneous states that includes timing aspects. This paper presents real-time error detectors that can be automatically generated from formal models of the expected behaviours of software applications. The considered specifications provide the means to define quantitative temporal constraints on the execution of the application. These detectors check at run-time that the current execution matches its specification. The paper contribution is twofold: firstly, at the theoretical level, we provide a formal definition of the expected behaviour of such detectors, ensuring a predictable behaviour of the detector system. Secondly, at a practical level, we provide a description of the complete generation process, from the models to the code of the detector.
Mots-Clés / Keywords
Error detection; Real-time application; Formal methods; Run-time monitor; Timed automata;
Robustesse des logiciels exécutifs : caractérisation de l'impact de pilotes défaillants par injection de fautes
A.ALBINET, J.ARLAT, J.C.FABRE
TSF
Revue Scientifique : Technique et Science Informatiques, Vol.27, N°9-10, pp.1253-1286, Octobre 2008 , N° 06640
Diffusable
Plus d'informations
Mots-Clés / Keywords
Système d'exploitation; Noyau; Logiciel pilote; Evaluation expérimentale; Injection de fautes; Caractérisation des modes de défaillance;
Benchmarking the impact of faulty drivers: Application to the linux kernel
A.ALBINET, J.ARLAT, J.C.FABRE
TSF
Ouvrage (contribution) : Dependability Benchmarking for Computer Systems, N°ISBN 978-0-470-23055-8, 2008, Chapitre 14, pp.285-310 , N° 06351
Diffusable
115573