Dynamic Communicating Probabilistic Timed Automata Playing Games
Ehlers, Rüdiger and Hahn, E. Moritz and Mehlmann, Martin and Peter, Hans-Jörg and Rakow, Jan and Toben, Tobe and Westphal, Bernd
Reports of SFB/TR 14 AVACS
Systems of Systems (SoS) comprising a varying number of communicating processes (or agents) are getting ever more important. As of yet, formal modeling languages and specification logics address isolated features of SoS only. We propose the concise modeling language DCS++ and the property specification logic DPTATL that address all relevant SoS aspects in a unified game-theoretic framework. The language and logic turn out to be an orthogonal extension of well-known modeling formalisms and logics. Both modeling and specification languages are demonstrated on a non-trivial network routing example.
07 / 2011
1860-9821
techreport
SFB/TR 14 AVACS
75
