DocumentCode
2297596
Title
Verifying properties of systems with variable timing constraints
Author
Jahanian, Farnam
Author_Institution
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
fYear
1989
fDate
5-7 Dec 1989
Firstpage
319
Lastpage
328
Abstract
A method is presented for the specification and verification of real-time systems in which some of the timing constraints are specified as variables. These variables can be viewed as parameters of the system under consideration. A set of inequalities restricts the range of values that a variable can be assigned relative to other variables (parameters) of the system. The proposed method extends an earlier work by F. Jahanian and D.A. Stuart (1988) for verifying properties of systems expressed in the Modechart language where timing constraints were specified as integer constants. Also presented are results on the undecidability of verifying properties of systems
Keywords
formal specification; program verification; real-time systems; Modechart language; inequalities; integer constants; parameters; real-time systems; undecidability; variable timing constraints; verification; Computational modeling; Control systems; Embedded software; Logic functions; Petri nets; Reachability analysis; Real time systems; Specification languages; Time factors; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Real Time Systems Symposium, 1989., Proceedings.
Conference_Location
Santa Monica, CA
Print_ISBN
0-8186-2004-8
Type
conf
DOI
10.1109/REAL.1989.63584
Filename
63584
Link To Document