Publikation

Titel

Dynamic Communicating Probabilistic Timed Automata Playing Games

Publikationsart

Sonstige

Alle Autoren

Ehlers, Rüdiger; Hahn, E. Moritz; Mehlmann, Martin; Peter, Hans-Jörg; Rakow, Jan; Toben, Tobe; Westphal, Bernd

Zusammenfassung

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.

Buchtitel

Reports of SFB/TR 14 AVACS

Erscheinungsdatum

2011

Ausgabe

75

Herausgeber

SFB/TR 14 AVACS

ISSN

1860-9821