201documents trouvés
Methodologies synthesis. CRUTIAL deliverable D3.
M.KAANICHE, S.BERNARDI, A.BOBBIO, C.BRASCA, S.CHIARADONNA, D.CODETTA RAITERI, F.DI GIANDOMENICO, G.DONDOSSOLA, G.FRANCESCHINIS, F.GARRONE, A.HORVATH, K.KANOUN, J.C.LAPRIE, P.LOLLINI, J.SPROSTON
CNIT, CESI, TSF, CNUCE, IEI, CNR-ISTI
Rapport de Contrat : CRUTIAL, Project IST-FP6-STREP - 027513, Janvier 2007, 76p. , N° 07181
Diffusable
109869Evaluation methodologies, techniques and tool (preliminary version). Deliverable n° D4.1.1
P.LOLLINI, A.BONDAVALLI, J.ARLAT, M.CLEMETSEN, L.FALAI, A.F.HANSEN, MBOGSTADT HANSEN, M.KAANICHE, K.KANOUN, Y.LIU, M.MAGYAR, I.MAJZIK, E.V.MATTHIESEN, J.G.RASMUSSEN, H.P.SCHWEFEL
UNIFI, TSF, TELENOR, AAU, BME Hungary, Budapest, AAU Danemark
Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Décembre 2006, 93p. , N° 06236
Diffusable
109903An architecture-based dependability modeling framework using AADL
A.E.RUGINA, K.KANOUN, M.KAANICHE
TSF
Manifestation avec acte : 10th IASTED International Conference on Software Engineering and Applications (SEA'2006), Dallas (USA), 13-15 Novembre 2006, pp.222-227 , N° 06487
Lien : http://hal.archives-ouvertes.fr/hal-00140407
Diffusable
108301Modélisation de la sureté de fonctionnement de systèmes à partir du langage AADL
A.E.RUGINA, K.KANOUN, M.KAANICHE
TSF
Manifestation avec acte : 15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda Mu'15), Lille (France), 9-12 Octobre 2006, 8p. , N° 06400
Lien : http://hal.archives-ouvertes.fr/hal-00755279
Diffusable
Plus d'informations
Résumé
Pour des raisons d'efficacité et de maîtrise des coûts, 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 efficacité pour la modélisation d'architectures. Par conséquent, ce langage est de plus en plus utilisé dans des processus industriels d'ingénierie système. 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. Le RdPSG résultant peut être traité par des outils existants. L'approche est illustrée sur un petit exemple.
Modeling service unavailability due to long response time for single and multi server queueing systems
M.MARTINELLO, M.KAANICHE, K.KANOUN, C.AGUILAR-MELCHOR
FUCAPE, TSF
Manifestations avec acte à diffusion limitée : XXVI Congresso da Sociedade Brasileira de Computaçao Tecnologia da Informaçao e Desenvolvimento Regional, Campo Grande (Brésil), 14-20 Juillet 2006, 20p. , N° 06712
Diffusable
108210Dependability benchmarks for operating systems
K.KANOUN, Y.CROUZET
TSF
Revue Scientifique : International Journal of Performability Engineering, Vol.2, N°3, pp.275-287, Juillet 2006 , N° 06379
Diffusable
106907Modeling cascading and escalating outages in interdependent critical infrastructures
J.C.LAPRIE, K.KANOUN, M.KAANICHE
TSF
Manifestation avec acte : 2006 International Conference on Dependable Systems and Networks (DSN'2006) (Fast Abstract), Philadelphie (USA), 25-28 Juin 2006, pp.226-227 , N° 06352
Diffusable
107363Modeling service availability in web clusters architectures
M.MARTINELLO, M.KAANICHE, K.KANOUN
TSF
Manifestations avec acte à diffusion limitée : Workshop on Fault Tolerant Computing (WTF'2006), Curitiba (Brésil), 29 Mai - 2 Juin 2006, 17p. , N° 06037
Diffusable
108104Modeling user perceived unavailability due to long response times
M.MARTINELLO, M.KAANICHE, K.KANOUN, C.AGUILAR-MELCHOR
TSF
Manifestation avec acte : 11th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS'06), Rhodes (Grèce), 25-29 Avril 2006, 8p. , N° 05291
Diffusable
106813AADL-based dependability modelling
A.E.RUGINA, K.KANOUN, M.KAANICHE
TSF
Rapport LAAS N°06209, Mars 2006, 85p.
Diffusion restreinte
106465