Availability of CAUTRA, a Subset of the French Air Traffic Control System
IEEE Transactions on Computers
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
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
IEEE Transactions on Computers
Towards Dependability Modeling of FT-CORBA Architectures
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Construction and stepwise refinement of dependability models
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Hi-index | 0.00 |
The work presented in this paper is devoted to the definition of a dependability modelling approach for the selection process of instrumentation and control systems (I&C) in power plants. We show how starting from functional specifications, a functional-level model can be transformed into a dependability model taking into account the system's architecture, following a progressive and hierarchical approach. This approach is illustrated on simple examples related to a specific architecture of an I&C system.