tr-announce

Download

tr-announce@lists.rwth-aachen.de

March 2012

1 participants
2 discussions

2012-04: Strategy Machines and their Complexity
by Thomas Ströder 05 Mar '12

05 Mar '12

The following technical report is available from http://aib.informatik.rwth-aachen.de: Strategy Machines and their Complexity Marcus Gelderie AIB 2012-04 We introduce a machine model for the execution of strategies in (regular) infinite games that refines the standard model of Mealy automata. This model of controllers is formalized in the terminological framework of Turing machines. We show how polynomially sized controllers can be found for Muller and Streett games. We are able to distinguish aspects of executing strategies ("size", "latency", "space consumption") that are not visible in Mealy automata. We show upper and lower bounds for these parameters for several classes of omega-regular games.

1 0

2012-03: MontiArc – Architectural Modeling of Interactive Distributed and Cyber-Physical Systems
by Thomas Ströder 01 Mar '12

01 Mar '12

The following technical report is available from http://aib.informatik.rwth-aachen.de: MontiArc – Architectural Modeling of Interactive Distributed and Cyber-Physical Systems Arne Haber, Jan Oliver Ringert, Bernhard Rumpe AIB 2012-03 This report presents MontiArc, a modeling language for the description of Component & Connector architectures. A component is a unit executing computations and/or storing data. Information flow between components is modeled via unidirectional connectors connecting typed, directed ports of the interfaces of components. Language features of the ADL MontiArc include hierarchical decomposition of components, subtyping by structural inheritance, component type definitions and reference declarations for reuse, generic component types and configurable components, syntactic sugar for connectors, and controlled implicit creation of connections and subcomponent declarations. This technical report gives an overview of the MontiArc language and is a reference for the MontiArc grammar intended to enable reuse and extension of MontiArc and MontiArc related tools. MontiArc is implemented using the DSL framework MontiCore. Available tools include an editor with syntax highlighting and code completion as well as a simulation framework with a Java code generator.

1 0