• DocumentCode
    994913
  • Title

    Assessment of safety-critical specifications

  • Author

    Williams, Lloyds G.

  • Author_Institution
    Software Engineering Res., Boulder, CO, USA
  • Volume
    11
  • Issue
    1
  • fYear
    1994
  • Firstpage
    51
  • Lastpage
    60
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/52.251208
  • Filename
    251208
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=994913