This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Assessment of Safety-Critical Specifications
January/February 1994 (vol. 11 no. 1)
pp. 51-60

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.

Index Terms:
formal specification; formal verification; safety; software reliability; Vienna development method; software cost estimation; safety-critical system specifications; formal methods; specification ambiguity; formal verification; software cost reduction method; Vienna Definition Method; semantic capabilities; VDM; understandability; assessment criteria
Citation:
Lloyd G. Williams, "Assessment of Safety-Critical Specifications," IEEE Software, vol. 11, no. 1, pp. 51-60, Jan.-Feb. 1994, doi:10.1109/52.251208
Usage of this product signifies your acceptance of the Terms of Use.