Model-driven development of cyber-physical systems using Theatre

Theatre is a control-based, light-weight, reflective actor system designed to address the development of general distributed, timed (possibly probabilistic) systems and cyber-physical systems in particular. Theatre is characterized by its formal operational semantics. An abstract Theatre model, including the services of a possible deterministic network and associated protocol, can be analyzed by exhaustive model-checking or by statistical model checking or through ad-hoc simulators. Theatre is currently implemented in Java. Other languages are possible. A key point of Theatre is its volition to favoring a seamless transformation of an analyzed model into the terms of design and implementation phases. The tutorial will illustrate the modelling aspects of Theatre, its supporting analysis tools, its capability of combining discrete-time with continuous time, its maturity as a software engineering methodology, and some developed applications.