Modelling interdependencies between the electricity and information infrastructures (2008)
Laprie, Jean-Claude, Kanoun, Karama, Kaaniche, Mohamed
The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information...
Rugina, Ana E., Kanoun, Karama, Kaaniche, Mohamed
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 and Design...
Software dependability modeling using an industry-standard architecture description language (2008)
Rugina, Ana-Elena, Feiler, Peter H., Kanoun, Karama, Kaaniche, Mohamed
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the...
Modeling Service Availability in Web Clusters Architectures (2008)
Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
Abstract. Internet is often used for transaction based applications such as online banking, stock trading, among many others where the service outages are unacceptable. It is important for designers...
Industrial Advisory Board (2008)
Jean Arlat, Mario Dalcin, Pedro Gil, Karama Kanoun, Jean-claude Laprie, ...
The DBench (Dependability Benchmarking) project aims at defining a conceptual framework and an experimental environment for benchmarking the dependability of COTS and COTS-based systems. It will...
Software dependability modeling using an industry-standard architecture description language (2008)
Rugina, Ana-Elena, Feiler, Peter, Kanoun, Karama, Kaaniche, Mohamed
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the...
Rugina, Ana, Kanoun, Karama, Kaaniche, Mohamed
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 and Design...
Software dependability modeling using an industry-standard architecture description language (2008)
Rugina, Ana-Elena, Feiler, Peter, Kanoun, Karama, Kaaniche, Mohamed
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the...
Rugina, Ana, Kanoun, Karama, Kaaniche, Mohamed
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 and Design...
Analyses of Software Failure Data (2007)
Sarah Brocklehurst, Karama Kanoun, Jean-Claude Laprie, Bev Littlewood, Sylvain Metge, Peter Mellor, ...
In this paper we present and analyse a new set of software failure data which shows the failure behaviour, over a period of four years, of a single-user work station which was installed at the City...
An architecture-based dependability modeling framework using AADL (2007)
Rugina, Ana-Elena, Kanoun, Karama, Kaaniche, Mohamed
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 such as...
Modelling interdependencies between the electricity and information infrastructures (2007)
Laprie, Jean-Claude, Kanoun, Karama, Kaaniche, Mohamed
The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information...
Modelling interdependencies between the electricity and information infrastructures (2007)
Laprie, Jean-Claude, Kanoun, Karama, Kaaniche, Mohamed
The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information...
An architecture-based dependability modeling framework using AADL (2006)
Rugina, Ana-Elena, Kanoun, Karama, Kaaniche, Mohamed
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 such as...
An architecture-based dependability modeling framework using AADL (2006)
Rugina, Ana-Elena, Kanoun, Karama, Kaaniche, Mohamed
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 such as...
A Framework for Dependability Benchmarking (2002)
Karama Kanoun, Henrique Madeira, Jean Arlat
This paper outlines a framework for defining dependability benchmarks of computer systems that is being investigated by the European project DBench *. The multiple dimensions of the problem are...
Diversity against accidental and deliberate faults (1998)
Yves Deswarte, Karama Kanoun, Jean-claude Laprie
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...
Reliability of a Commercial Telecommunications System (1996)
Mohamed Kaâniche, Karama Kanoun
: We analyze data collected on a commercial telecommunications system and summarize some of the lessons learned from this study. The data correspond to failure and fault information recorded during...
Jean-claude Laprie, Mohamed Kaâniche, Karama Kanoun
Stochastic Petri nets (SPNs) have emerged over the years as a favored approach for performance and dependability modeling and evaluation. Their usual utilization assumes that systems specification...
Definition and analysis of hardware- and software-fault-tolerant architectures (1990)
Jean-claude Laprie, Jean Arlat, Christian Bbounes, Karama Kanoun
0th experimental and real-life safety-related systems have begun to use design diversity to tolerate software faults. ’ Such systems focus strongly on design faults, where the term “design ”...