Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain  Home/Search
Context Related
| ifi.uio.no/dmms/papers/47.pdf 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: ifi.uio.no/dmms/papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In this paper we propose an incremental treatment of faults as a refinement process on object-oriented system specifications. An intolerant system specification is a natural abstraction from which a fault-tolerant system can evolve. With each refinement step a fault and its treatment are introduced, so the fault-tolerance ... (Update)
Context of citations to this paper: More
...possible modifications of the specifications in order to make the portmapper more robust. We will follow the methodology outlined in [16, 17], where several refinement relations are proposed for a stepwise development of OUN specifications with regard to fault tolerance. The...
Cited by: More
Combining Graphical and Formal Specification: the.. - Johnsen, Zhang, Owe.. (2001) (Correct)
Active bibliography (related documents): More All
0.3: Operating Systems for Safety-Critical Applications - By Dr Yinong (2000) (Correct)
0.3: Applying Software Testing and Evaluation Techniques in Year 2000.. - Chen (1999) (Correct)
0.1: A Trace-Based Compositional Proof Theory for Fault Tolerant.. - Schepers, Hooman (1993) (Correct)
Similar documents based on text: More All
0.1: Subtyping and Constructive Specification - Dahl, Owe, Bastiansen (1998) (Correct)
0.1: On the Use of Subtypes in ABEL (Revised Version) - Dahl, Owe (1995) (Correct)
0.1: Use of paragraph styles in word processing: a stepping .. - Sørgaard, Sandahl.. (1996) (Correct)
BibTeX entry: (Update)
E. B. Johnsen, O. Owe, E. Munthe-Kaas, and J. Vain. Incremental faulttolerant design in an object-oriented setting. In Proceedings of the Asian Pacific Conference on Quality Software (APAQS'01). IEEE press, Dec. 2001. To appear. http://citeseer.ist.psu.edu/johnsen01incremental.html More
@misc{ johnsen01incremental,
author = "E. Johnsen and O. Owe and E. Munthe-Kaas and J. Vain",
title = "Incremental faulttolerant design in an object-oriented setting",
text = "E. B. Johnsen, O. Owe, E. Munthe-Kaas, and J. Vain. Incremental faulttolerant
design in an object-oriented setting. In Proceedings of the Asian Pacific
Conference on Quality Software (APAQS'01). IEEE press, Dec. 2001. To appear.",
year = "2001",
url = "citeseer.ist.psu.edu/johnsen01incremental.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
270 Formal verification for fault-tolerant architectures: Proleg.. - Owre, Rushby et al. - 1995
231 Information Processing Letters (context) - Alpern, Schneider - 1985
98 Fault Tolerance: Principles and Practice (context) - AndersonandP, Lee - 1981
34 Specifying and verifying faulttolerant systems - Lamport, Merz - 1994
29 Component based design of multitolerant systems - Arora, Kulkarni - 1998
9 Design and verification of fault tolerant systems with CSP (context) - Peleska - 1991
3 Dependability of computer systems: from concepts to limits (context) - Laprie - 1998
2 Formal development of open distributed systems: Towards an i.. (context) - Traore, Aredo et al. - 1999
2 Incremental design of dependable systems in OUN (context) - Johnsen, Owe et al. - 2000
1 A notation for combining formal reasoning (context) - Owe, Ryl - 1999
Documents on the same site (http://www.ifi.uio.no/dmms/papers.php): More
Implementing Configurable Signalling in the MULTE-ORB - Kristensen, Kalleberg.. (2001) (Correct)
Mapping User-Level QoS to System-Level QoS and Resources in.. - Goebel, Plagemann (Correct)
Performance Tradeoffs for Static Allocation of.. - Halvorsen, Jorde.. (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