Assessment of safety-critical specifications

Assessment of safety-critical specifications

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 syste...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 1994-01, Vol.11 (1), p.51-60
1. Verfasser: Williams, L.G.
Format: Artikel
Sprache:eng
Schlagworte:
Case studies
Costs
Laboratories
Methods
Product development
Safety
Semantics
Set theory
Shutdowns
Software
Software safety
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.< >
ISSN:0740-7459
1937-4194
DOI:10.1109/52.251208