This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Operational Approach to Requirements Specification for Embedded Systems
May 1982 (vol. 8 no. 3)
pp. 250-269
P. Zave, Bell Laboratories
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.
Index Terms:
system design and specification, Applicative programming, distributed processing, embedded (real-time) systems, requirements analysis and specification, simulation models
Citation:
P. Zave, "An Operational Approach to Requirements Specification for Embedded Systems," IEEE Transactions on Software Engineering, vol. 8, no. 3, pp. 250-269, May 1982, doi:10.1109/TSE.1982.235254
Usage of this product signifies your acceptance of the Terms of Use.