MOTION-Paper: “Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks”

News from Aug. 13, 2012

The paper by MOTION’s Arun Prakash and Ranganai Chaparadza and Zoltan Theisz of Ericsson Ireland provides a hybrid methodology consisting of formal methods to design, refine and verify the entities of automatic networks. It focuses its discussions on the methods for meta-modeling, structural modeling and behaviour modeling and design of existing protocols and newly introduced autonomic components that manage and adapt the behaviour of protocols to changing network policies and conditions.

A case study, based on the Hierarchical Autonomic Management and Control Architectural Framework called GANA, is used for highlighting the practical benefits and design choices available to modelers and autonomic components designers. The results of the case study are analyzed to explain the tradeoffs that designers would be forced to make in order to achieve their design objectives for an autonomic network.

[1] A. Prakash, Z. Theisz, and R. Chaparadza, “Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks,” in Transactions on Computational Science XV, ser. Lecture Notes in Computer Science, M. Gavrilova, C. Tan, and C.-V. Phan, Eds. Springer Berlin / Heidelberg, 2012, vol. 7050, pp. 1–48, online available.