Atchison, B., Lindsay, P., Tombs, D. A Case Study in Software Safety Assurance Using Formal Methods. Technical Report No. 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland, Australia, September 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Establishing Formal Regulatory Requirements for.. - Vilkomir, Bowen (2002) (Correct)
.... is using the function tables for safety assessment of software for the shutdown systems of the Darlington Nuclear Plant, Canada [28] Various approaches to using formal methods in safety analysis, which can be useful for regulatory assessment of safety critical systems, are considered in [2, 9, 12, 16, 26, 30]. In this paper, a new direction is proposed, namely the formalization of the regulatory requirements for software of control systems. This involves the use of formal methods for establishing these regulatory requirements (the first of the mentioned tasks above) Formal regulatory requirements, ....
Atchison, B., Lindsay, P., Tombs, D. A Case Study in Software Safety Assurance Using Formal Methods. Technical Report No. 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland, Australia, September 1999.
Application of Formal Methods for Establishing Regulatory.. - Vilkomir, Bowen (2001) (Correct)
.... using the function tables for safety assessment of software for the shutdown systems of the Darlington Nuclear Plant, Canada [28] Various approaches to using formal methods in safety analysis, which can be useful for regulatory assessment of real time safety critical systems, are considered in [2, 9, 12, 16, 26, 30]. In this paper, a new direction is proposed, namely the formalization of the regulatory requirements for software of real time control systems. This involves the use of formal methods for establishing these regulatory requirements (the first of the mentioned tasks above) Formal regulatory ....
Atchison, B., Lindsay, P., Tombs, D. A Case Study in Software Safety Assurance Using Formal Methods. Technical Report No. 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland, Australia, September 1999.
A Process for Derivation and Quantification of Safety.. - Peter Lindsay John Self-citation (Lindsay Tombs) (Correct)
.... different domains of dependability (reliability, maintainability, etc) is discussed in [8] and [19] Finally, a number of studies have been made on particular systems, including a demonstration mine fuze [24] a mass transit railway [26] and a model of an industrial press, adopted in this paper [1]. 2.3 System safety standards IEC 61508 (Functional Safety of Electrical Electronic Programmable Electronic Safety Related Systems) 10] is a generic international safety standard that covers all aspects of safety development, including management, requirements, design, verification and ....
....by them. A diagram that indicates clearly the system boundary, its major components and their interconnections is most helpful. 3. 2 Running example: an Industrial Press The (hypothetical) example concerns a large industrial press such as might be used to mould body parts for motor vehicles [1]. The press consists of a heavy (50 tonne) plunger which is raised seven metres above the press bed by means of a hydro mechanical plunger drive mechanism (see Figure 1) Locks hold the plunger at the top with the assistance of the plunger drive force. An operator loads sheet metal (an ....
[Article contains additional citation context not shown here]
B. Atchison, P.A. Lindsay and D.J. Tombs, A case study in software safety assurance using formal methods, Technical report 99-31, Software Verification Research Centre, The University of Queensland, Australia, November 1999.
Establishing Formal Regulatory Requirements for.. - Vilkomir, Bowen (2002) (Correct)
No context found.
Atchison, B., Lindsay, P., Tombs, D. A Case Study in Software Safety Assurance Using Formal Methods. Technical Report No. 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland, Australia, September 1999.
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