DocumentCode
3067654
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
Volume
2
fYear
1989
fDate
3-6 Jan 1989
Firstpage
712
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1989.48077
Filename
48077
Link To Document