Title :
Assessment of safety-critical specifications
Author :
Williams, Lloyds G.
Author_Institution :
Software Engineering Res., Boulder, CO, USA
Abstract :
Formal methods can reduce the ambiguity in specifications and provide a basis for verification later on/spl minus/especially important for safety-critical systems. The author compares specifications in the software cost reduction method and in the Vienna Definition Method for a safety-critical system and identifies several key assessment issues: understandability, assessment criteria, and semantic capabilities.<>
Keywords :
Vienna development method; formal specification; formal verification; safety; software cost estimation; software reliability; VDM; Vienna Definition Method; assessment criteria; formal methods; formal verification; safety-critical system specifications; semantic capabilities; software cost reduction method; specification ambiguity; understandability; Costs; Software safety;
Journal_Title :
Software, IEEE
