Title :
Describing real-time systems using PPA and XYZ/E
Author :
Wang, Jianbai ; Tanik, Murat M.
Author_Institution :
Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
Abstract :
It is proposed to use the combination of PPA, a data-flow diagram system enhanced with the process port concept, and XYZ/E, a temporal-logic-based language system, for real-time system design. The capabilities of the approach are explored for the example of a cruise control system
Keywords :
real-time systems; software engineering; PPA; XYZ/E; cruise control system; data-flow diagram system; process port concept; real-time system design; temporal-logic-based language system; Carbon capture and storage; Communication system control; Computer science; Control systems; Design engineering; Logic design; Programming; Real time systems; Switches; System analysis and design;
Conference_Titel :
System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI
Print_ISBN :
0-8186-1912-0
DOI :
10.1109/HICSS.1989.48077
