• 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