Assured and Correct Dynamic Update of Controllers

L. NAHABEDIAN; S. HONIDEN; UCHITEL SEBASTIAN; DIPPOLITO R. NICOLAS; K.TEI; BRABERMAN VICTOR; JEFF KRAMER

Austin, Texas

Simposio; SEAMS: 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems; 2016

ACM/IEEE

In many application domains, continuous operation is adesirable attribute for software-intensive systems. As theenvironment or system requirements change, so the systemshould change and adapt without stopping or unduly disturbingits operation. There is, therefore, a need for soundengineering techniques that can cope with dynamic change.In this paper we address the problem of dynamic updateof controllers in reactive systems when the specification(environment assumptions, requirements and interface) ofthe current system changes. We present a general approachto specifying correctness criteria for dynamic update anda technique for automatically computing a controller thathandles the transition from the old to the new specification,assuring that the system will reach a state in which sucha transition can correctly occur. Indeed, using controllersynthesis we show how to automatically build a controllerthat guarantees both progress towards update and safeupdate. Seven case studies have been implemented tovalidate the approach