Timed probabilistic reasoning on UML specialization for fault tolerant component based architectures

Keywords

Computer science, Probabilistic logic, Semantics (computer science), Component (thermodynamics), Unified Modeling Language

References

• TRUST-BY-CONTRACT: MODELLING, ANALYSING AND PREDICTING BEHAVIOUR OF SOFTWARE ARCHITECTURESHeinz Schmidt, Iman Poernomo, Ralf Reussner — 2001
• Protocols for achieving consistency and reliability in replicated database systems that utilize asynchronous updatesParvathi Chundi — 1996
• Replication management using the state-machine approachFred B. Schneider — 1993
• The primary-backup approachNavin Budhiraja, Keith Marzullo, Fred B. Schneider — 1993
• Specification of Replication Techniques, Semi-Passive Replication, and Lazy consensus*Xavier Défago, André Schiper — 2002
• A logic for reasoning about time and reliabilityHans Hansson, Bengt Jönsson — 1990
• Trustworthy components - compositionality and predictionHeinz Schmidt — 2003
• A Formal Approach to Software ArchitecturesRobert J. Allen, David Garlan — 1992

Cited by

• Timed probabilistic constraints over the Distributed Management Taskforce common information modelI. Poernomo, James Jayaputera, Heinz Schmidt — 2005
• An agent oriented proactive fault-tolerant framework for grid computingM.T. Huda, Heinz Schmidt, Ian Peake — 2005
• Towards a framework for reasoning about the performance of component softwareKsze Kae Ker, Jun Han — 2004
• Modelling Predictable Component-Based Distributed Control ArchitecturesHeinz Schmidt, Ian Peake, Jue Xie — 2003
• Runtime verification of timing and probabilistic properties using WMI and .NETJames Jayaputera, I. Poernomo, Heinz Schmidt — 2004
• Runtime verification of timing and probabilistic properties using WMI and .NETJames Jayaputera, I. Poernomo, Heinz Schmidt — 2004

Related papers

• Validation and evaluation of a software solution for fault tolerant distributed synchronizationPaolo Ballarini, Simona Bernardi, Susanna Donatelli — 2002
• H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDLSabine Böhm — 2005
• A formal approach for specification and verification of fault injection processFayçal Bessayah, Ana Cavalli, Eliane Martins — 2009
• Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. ProceedingsFault-Tolerant Systems, Jan Vytopil — 1991
• Qualitative analysis for state/event fault trees using formal model checkingQuan JIANG, Chunling ZHU, Siqi WANG — 2019
• Probabilistic UML statecharts for specification and verification: a case studyD.N. Jansen — 2002
• Verification and performance evaluation of aadl modelsMarco Bozzano, Alessandro Cimatti, Marco Roveri — 2009
• Modular verification of a fault-tolerant active structure controller: an exampleHoward Wong-Toi — 1999
• Functional-architectural diagnosability analysis of embedded architectureManel Khlif, M. Shawky — 2011