J. A. McDermid, "Issues in developing software for safety critical systems," Reliability Engineering and System Safety, Vol. pp. 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Exception Semantics in a Parallel Distributed Object Oriented.. - Exton, Rayner (1996) (Correct)
....exceptions, so that other threads in the system may continue processing. One of the goals in building reliable systems according to McDermid is: to develop the software in such a way that it is impossible or extremely unlikely that its behavior (execution) will lead to a catastrophic failure [8]. To implement a reliable system, the developer needs a rich exception handling mechanism, which can coexist with the added complexity of a parallel environment. We believe, the methods described here are generic and may be applied to other object oriented languages to provide the tools required ....
John A. McDermid. Issues in developing software for safety critical systems. In D. Littlewood and D. Miller, editors, Software Reliability and Safety, volume 32. Elsevier Science Publishers Ltd, 1991.
RIDL: An Interface Language for the Design and Development.. - Exton, Rayner, Chen (1996) (Correct)
....create a reliable distributed object oriented interface specification language. One of the aims of building reliable systems according to McDermid is: to develop the software in such a way that it is impossible or extremely unlikely that its behavior (execution) will lead to a catastrophic failure. [11] 1 Pronounced riddle To implement a reliable system, the developer would benefit from a rich selection of specification techniques including an advanced exception handling mechanism, which can cope with the added complexity of a distributed environment. 1.1 Reliability Reliability can be ....
John A. McDermid. Issues in developing software for safety critical systems. In D. Littlewood and D. Miller, editors, Software Reliability and Safety, volume 32. Elsevier Science Publishers Ltd, 1991.
Modeling and Analysis of a Scheduled Maintenance - System Dspn Approach (Correct)
No context found.
J. A. McDermid, "Issues in developing software for safety critical systems," Reliability Engineering and System Safety, Vol. pp. 1990.
Modeling and Analysis of a Scheduled Maintenance System: .. - Andrea Bondavalli.. (2004) (Correct)
No context found.
J. A. McDermid. Issues in developing software for safety critical systems, 1993. to appear.
Programming by Contract in a Distributed Object Environment - Exton, Chen (1996) (Correct)
No context found.
John A. McDermid. Issues in developing software for safety critical systems. In D. Littlewood and D. Miller, editors, Software Reliability and Safety, volume 32. Elsevier Science Publishers Ltd, 1991.
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