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 mode...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of systems and software 2016-12, Vol.122, p.430-444
Hauptverfasser:	Buisson, Jérémy, Dagnat, Fabien, Leroux, Elena, Martinez, Sébastien
Format:	Artikel
Sprache:	eng
Schlagworte:	Component model Computer Science Dynamic reconfiguration Dynamic software updating Quality of service Runtime evolution Software Software Engineering Studies Users
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!