201documents trouvés
Aircraft operational reliability. A model-based approach and a case study
K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
ONERA, Airbus Op. Ltd, TSF
Rapport LAAS N°12689, Décembre 2012, 30p.
Diffusable
128780Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion
K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Manifestation avec acte : Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement ( Lamda Mu ) 2012 du 16 octobre au 18 octobre 2012, Tours (France), 2012, 9p. , N° 12475
Lien : http://hal.archives-ouvertes.fr/hal-00761050
Diffusable
Plus d'informations
Résumé
Lors de la conception des avions, il est courant que les constructeurs évaluent la sûreté de fonctionnement en utilisant des modèles stochastiques, mais l'évaluation de la fiabilité opérationnelle à l'aide de modèles, en ligne, reste rarement effectuée. Souvent, l'évaluation stochastique concerne la sécurité des avions ou des missions. Cet article aborde la fiabilité opérationnelle des missions d'avion, à la suite de défaillances de composants, de modifications dans l'environnement opérationnel, ou de changement concernant les possibilités de maintenance dans les diverses escales que comporte la mission. Nous décrivons comment l'évaluation de la fiabilité opérationnelle en ligne peut permettre d'ajuster une mission d'avion, en cas de changements majeurs durant sa réalisation. L'évaluation est rendue possible grâce à la construction et à la validation d'un modèle de sûreté de fonctionnement facile i) à utiliser pour la définition d'une mission initiale, et ii) à mettre à jour lors de la réalisation d'une mission, suite à l'occurrence de certains événements majeurs. Le modèle peut être construit dès la phase de conception, par des ingénieurs spécialistes en sûreté de fonctionnement, en utilisant les processus stochastiques. La mise à jour et le traitement du modèle, en phase opérationnelle, peuvent être effectués par les exploitants, qui ne sont pas nécessairement familiers avec les processus stochastiques. Nous présentons des exemples de résultats qui montrent le rôle important de la réévaluation de la fiabilité opérationnelle pendant une mission d'avion.
Impact of operational reliability re-assessment during aircraft missions
K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Manifestation avec acte : International Symposium on Reliable Distributed Systems ( SRDS ) 2012 du 08 octobre au 11 octobre 2012, Irvine (USA), 2012, 6p. , N° 12474
Lien : http://hal.archives-ouvertes.fr/hal-00755266
Diffusable
Plus d'informations
Abstract
This paper addresses an aircraft mission operational reliability as resulting from component failures, environment changes, and maintenance facilities offered at the various stops involved in the mission. We will show how the on-line assessment of operational reliability will help adjust an aircraft mission, in case of major changes to equipment availability during the mission. The assessment is made possible thanks to the building and validation of a generic dependability model that is easily i) processed for the assignment of an initial mission, and ii) updated during mission accomplishment, following the occurrence of some specific major events. The generic model can be built as early as the design phase, by engineers who are specialist in dependability assessment, based on stochastic processes. Model update and processing, during aircraft operation, can be achieved by operators who are not necessarily familiar with stochastic processes in the way that they are being applied in this research. We will present examples of results that show the valuable role of operational dependability re-assessment during aircraft mission.
System dependability: characterization and benchmarking
Y.CROUZET, K.KANOUN
TSF
Ouvrage (contribution) : Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Vol.84, A.Hurson, S.Sedigh (Eds), Elsevier, 264p., N°978-0-12-396525-7, Mai 2012, pp.93-139 , N° 12375
Lien : http://hal.archives-ouvertes.fr/hal-00761042
Diffusable
Plus d'informations
Abstract
This chapter presents briefly basic concepts, measures and approaches for dependability characterization and benchmarking, and examples of benchmarks, based on dependability modeling and measurements. We put emphasis on Commercial Off-the-Shelf components (COTS) on COTS-based systems. To illustrate the various concepts, techniques and results of dependability benchmarking, we present two examples of benchmarks: one addressing the system and service level of a COTS-based fault tolerant system, and one dedicated to COTS software components. The first benchmark shows how dependability modeling can be used to benchmark alternative architectural solutions of instrumentation and control systems of nuclear power plants. The benchmarked measure corresponds to system availability. The second benchmark shows how controlled experiments can be used to benchmark operating systems taking Windows and Linux as examples. The benchmark measures are robustness, reaction time and restart time.
Operational reliability re-assessment during aircraft missions
K.KANOUN, K.TIASSOU, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Rapport LAAS N°12041, Février 2012, 8p.
Diffusable
126532Online model adaptation for aircraft operational reliability assessment
K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Manifestation avec acte : Embedded Real Time Software and Systems (ERTS2 2012), Toulouse (France), 1-3 Février 2012, 11p. , N° 12045
Lien : http://hal.archives-ouvertes.fr/hal-00761040
Diffusable
Plus d'informations
Abstract
This paper addresses the reliability modeling of an aircraft considering the aircraft operational state and its missions. It presents an assessment approach that one can use for the initial assignment of aircraft missions and possible adjustment and adaptation in case of unpredicted events during the mission. The developed model captures the current operational states of the aircraft with regards to its mission in order to assess the aircrafts ability to achieve the mission. A formal description of the model is presented together with the parameters that may have to be changed in order to adapt the model to online situations.
Modeling aircrafts operational reliability
K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Manifestation avec acte : International Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Naples (Italie), 19-22 Septembre 2011, pp.157-170 , N° 11199
Diffusable
125419Tolerance of design faults
D.POWELL, J.ARLAT, Y.DESWARTE, K.KANOUN
TSF
Ouvrage (contribution) : Festschrift Randell. Lecture Notes in Computer Science 6875, Springer. (C.B. Jones, J.L. Lloyd, Eds.), Août 2011, pp.428-452 , N° 11349
Lien : http://hal.archives-ouvertes.fr/hal-00761140
Diffusable
Plus d'informations
Abstract
The idea that diverse or dissimilar computations could be used to detect errors can be traced back to Dynosius Lardner's analysis of Babbage's mechanical computers in the early 19th century. In the modern era of electronic computers, diverse redundancy techniques were pioneered in the 1970's by Elmendorf, Randell, Avi˘zienis and Chen. Since then, the tolerance of design faults has been a very active research topic, which has had practical impact on real critical applications. In this paper, we present a brief history of the topic and then describe two contemporary studies on the application of diversity in the fields of robotics and security.
Software dependability modeling using AADL (Architecture Analysis and Design Language)
A.E.RUGINA, K.KANOUN, M.KAANICHE
TSF, EADS-ASTRIUM Tlse
Revue Scientifique : International Journal of Performability Engineering, Vol.7, N°4, pp.313-325, Juillet 2011 , N° 11704
Diffusable
126179WOSD 2011 the first international workshop on open systems dependability
M.TOKORO, K.KANOUN, K.KURAMITSU, J.C.FABRE
Sony CSL, TSF, YNU
Manifestation avec acte : International Conference on Dependable Systems & Networks (DSN 2011), Hong Kong (Chine), 27-30 Juin 2011, pp.593-594 , N° 11850
Diffusable
127063