|
| 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
| ASCII Text | x | ||
| Lloyd G. Williams, "Assessment of Safety-Critical Specifications," IEEE Software, vol. 11, no. 1, pp. 51-60, January/February, 1994. | |||
| BibTex | x | ||
| @article{ 10.1109/52.251208, author = {Lloyd G. Williams}, title = {Assessment of Safety-Critical Specifications}, journal ={IEEE Software}, volume = {11}, number = {1}, issn = {0740-7459}, year = {1994}, pages = {51-60}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.251208}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Assessment of Safety-Critical Specifications IS - 1 SN - 0740-7459 SP51 EP60 EPD - 51-60 A1 - Lloyd G. Williams, PY - 1994 KW - 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 VL - 11 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.251208
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.