The Functional Specification of OCCAM Programs for Time Critical Applications

Paddy Nixon, Peter Croll

Research output: A Conference proceeding or a Chapter in BookOther chapter contribution

Abstract

This paper addresses the fundamental requirement that real–time control systems must meet their timing constraints. This paper concentrates on using the functional specification language PAISLey to specify and analyse timing constraints in parallel systems. The PAISLey approach is introduced and specification of Milner’s job shop is given using this language. This is then transformed in a structured way into an occam implementation. The temporal properties specified are then used to derive working constraints on the implementation. In conclusion, work on the extensions to the PAISLey environment to include the transputer scheduler, and the inclusion of PAISLey into a CASE system are outlined.
Original languageEnglish
Title of host publicationTransputer and Occam Research: New Directions : WoTUG-16
EditorsJohn Kerridge
Place of PublicationUnited States
PublisherIOS Press
Pages131-144
Number of pages14
ISBN (Print)9789051991215
Publication statusPublished - 1993
Externally publishedYes

Fingerprint Dive into the research topics of 'The Functional Specification of OCCAM Programs for Time Critical Applications'. Together they form a unique fingerprint.

  • Cite this

    Nixon, P., & Croll, P. (1993). The Functional Specification of OCCAM Programs for Time Critical Applications. In J. Kerridge (Ed.), Transputer and Occam Research: New Directions : WoTUG-16 (pp. 131-144). IOS Press.