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