An Operational Approach to Requirements Specification for Embedded Systems

Author

Zave, Pamela

Author_Institution

Bell Laboratories

Issue

3

fYear

1982

fDate

5/1/1982 12:00:00 AM

Firstpage

250

Lastpage

269

Abstract

The approach to requirements specification for embedded systems described in this paper is 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 by 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.

Keywords

Applicative programming; distributed processing; embedded (real-time) systems; requirements analysis and specification; simulation models; system design and specification; Analytical models; Costs; Distributed processing; Embedded system; Parallel processing; Project management; Quality management; Real time systems; Software engineering; System analysis and design; Applicative programming; distributed processing; embedded (real-time) systems; requirements analysis and specification; simulation models; system design and specification;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.1982.235254

Filename

1702941