An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
Guest Editors' Introduction the Federal Aviation Administration's Advanced Automation Program
Computer - The FAA's Advanced Automation Program
Evaluating Proposed Architectures for the FAA's Advanced Automation System
Computer - The FAA's Advanced Automation Program
On the Achievement of a Highly Dependable and Fault-Tolerant Air Traffic Control System
Computer - The FAA's Advanced Automation Program
IBM Journal of Research and Development
X-Ware Reliability and Availability Modeling
IEEE Transactions on Software Engineering
Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets
Hardware and software fault tolerance in parallel computing systems
Modeling the dependability of CAUTRA, a subset of the French air traffic control system
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
IEEE Transactions on Computers
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Dependability of Computer Control Systems in Power Plants
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Service-Level Availability Estimation of GPRS
IEEE Transactions on Mobile Computing
Construction and stepwise refinement of dependability models
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
Evaluation of the impact of congestion on service availability in GPRS infrastructures
ISAS'05 Proceedings of the Second international conference on Service Availability
| Hi-index | 14.98 |
The aim of our work is to provide a quantified means of helping in the definition of a new architecture for CAUTRA, a subset of the French Air Traffic Control system. In this paper, we define a set of alternative architectures, give some elements for constructing their dependability models, and compare their availability. Modeling is carried out following a modular and systematic approach, based on the derivation of block models at a high level of abstraction. In a second step, the blocks are replaced by their equivalent Generalized Stochastic Petri Nets to build up the detailed model of the architecture. The evaluations performed permit identification of a subset of architectures whose availability meets the dependability requirements and also identification of the best architecture among this subset.