Sciweavers

Share
SAFECOMP
1998
Springer

Refinement of Safety-Related Hazards into Verifiable Code Assertions

9 years 1 months ago
Refinement of Safety-Related Hazards into Verifiable Code Assertions
: 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.
Ken Wong, Jeff Joyce
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1998
Where SAFECOMP
Authors Ken Wong, Jeff Joyce
Comments (0)
books