Current supercomputing systems consisting of thousands of nodes cannot meet the
demands of emerging high-performance scientific applications. As a result, a new …

The production of software systems with specific demand on reliability, availability,
maintenance, and performance (RAMP) is one of the greatest challenges facing software …

Abstract An approach to Quantitative Interdependency Analysis, in the context of Large
Complex Critical Infrastructures, is presented in this paper. A Discrete state–space …

The frequency of hardware errors is increasing due to shrinking feature sizes, higher levels
of integration, and increasing design complexity. Intermittent errors are those that occur non …

This work presents several extensions to the Fault Tree [90] formalism used to build models
oriented to the Dependability [103] analysis of systems. In this way, we increment the …

The notion of resiliency is concerned with constructing applications that are able to operate
through a wide variety of computer failures and attacks. Several approaches have been …

This report is the second deliverable of the TSB-funded PIA: FARA project. The report
presents a method called Preliminary Interdependency Analysis (PIA) which can be used to …

We propose a framework for generating an information access space from existing
knowledge repositories. Currently, vast amounts of information are being accumulated at …

This paper presents a conceptual architecture for an object-oriented framework to support
the development of formal verification tools (ie model checkers). The objective of the …

Distributed computer systems are becoming increasingly prevalent, thanks to modern
technology, and this leads to significant challenges for the software developers of these …