An Operational Approach to Requirements Specification for Embedded Systems
- 1 May 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-8 (3) , 250-269
- https://doi.org/10.1109/tse.1982.235254
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
This publication has 34 references indexed in Scilit:
- An approach to fair applicative multiprogrammingPublished by Springer Nature ,2005
- Notation as a tool of thoughtCommunications of the ACM, 1980
- Rationale for the design of the Ada programming languageACM SIGPLAN Notices, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Design of an Adaptive, Parallel Finite-Element SystemACM Transactions on Mathematical Software, 1979
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Unbounded computational structuresSoftware: Practice and Experience, 1978
- MonitorsCommunications of the ACM, 1974
- Process StructuringACM Computing Surveys, 1973