201documents trouvés
Dependability evaluation of a distributed shared memory multiprocessor system
M.RABAH, K.KANOUN
TSF
Manifestation avec acte : 3rd European Dependable Computing Conference (EDDC-3), Prague (République Tchèque), 15-17 Septembre 1999 , N° 99100
Diffusable
35003Diversity against accidental and deliberate faults
Y.DESWARTE, K.KANOUN, J.C.LAPRIE
TSF
Ouvrage (contribution) : Computer Security, Dependability, & Assurance: from needs to solutions, IEEE Computer Society, Eds. P.Ammann, B.H.Barnes, S.Jajodia, E.H.Sibley, N°ISBN 0-7695-0337-3, 1999, pp.171-181 , N° 99306
Lien : http://hal.archives-ouvertes.fr/hal-00761637
Diffusable
Plus d'informations
Abstract
The paper is aimed at examining the relationship between the three topics of the workshops that gave rise to this book: security, fault tolerance, and software assurance. Those three topics can be viewed CIS different facets of dependability. The paper focuses on diversity, as a desirable approach for addressing the classes of faults that underlay all these topics, i.e., design faults and intrusion faults.
Software failure data analysis for reliability improvement
K.KANOUN
TSF
Manifestation avec acte : Invited paper. 5th International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando (USA), 31 Juillet - 4 Août 1999, pp.562-569 , N° 99176
Diffusable
34995Evaluation expérimentale de la fiabilité d'une famille de produits logiciels
V.SCAVARDA, K.KANOUN
LIS
Rapport LAAS N°99297, Juillet 1999, 150p.
Diffusion restreinte
34546GUARDS: dependability evaluation
J.ARLAT, A.BONDAVALLI, F.DI GIANDOMENICO, M.T.JARBOUI, E.JENN, K.KANOUN, I.MURA, D.POWELL
TSF, CNUCE, IEI, Technicatome, Pise
Rapport de Contrat : Contrat Esprit GUARDS, Project 20716, Juin 1999, 47p. , N° 99280
Diffusion restreinte
34177Dependability evaluation of an air traffic control computing system
N.FOTA, M.KAANICHE, K.KANOUN
SOFREAVIA, TSF
Revue Scientifique : Performance Evaluation, Vol.35, N°3-4, pp.253-273, Mai 1999 , N° 97466
Lien : http://hal.archives-ouvertes.fr/hal-00762602
Diffusable
Plus d'informations
Abstract
As air traffic over France is growing rapidly, the existing Air Traffic Control (ATC) system has to evolve to satisfy the increasing demand. The selection of the new automated computing system (denoted CAUTRA) is based, among other things, on dependability evaluation. This paper is devoted to the dependability evaluation of the CAUTRA, however, emphasis is put on a subset: the Regional Control Center (RCC). Star¬ting from the analysis of the impact of CAUTRA failures on air traffic safety, five levels of service degradation are defined for the global system grading the effects of these failures on the service delivered to the controllers to ensure traffic safety. The RCC failure modes leading to these deg¬radation levels are then defined and evaluated using stochas¬tic Petri nets. The modeling approach consists in modeling the system as a set of modules interconnected via coupling mechanisms. The system model is constructed in several steps according to an incremental approach. Each step integrates the failure and recovery assumptions of an addi¬tional component and updates the model of the previ¬ous step by accounting for the impact of the new compo¬nent on the behavior of those already included in the model. The application of this approach to the CAUTRA allowed us to analyze several configurations of the CAUTRA architecture and to identify impro¬ve¬ment areas to minimize the impact of CAUTRA failures on air traffic safety.
Availability of CAUTRA, a subset of the French air traffic control system
K.KANOUN, M.BORREL, T.MORTEVEILLE, A.PEYTAVIN
TSF, CENA, SRTI SYSTEM
Revue Scientifique : IEEE Transactions on Computers, Vol.48, N°5, pp.528-535, Mai 1999 , N° 96425
Diffusable
33773Measurements for managing software reliability
K.KANOUN
TSF
Manifestation avec acte : Invited paper. 1999 IEEE Symposium on Application-Specific Systems and Software Engineering & Technology (ASSET'99), Richardson (USA), 24-27 Mars 1999, pp.212-219 , N° 98439
Diffusable
32945Analyse préliminaire de la sûreté de fonctionnement des systèmes de contrôle-commande des centrales nucléaires
C.ALMEIDA, K.KANOUN
LIS
Rapport de Contrat : Contrat EDF N°P32/6A3652/EP852, Mars 1999, 53p. , N° 99162
Diffusion restreinte
33132Incremental approach for building stochastic Petri nets for dependability modeling
N.FOTA, M.KAANICHE, K.KANOUN
SOFREAVIA, TSF
Ouvrage (contribution) : Statistical and Probabilistic Models in Reliability, Eds. DS.Ionescu, N.Limnios, Birkhauser, N°ISBN 0-8176-4068-1, 1999, pp.321-335 , N° 99073
Diffusable
32507