Page
%P
-
Chapter and Conference Paper
Safety Demonstration and Software Development
The paper reports about a study conducted for RATP, the utility organisation for public transportation in Paris and region.
-
Chapter and Conference Paper
Modelling Interdependencies Between the Electricity and Information Infrastructures
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 infrastru...
-
Chapter and Conference Paper
Dependability and Its Threats: A Taxonomy
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality, integrity, maintainability, e...
-
Chapter and Conference Paper
A Dependability-Explicit Model for the Development of Computing Systems
This paper presents a development model focused on the production of dependable systems. Three classes of processes are distinguished: 1) the system creation process which builds on the classical development s...
-
Chapter
Dependability of Software-Based Critical Systems
Software, and thus design faults, are recognized as the current bottleneck for dependability of computing systems. This paper, which elaborates on [Laprie 96], is aimed at giving recommendations and directions...
-
Chapter and Conference Paper
Software-based critical systems
Computerization of critical systems has given rise to much debate. This paper is aimed at giving recommendations and directions in order to undertake the design of software-based critical systems in an effecti...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Dependability Modelling and Evaluation of Software Fault-Tolerant Systems
The paper provides dependability modelling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery blocks (RB) and N-version programming (NVP)...
-
Chapter and Conference Paper
The Transformation Approach to the Modelling and Evaluation of Reliability and Availability Growth
Reliability growth phenomena are not usually taken into account when performing dependability evaluations of hardware and/or software systems during their operational life. However, such phenomena are signific...
-
Chapter and Conference Paper
Software Reliability Trend Analyses: From Theoretical to Practical Considerations
This paper addresses the problem of reliability growth characterization and analysis. It is intended to show how reliability trend analyses can help the project manager in controlling the progress of the devel...
-
Chapter and Conference Paper
Dependability — Its Attributes, Impairments and Means
This paper gives the main definitions relating to dependability, a generic concept including as special cases such atributes as reliability, availability, safety, security, maintainability. The various impairm...
-
Chapter and Conference Paper
Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures
This paper is devoted to the definition and the analysis of architectures aimed at tolerating hardware faults and software faults. The paper is composed of fourth sections. The second section is devoted to a u...
-
Chapter and Conference Paper
Dependability: The challenge for the future of computing and communication technologies
-
Chapter and Conference Paper
Dependability: from Concepts to Limits
Our society is faced with an ever increasing dependence on computing systems, which lead to question ourselves about the limits of their dependability. In order to respond this question, a global conceptual an...
-
Chapter and Conference Paper
The Technical Committee on Fault Tolerant Computing of The IEEE Computer Society
The origins of this Technical Committee go back to early 1969, when Professor Algirdas Avizienis of the UCLA Computer Science Department proposed to the IEEE Computer Group (IEEE-CG) that a Technical Committee...
-
Chapter and Conference Paper
The dependability approach to critical computing systems
Critical computing systems are considered from the dependability viewpoint. A framework for the design and validation of critical computing systems is derived from the interpretation of the quantified objectiv...
-
Chapter and Conference Paper
Dependable Computing and Fault Tolerance at LAAS: a Summary
This paper reviews the work which has been performed at LAAS on dependable computing and fault tolerance for twelve years. From its very beginning, this work has had two main concerns: a) a system approach, an...
