Title :
An object-oriented real time systems modeling and verification methodology
Author :
Kung, David C. ; Oksanen, Scott R. ; Lin, Jyhjong
Author_Institution :
Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
Abstract :
An object-oriented real time systems conceptual modeling approach is described. In this approach, each object is specified by an object type, consisting of supertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and temporal constraints. That is, an object type specification defines a theory of a type of objects. An object-oriented real time conceptual model using the object types can be translated into an augmented Petri net with timing and temporal constraints. A reachability tree of permissible system states is generated for the augmented Petri nets for verifying whether the conceptual model satisfies desired temporal constraints
Keywords :
Petri nets; object-oriented programming; program verification; real-time systems; software reliability; aggregation; attributes; augmented Petri net; component types; inheritance; object type specification; object-oriented real time conceptual model; object-oriented real time systems conceptual modeling approach; object-oriented real time systems modeling; operations; permissible system states; reachability tree; static constraints; supertypes; temporal constraints; verification methodology; Algorithm design and analysis; Computer science; Elevators; Floors; Logic; Object oriented modeling; Petri nets; Power system modeling; Real time systems; Timing;
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
Print_ISBN :
0-8186-7579-9
DOI :
10.1109/CMPSAC.1996.544618
