Todays technical systems tend to be very complex and usually are embedded in an asynchronous, concurrent, and distributed world. Besides the functional correctness of a system the observation of aspects like dependability, reliability, and timeliness becomes mandatory. Cost-awareness plays also an important role. It is desirable to detect incorrect and inefficient behavior in the very early stages of the system development process in order to revise design decisions easier and cheaper. Thus, methods and tools are needed that support designing and modeling as well as performance evaluation. This work focuses on the use of the Unified Modeling Language (UML) for modeling aspects of real-time systems. UML gained increasing acceptance over the last years and is well established as a standard for modeling discrete event and software systems. Within UML, this work concentrates on State Machines. In combination with the Profile for Schedulability, Performance, and Time UML State Machines are well suited for modeling object life cycles including quantitative system aspects. The direc
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.