Submitted: May 2016
Abstract
PTRebeca is an actor based modeling language for probabilistic real-time systems, which uses asynchronous message passing for inter-process communication. In this thesis are two approaches of a translation to the high-level compositional modeling language MODEST presented. The core is the implementation of asynchronous message passing with timing constraints, which is not natively supported by MODEST. For this purpose two approaches are presented, where the first one realizes the asynchrony by translating messages to concurrently running process while the second approach uses helper processes as a temporal storage. Additionally optimizations to reduce the state space and different ways of dealing with a finite buffer size are realized.