Skip to main content
Article thumbnail
Location of Repository

Quantitative evaluation of UML state machines . . .

By Jan Trowitzsch


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

Year: 2007
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.