Elena Troubitsyna  Home/Search
Context
Related
| tucs.fi/publications/tech...TR237.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tucs.fi/cgibin...utputType=_html (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper presents an extension of the action system formalism to reason about probabilistic systems which can be implemented in a parallel or distributed manner. We focus on modelling safety issues for such systems. We start from a sequential description of the problem where the level of overall system safety is given. We data refine an initial specification by introduction of a fault tolerance mechanism. Proving data refinement gives us an achievable quantitative assessment of the system... (Update)
Active bibliography (related documents): More All
0.5: Enhancing Dependability via Parameterized Refinement - Troubitsyna (1999) (Correct)
0.3: Specifying Safety-Related Hazards Formally - Troubitsyna (1999) (Correct)
0.3: Probabilistic Behavior in Action Systems - Troubitsyna, Sere (Correct)
Similar documents based on text: More All
0.4: Hazard Analysis in Formal Specification - Sere, Troubitsyna (1999) (Correct)
0.4: Safe Language Mechanisms for Modularization and Concurrency - Büchi (2000) (Correct)
0.3: A Methodology for integration of formal methods in .. - Petre.. (Correct)
BibTeX entry: (Update)
@techreport{ troubitsyna99refining,
author = "Elena Troubitsyna",
title = "Refining for Safety",
number = "TUCS-TR-237",
month = "10,",
year = "1999",
url = "citeseer.ist.psu.edu/440278.html" }
Citations (may not include all citations):716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
689 Systematic Software Development using VDM - Jones - 1990
293 Programming from Specification (context) - Morgan - 1994
195 ACM Transactions on Programming Languages and Systems (context) - Morgan, McIver et al. - 1996
173 Safeware: System Safety and Computers (context) - Leveson - 1995
146 Prentice Hall International (context) - Dijkstra, of - 1976
136 Time and Probability in Formal Design of Distributed Systems (context) - Hansson - 1991
107 Decentralization of process nets with centralized control (context) - Back, Kurki-Suonio - 1983
91 Refinement Calculus: A Systematic Introduction (context) - Back, von Wright - 1998
59 Stepwise refinement of action systems (context) - Back, Sere - 1991
48 Safety-critical computer systems (context) - Storey - 1996
41 Probabilistic models for the guarded command language - He, Seidel et al. - 1997
39 Trace Refinement of Action Systems - Back, von Wright - 1994
36 Prespecification in data refinement (context) - Hoare, He et al. - 1987
33 Mathematical Theory of Program Correctness (context) - de Bakker - 1980
29 A single complete rule for data refinement (context) - Gardiner, Morgan - 1993
18 Refinementoriented probability for CSP - Morgan, McIver et al. - 1994
14 From modular systems to action systems (context) - Back, Sere - 1994
11 Program Development by Refinement - Case Studies Using the B.. (context) - Sekerinski, Sere - 1998
11 Towards a calculus of systems dependability (context) - Liu, Ravn et al. - 1994
7 The probabilistic steam boiler: a case study in probabilisti.. - McIver, Morgan et al. - 1998
6 Auxiliary variables in data refinement (context) - Morgan - 1988
5 Extensions of the UNITY Methodology: Compositionality (context) - Rao - 1995
1 Project Publications (context) - Group
Documents on the same site (http://www.tucs.fi/cgi-bin/Pubscripts/Namesearch.cgi?fname=&aname=&Stype=_keep_spec&pchoice=all&ychoice=all&Order=pyr&OutputType=_html): More
Role-based Interpretation of ISs - Nurminen, Torvinen (1996) (Correct)
On Fatou properties of rational languages - Choffrut, Karhumäki (1999) (Correct)
Towards a Building Methodology for Software Agents - Fan (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC