Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems

Authors:
Francesco Flammini;Nicola Mazzocca;Mauro Iacono;Stefano Marrone
Affiliations:
Università di Napoli "Federico II";Università di Napoli "Federico II";Seconda Università di Napoli;Seconda Università di Napoli
Venue:
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Year:
2005

Citing 0
Cited 5

The software architecture of the OsMoSys multisolution framework

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Multiformalism and transformation inheritance for dependability analysis of critical systems

IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Model-driven availability evaluation of railway control systems

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A2thOS: availability analysis and optimisation in SLAs

International Journal of Network Management
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report

International Journal of Critical Computer-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

As Department of Defense (DoD) is moving rapidly towards Service-Oriented Computing (SOC), new challenges arise. SOC represents a new and emerging paradigm of computing. The new paradigm will affect every phase of system development and operation. This ...