Title: Describing real time systems using PPA and XYZ/E

Authors: Jianbai Wang, Murat M. Tanik

Addresses: Southern Methodist University, Dallas, Texas 75275, USA. ' Southern Methodist University, Dallas, Texas 75275, USA

Abstract: PPA is a kind of data-flow diagram system enhanced with a process port concept. XYZ/E is a temporal logic based language system. To investigate the capability of these two approaches in describing real time systems, a cruise control system example is described using PPA and the result is transformed to an XYZ/E description.

Keywords: cruise control systems; CCS; data flow diagrams; PPA; temporal logic; XYZ/E; process port; real time systems; information systems design.

DOI: 10.1504/IJCAT.1993.062628

International Journal of Computer Applications in Technology, 1993 Vol.6 No.4, pp.235 - 239

Published online: 10 Jun 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article