Skip to main content
eScholarship
Open Access Publications from the University of California

Completeness, robustness, and safety in real-time software requirements specification

  • Author(s): Jaffe, Matthew S.
  • Leveson, Nancy G.
  • et al.
Abstract

This paper presents an approach to providing a rigorous basis for ascertaining whether or not a given set of software requirements is internally complete, i.e., closed with respect to questions and inferences that can be made on the basis of information included in the specification. Emphasis is placed on aspects of software requirements specifications that previously have not been adequately handled, including timing abstractions, safety, and robustness.

Main Content
Current View