DocumentCode :
2147183
Title :
Towards a validation framework for dynamic reconfiguration
Author :
Akue, Ludi ; Lavinal, Emmanuel ; Sibilla, Michelle
Author_Institution :
IRIT, Univ. Paul Sabatier, Toulouse, France
fYear :
2010
fDate :
25-29 Oct. 2010
Firstpage :
314
Lastpage :
317
Abstract :
Regardless of the management functional domains, autonomous reconfiguration activities are the principal means through which self-management is carried out. However, the presence of dynamic reconfiguration should not endanger the system´s operation, otherwise it would nullify the underlying expected benefits. Hence, management systems should include a validation capability to guarantee the correctness and the safety of reconfiguration activities. This paper presents work in progress in building a validation framework that covers the entire reconfiguration scenario - from the validation of proposed changes to the validation of their application.
Keywords :
formal verification; software management; telecommunication computing; telecommunication network management; autonomous reconfiguration; dynamic reconfiguration; management systems; validation framework; Buildings; Planning; Runtime; Safety; Testing; Web server;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Network and Service Management (CNSM), 2010 International Conference on
Conference_Location :
Niagara Falls, ON
Print_ISBN :
978-1-4244-8910-7
Electronic_ISBN :
978-1-4244-8908-4
Type :
conf
DOI :
10.1109/CNSM.2010.5691219
Filename :
5691219
Link To Document :
بازگشت