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

fYear

1996

fDate

21-23 Aug 1996

Firstpage

490

Lastpage

495

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

Conference_Location

Seoul

ISSN

0730-3157

Print_ISBN

0-8186-7579-9

Type

conf

DOI

10.1109/CMPSAC.1996.544618

Filename

544618