Refinement of Safety-Related Hazards into Verifiable Code Assertions

Authors:
Ken Wong;Jeff Joyce
Affiliations:
-;-
Venue:
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Year:
1998

Citing 4
Cited 3

Safeware: system safety and computers

Safeware: system safety and computers
Safety Verification of Ada Programs Using Software Fault Trees

IEEE Software
Looking at Code With Your Safety Goggles On

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Ensuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System

Ensuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System

Assertion Checking Environment (ACE) for Formal Verification of C Programs

SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Safety Analysis in Formal Specification

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Hazard Analysis in Formal Specification

SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety verification. The development of the safety code assertions increases the feasibility of using code verification tools such as SPARK Examiner in the safety verification of large software-intensive systems. The process is demonstrated for a hypothetical chemical factory information system.