188documents trouvés
Experimental validation of architectural solutions. CRUTIAL Deliverable D20
G.FRANCESCHINIS, E.ALATA, J.ANTUNES, H.BEITOLLAHI, A.BESSANI, M.CORREIA, W.DANTAS, G.DECONINCK, M.KAANICHE, N.F.NEVES, V.NICOMETTE, P.SOUSA, P.VERISSIMO
TSF, FCUL Portugal, KUL, CNIT
Rapport de Contrat : CRUTIAL, Project IST-FP6-STREP - 027513, Mai 2009, 88p. , N° 09237
Diffusable
117558The CRUTIAL modelling framework ( final version). CRUTIAL Deliverable D16
M.KAANICHE, M.BECCUTI, A.BOBBIO, C.BRASCA, S.CHIARADONNA, S.DONATELLI, F.DI GIANDOMENICO, G.FRANCESCHINIS, K.KANOUN, J.C.LAPRIE, P.LOLLINI, F.ROMANI
TSF, CNIT, CESI, CNR-ISTI
Rapport de Contrat : CRUTIAL, Project IST-FP6-STREP - 027513, Mai 2009, 91p. , N° 09235
Diffusable
117554Model-based evaluation of the middleware services and protocols and architectural patterns. CRUTIAL Deliverable D19
S.DONATELLI, E.ALATA, A.BONDAVALLI, M.BECCUTI, D.CEROTTI, S.CHIARADONNA, ADAIDONE, G.DONDOSSOLA, F.DI GIANDOMENICO, G.FRANCESCHINIS, F.GARRONE, O.HAMOUDA, M.KAANICHE, P.LOLLINI, V.NICOMETTE
CNIT, TSF, CNR-ISTI, CESI
Rapport de Contrat : CRUTIAL, Project IST-FP6-STREP - 027513, Mai 2009, 89p. , N° 09236
Diffusable
117556Modélisation de la sûreté de fonctionnement avec AADL. Un langage standardisé de description d'architectures
A.E.RUGINA, P.H.FEILER, K.KANOUN, M.KAANICHE
TSF, Carnegie Mellon
Revue Scientifique : Revue de l'Electricité et de l'Electronique, N°3, pp.81-87, Mars 2009 , N° 09006
Diffusable
Plus d'informations
Résumé
Dans un processus de développement traditionnel différentes analyses sont généralement basées sur des modèles dédiés qui requièrent une expertise approfondie, ce qui ne facilite pas les tâches de coordination et de communication entre les différentes équipes impliquées dans le développement d'un même système. Conduire plusieurs analyses à partir d'un même modèle contribue à la réduction des coûts de développement tout en facilitant la réutilisation. En particulier, effectuer des analyses de sûreté de fonctionnement conjointement avec d'autres analyses au niveau architectural permet d'apprécier l'impact des décisions architecturales sur la sûreté de fonctionnement du système et de faire des compromis entre différents attributs. Cet article concerne la construction de modèles de sûreté de fonctionnement avec AADL (Architecture Analysis and Design Language). Nous nous focalisons sur l'utilisation de modèles d'architectures tolérantes aux fautes réutilisables (ou patrons) et montrons comment ces patrons permettent de modéliser la sûreté de fonctionnement d'un sous-système d'une application réelle.
Mots-Clés / Keywords
AADL; Tolérance aux fautes; Modélisation de la sûreté de fonctionnement; Modèles adaptables et réutilisables;
Final evaluation, consolidated results and guidelines. Deliverable D1-3
B.KONNING, M.REITENSPIESS, I.DE BRUIN, S.H.DE GROOT, T.LIPPMAN, I.E.SVINNSET, Z.EGEL, G.HUZERL, M.KAANICHE, M.O.KILLIJIAN, N.RIVIERE, M.ROY, H.WAESELYNCK, A.BONDAVALLI, A.DAIDONE, F.DI GIANDOMENICO, L.FALAI, P.LOLLINI, H.P.SCHWEFEL, E.V.MATTHIESEN, A.NICKELSEN, J.J.NIELSEN, A.CASIMIRO
EXT, FSC, WMC, AAU, TELENOR, BME Hungary, TSF, CNR-ISTI, UNIFI, FCUL Portugal, Carmeq, AAU Danemark
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, HIDENETS, Project IST-FP6-STREP-26979, Janvier 2009, 120p. , N° 09493
Diffusable
118694Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG
A.E.RUGINA, K.KANOUN, M.KAANICHE
TSF
Revue Scientifique : Technique et Science Informatiques, Vol.28, N°1, pp.7-37, Janvier 2009 , N° 07060
Lien : http://hal.archives-ouvertes.fr/hal-00755268
Diffusable
Plus d'informations
Résumé
Pour des raisons d'efficacité, le souhait des concepteurs de systèmes est d'utiliser de façon intégrée un ensemble cohérent de formalismes pour décrire les spécifications et conceptions, et également pour effectuer des analyses de sûreté de fonctionnement. AADL (Architecture Analysis and Design Language) a prouvé son aptitude pour la modélisation d'architectures. Cet article présente un cadre de modélisation permettant la génération de modèles analytiques de sûreté de fonctionnement à partir de modèles AADL dans l'objectif de faciliter l'obtention de mesures de sûreté de fonctionnement comme la fiabilité et la disponibilité. Nous proposons une approche itérative de modélisation. Le modèle AADL de sûreté de fonctionnement est transformé en un RdPSG (Réseau de Petri Stochastique Généralisé) en appliquant des règles de transformation de modèle. Un outil de transformation automatique a été développé. Les mesures de sûreté de fonctionnement sont obtenues à partir du traitement du RdPSG résultant par des outils existants. L'approche est illustrée sur un sous-système du système informatique français de contrôle de trafic aérien.
Application of the evaluation framwork to the complete scenario (final version). Deliverable D4.2.2
P.LOLLINI, A.BONDAVALLI, F.BRANCATI, A.CECCARELLI, M.CLEMETSEN, L.COURTES, A.DAIDONE, G.EGELAND, L.FALAI, J.GRONBAEK, O.HAMOUDA, A.F.HANSEN, M.B.HANSEN, M.KAANICHE, M.O.KILLIJIAN, M.KOVACS, M.MAGYAR, I.MAJZIK, E.V.MATTHIESEN, L.MONTECCHI, A.NICKELSEN, J.J.NIELSEN, D.POWELL, J.G.RASMUSSEN, T.RENIER, H.P.SCHWEFEL
UNIFI, CNR-ISTI, TELENOR, TSF, AAU, BME Hungary, AAU Danemark
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Décembre 2008, 186p. , N° 08834
Diffusable
117910Access Control for Cooperative Systems: A Comparative Analysis
A.BAINA, Y.DESWARTE, A.ABOU EL KALAM, M.KAANICHE
TSF, IRIT-ENSEEIHT
Manifestation avec acte : The Third International Conference on Risks and Security of Internet and Systems : CRISIS 2008, Tozeur (Tunisie), 28-30 Octobre 2008 , N° 08875
Diffusable
118974Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée
O.HAMOUDA, M.KAANICHE, K.KANOUN
TSF
Manifestation avec acte : Maîtrise des risques et Sûreté de Fonctionnement, Avignon (France), 6-8 Octobre 2008, 8p. , N° 08388
Diffusable
115258Multilevel dependability modeling of interdependencies between the electricity and information structures
M.BECCUTI, G.FRANCESCHINIS, M.KAANICHE, K.KANOUN
CNIT, TSF
Manifestation avec acte : 3rd International Workshop on Critical Information Infrastructures Security (CRITIS 2008), Rome (Italie), Octobre 2008, pp.63-74 , N° 08683
Lien : http://hal.archives-ouvertes.fr/hal-00755282
Diffusable
Plus d'informations
Abstract
The interdependencies between infrastructures may be the cause of serious problems in mission/safety critical systems. In the CRU- TIAL project the interdependencies between the electricity infrastruc- ture (EI) and the information infrastructure (II) responsible for its con- trol; maintenance and management have been thoroughly studied, more- over countermeasures to substantially reduce the risk to interrupt the service have been developed in the project. The possible interdependen- cies have been investigated by means of model at this abstraction levels. In this paper, we present high level models describing the various interde- pendencies between the EI and the II infrastructures, then we illustrate on a simple scenario how these models can be detailed to allow the eval- uation of some measures of dependability.