Capturing an application´s temporal properties with UML for Real-Time

Author

He, Weiguo ; Goddard, Steve

Author_Institution

Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA

fYear

2000

fDate

2000

Firstpage

65

Lastpage

74

Abstract

The Unified Modeling Language (UML) is commonly used in the development of non-real-time systems and is gaining popularity in the object-oriented real-time community as well. Recently, Rational Software Corporation teamed with ObjecTime, Ltd to develop UML for Real-Time (UML-RT). UML-RT uses the extensibility mechanisms of UML to incorporate concepts from ROOM (Real-time Object-Oriented Modeling Language) and role modeling from ObjecTime. We present a novel method for capturing the temporal parameters of a real-time application in a UML-RT model so that schedulability analysis can be performed

Keywords

formal specification; object-oriented programming; real-time systems; scheduling; specification languages; ObjecTime; ROOM; Rational Software Corporation; Real-time Object-Oriented Modeling Language; UML for Real-Time; UML-RT; Unified Modeling Language; object-oriented programming; real-time system; role modeling; schedulability analysis; temporal properties; Algorithm design and analysis; Application software; Computer science; Helium; Object oriented modeling; Performance analysis; Real time systems; Scheduling algorithm; Timing; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000

Conference_Location

Albuquerque, NM

Print_ISBN

0-7695-0927-4

Type

conf

DOI

10.1109/HASE.2000.895443

Filename

895443