The Operational Approach to Requirements Specification for Embedded Systems.

Abstract

This paper is a self-contained and comprehensive presentation of the 'operational' approach to requirements specification for embedded systems, which is based on the concept of specifying requirements as an executable model of the proposed system interacting with its environment. It is argued that urgent performance requirements characterize embedded systems, and a formal treatment of performance is given. The language is process-oriented so that the parallelism inherent in embedded system requirements can be expressed directly. Motivation and examples are emphasized throughout. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1980
Accession Number
ADA097273

Entities

People

  • Pamela Zave

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Biomedical
  • Human Systems
  • Sensors
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Data Processing
  • Databases
  • Embedded Systems
  • Language
  • Parallel Computing
  • Programming Languages
  • Radio Equipment
  • Radio Towers
  • Simulations
  • Software Development
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Theoretical Analysis.