30 citations · 63 across the 5 of their papers we have counts for
5 papers
Modeling the resilience of large and evolving systems
Mohamed Kaaniche, Paolo Lollini, Andrea Bondavalli +1
This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and pro…
Software dependability modeling using an industry-standard architecture description language
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun +1
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decision…
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
Ana E. Rugina, Karama Kanoun, Mohamed Kaaniche
ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis a…
Modelling interdependencies between the electricity and information infrastructures
Jean-Claude Laprie, Karama Kanoun, Mohamed Kaaniche
The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the ass…
An architecture-based dependability modeling framework using AADL
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaaniche
For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses su…