R-Charon, A modeling language for reconfigurable distributed hybrid systems

Fabian Kratz (OAS Group)

In this talk I will give an overview of R-Charon, a formal extension with reconfiguration to the formal distributed hybrid system modeling language Charon. Charon has been developed at the University of Pennsylvania and is a hierarchical, hybrid automata based modeling language with tool support. R-Charon is mainly focussed on two application domains: modular reconfigurable robots and large-scale transportation systems. Systems of any other domain exhibiting similar features are supported as well. While largely leaving the Charon syntax and semantics intact, the extension allows dynamic creation and destruction of components (agents) as well as of links (references) between the agents.
The syntax and operational semantics for RCharon are developed and presented on three stacked levels: behavior (modes), structure (agents) and configuration (system).