Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets

Simple item page
dc.contributor.advisorHommel, Günteren
dc.contributor.authorTrowitzsch, Janen
dc.contributor.grantorTechnische Universität Berlin, Fakultät IV - Elektrotechnik und Informatiken
dc.date.accepted2007-10-30
dc.date.accessioned2015-11-20T17:42:17Z
dc.date.available2007-11-20T12:00:00Z
dc.date.issued2007-11-20
dc.date.submitted2007-11-20
dc.description.abstractHeutige Systeme sind tendenziell sehr komplexer Natur und typischer Weise eingebettet in eine asynchrone, nebenläufige und verteilte Umgebung. Neben der funktionellen Korrektheit eines Systems ist die Überwachung und Betrachtung von Aspekten wie Verlässlichkeit, Zuverlässigkeit und Rechtzeitigkeit zwingend erforderlich. Da die Kosten für ein System eine nicht unwesentliche Rolle spielen, ist es wünschenswert, unkorrektes und ineffizientes Verhalten bereits in den frühen Entwurfsphasen festzustellen. Dadurch können Entwurfsentscheidungen leichter und billiger überarbeitet werden. Methoden und Werkzeuge werden benötigt, die sowohl die Modellierung als auch die Leistungsbewertung unterstützen. Diese Arbeit hat ihren Fokus auf der Anwendung der Unified Modeling Language (UML) für das Modellieren von Aspekten von Echtzeitsystemen. UML hat über die letzten Jahre eine weitreichende Akzeptanz als Standardwerkzeug für die Modellierung von diskreten Ereignis- und Softwaresystemen erfahren. Innerhalb von UML konzentriert sich diese Arbeit auf die Zustandsdiagramme. Diese sind in Kombination mit dem erweiternden Profile for Schedulability, Performance, and Time sehr gut geeignet, Lebenszyklen von Objekten mit den dazugehörigen quantitativen System Aspekten zu modellieren. Die direkte quantitative Bewertung der resultierenden Zustandsdiagramme ist aufwendig. Deshalb wird eine indirekte Methode vorgeschlagen, bei der die Zustandsdiagramme in Stochastische Petri Netze überführt werden. Somit wird die Wiederverwendung etablierter Methoden ermöglicht. Basierend auf Stochastischen Petri Netzen wird die quantitative Bewertung der Zustandsdiagramme mittels existierender Petri-Netz-Werkzeuge wie z.B. TimeNET durchgeführt. Des Weiteren geben die Stochastischen Petri Netze eine formale Semantik für die Zustandsdiagramme vor. TimeNET wurde als ein Resultat der Arbeit um eine neue Netzklasse für Zustandsdiagramme erweitert. Das erlaubt innerhalb eines Werkzeugs die Modellierung und die Bewertung, da Stochastische Petri Netze bereits unterstützt werden. Die Anwendung des vorgestellten Ansatzes auf das zukünftige europäische Zugsicherungssystem (ETCS) mit seinen hohen Anforderungen an Sicherheit, Rechtzeitigkeit und Zuverlässigkeit zeigt die Leistungsfähigkeit des Ansatzes.de
dc.description.abstractTodays technical systems tend to be very complex and usually are embedded in an synchronous, 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 direct quantitative evaluation of the resulting UML State Machine models is extensive. Therefore, an indirect approach transforming UML State Machines into Stochastic Petri Nets is proposed. Thus, a re-use of well established methods is enabled. Existing Petri Net tools like TimeNET can be used for analysis and simulation. In this context, a formal semantics for UML State Machines by means of Stochastic Petri Nets is given. Based on the resulting Stochastic Petri Nets the quantitative evaluation of the UML State Machines is performed. As a result of this work TimeNET has been extended by a new State Machine net class. This allows modeling and evaluation within the same tool, since Stochastic Petri Nets are already supported. The application of the presented approach to the upcoming European Train Control System with its high demands for safety, timeliness, and reliability shows the applicability of the approach.en
dc.identifier.uriurn:nbn:de:kobv:83-opus-16839
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/2002
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-1705
dc.languageEnglishen
dc.language.isoenen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.ddc004 Datenverarbeitung; Informatiken
dc.subject.otherETCSde
dc.subject.otherStochastsche Petrinetzede
dc.subject.otherUMLde
dc.subject.otherZustandsautomatende
dc.subject.otherETCSen
dc.subject.otherState Machinesen
dc.subject.otherStochastic Petri Netsen
dc.subject.otherUMLen
dc.titleQuantitative Evaluation of UML State Machines Using Stochastic Petri Netsen
dc.title.translatedQuantitative Bewertung von UML Zustandsautomaten mittels Stochastischer Petrinetzede
dc.typeDoctoral Thesisen
dc.type.versionpublishedVersionen
tub.accessrights.dnbfree*
tub.affiliationFak. 4 Elektrotechnik und Informatik::Inst. Technische Informatik und Mikroelektronikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.affiliation.instituteInst. Technische Informatik und Mikroelektronikde
tub.identifier.opus31683
tub.identifier.opus41612
tub.publisher.universityorinstitutionTechnische Universität Berlinen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Dokument_12.pdf
Size:
2.53 MB
Format:
Adobe Portable Document Format
Download

Collections

Publications