160documents trouvés
Towards an assessment-based adaptable software architecture for dependability
J.C.FABRE, M.O.KILLIJIAN, T.PAREAUD, P.PPOPOV, T.ROBERT, M.ROY
City University, TSF
Rapport LAAS N°08102, Mars 2008, 26p.
Diffusable
113235Evaluation of a real-time monitoring framework
T.ROBERT, M.ROY, J.C.FABRE
TSF
Manifestation avec acte : 4th International Congress ERTS 2008 Embedded Real Time Software , Toulouse (France), 30 Janvier - 1er février 2008, 9p. , N° 08100
Diffusable
Plus d'informations
Abstract
Many algorithms exist to generate real-time run-time monitors. This paper focuses on the assessment of an implementation of a real-time monitor designed to handle timed automata specification as input. The monitoring algorithm has been analysed to propose a simple and yet realistic assessment method. The feature measured is the CPU-time overhead introduced by the monitor, per event. Our methodology proceeds by first providing an analytical formula to point out the main sources of overhead. According to this formula, we derive the main parameters of a specification that influence the induced overhead. Then, "real-life" specifications are analyzed to get a realistic range for these quantitative parameters. They are used to generate equivalent applications to measure the overhead. Finally, the hypothesis introduced by the analytical formula on the actual overhead is discussed, with respect to the empirical results.
Mots-Clés / Keywords
Run-time monitor; Evaluation; Parameter estimation; Real-time systems;
Fault tolerance connectors for unreliable web services
N.SALATGE, J.C.FABRE
TSF
Manifestation avec acte : 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Edimbourg (UK), 25-28 Juin 2007, pp.51-60 , N° 06698
Diffusable
110568Real-time run-time verifiers: theory and practice
T.ROBERT, M.ROY, J.C.FABRE
TSF
Rapport LAAS N°07276, Juin 2007, 10p.
Diffusable
Plus d'informations
Abstract
This paper proposes a formal approach to improve the reliability of real-time centralized software systems that enables automated generation of real-time runtime monitors from timed models. A main contribution of our approach is a formal definition of the expected behavior of a perfect verifier of the model, which is a pre-requisite to assess the quality of any practical solution. Our solution consists of three steps: 1) definition of failure descriptors with respect to an execution model, 2) translation of these failure descriptors in the theory of timed automata, and 3) generation of a verifier minimizing detection latency for such models. Following this approach, an implementation of the generator has been developed.
Tolérance aux fautes
J.ARLAT, Y.CROUZET, Y.DESWARTE, J.C.FABRE, J.C.LAPRIE, D.POWELL
TSF
Ouvrage (contribution) : Encyclopédie de l'Informatique et des Systèmes d'Information, Les Editions Vuibert, J.Akoka, I.Comyn-Wattiau (Eds), N°ISBN 2-7117-4846-4, 2006, Partie 1, pp.241-270 , N° 05156
Diffusion restreinte
108896DeWeL: a language support for fault tolerance in service oriented architectures
N.SALATGE, J.C.FABRE
TSF
Manifestation avec acte : International Workshop on Engineering of Fault Tolerant Systems (EFTS'2006), Luxembourg (Luxembourg), 12-14 Juin 2006, 12p. , N° 06190
Diffusable
107381DeWeL: un langage dédié pour la sûreté de fonctionnement des services Web
N.SALATGE, J.C.FABRE
TSF
Manifestation avec acte : New Technologies for Distributed Systems (NOTERE'2006), Toulouse (France), 6-9 Juin 2006, pp.363-374 , N° 06023
Diffusable
107372Intergiciels pour la tolérance aux fautes : état de l'art et défis
F.TAIANI, M.O.KILLIJIAN, J.C.FABRE
TSF
Revue Scientifique : Technique et Science Informatiques, Vol.25, N°5, pp.599-630, Juin-Juillet 2006 , N° 04470
Diffusable
109780A fault tolerance support infrastructure for web services based applications
N.SALATGE, J.C.FABRE
TSF
Rapport LAAS N°06365, Mai 2006, 20p.
Diffusable
106839ASSERT. Automated proof based system and software engineering for real-time applications
J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, J.FAVARO, M.KAANICHE, K.KANOUN, S.PURI, T.ROBERT, M.ROY, A.E.RUGINA, N.SALATGE, H.WAESELYNCK
TSF, INTECS
Rapport de Contrat : Projet IST ASSERT N°004033, Février 2006, 140p. , N° 06132
Non diffusable
106103