How to capture dynamic behaviours of dependable systems

DOI10.1080/17445760802543955MaRDI QIDQ3625236zbMATH OpenOpenAlexFDO

Authors Salvatore Distefano

Publication date 12 May 2009

Published in International Journal of Parallel, Emergent and Distributed Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/17445760802543955

zbMATH Keywords

reliabilityfault toleranceavailabilitydynamic reliability block diagramsdistributed-fault tolerant computing systemsdynamic-dependent systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Dynamic system reliability. Modeling and analysis of dynamic and dependent behaviors
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• scientific article; zbMATH DE number 1212992
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Cites work

• scientific article; zbMATH DE number 846276 (Why is no real title available?)
• scientific article; zbMATH DE number 3249395 (Why is no real title available?)
• Dynamic fault-tree models for fault-tolerant computer systems
• Estimating Load-Sharing Properties in a Dynamic Reliability System
• Queueing Networks and Markov Chains
• Reliability of modules with load-sharing components

Cited in

(4)

• Investigating dynamic reliability and availability through state-space models
• A dynamical reliability prediction algorithm for composite service
• Dynamic system reliability. Modeling and analysis of dynamic and dependent behaviors
• Evaluating reliability of WSN with sleep/wake-up interfering nodes

Describes a project that uses

Uses Software

• Möbius
• SHARPE

This page was built for publication: How to capture dynamic behaviours of dependable systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3625236)