An Operational Approach to Requirements Specification for Embedded Systems.

Abstract

The approach to requirements specification for embedded systems described in this paper called 'operational' because a requirements specification is an executable model of the proposed system interacting with its environment. The approach is embodied by the language PAISLey, which is motivated and defined herein. Embedded systems are characterized by asynchronous parallelism, even at the requirements level; PAISLey specifications are constructed of interacting processes so that this can be represented directly. Embedded systems are also characterized by urgent performance requirements, and PAISLey offers a formal, but intuitive, treatment of performance. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1981
Accession Number
ADA105459

Entities

People

  • Pamela Zave

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Biomedical
  • Human Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Data Processing
  • Databases
  • Embedded Systems
  • Environment
  • High Level Languages
  • Language
  • Programming Languages
  • Software Development
  • Software Development Tools

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Parallel and Distributed Computing.
  • Systems Analysis and Design