Title :
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
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;
Conference_Titel :
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
Conference_Location :
Albuquerque, NM
Print_ISBN :
0-7695-0927-4
DOI :
10.1109/HASE.2000.895443
