Time-extraction for temporal logic-logic programming and local process time
Journal of Computer and System Sciences
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
JSD = Δ CSP ⊕ TLZ: a case study
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |
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.