Safe reconfiguration of Coqcots and Pycots components
Dynamic reconfiguration without suspending components Integration of dynamic software updating and dynamic architecture reconfiguration Coq proof mode as an interactive development environment for reconfigurations Bidirectional translation between middleware and Coq-based abstract component model
coq dynamic reconfiguration dynamic software updating component model dsu python runtime evolution