The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 02, 1994
Filed:
Nov. 18, 1991
Yukihito Maejima, Yokohama, JP;
Toko Ohtsubo, Yokohama, JP;
Mitsuyuki Masui, Yokosuka, JP;
Noriyuki Abe, Ishikawa, JP;
Katsuhiko Yuura, Kodaira, JP;
Kenji Mochizuki, Yokohama, JP;
Hitachi, Ltd., Tokyo, JP;
Abstract
An equipment for displaying a specification of behavior of a real time system includes a program memory for storing a plurality of program objects for simulating operations of objects indicative of an arrangement of the real time system and a plurality of graphical symbol objects for expressing operational states of the objects and relationships between the objects in the form of a graphical symbol representation on a display screen. In the equipment, the plurality of program objects are linked with the plurality of symbol objects through an inter-program communication control routine. Each of the program objects, when receiving a message from the communication control routine, is executed for simulation operation according to the received message to thereby generate a new message to be sent to the associated program routine and a new message indicative of an object state change to be sent to one of the symbol objects corresponding to the associated object. Each of the symbol objects, when receiving the message from the communication control routine, is executed to change a display state of one of symbols corresponding to the associated symbol object on the display screen.