High-level Petri nets: theory and application
High-level Petri nets: theory and application
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Model-integrated embedded systems
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Modern Control Engineering
Model-Integrated Program Synthesis Environment
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Feedback Control of Computing Systems
Feedback Control of Computing Systems
Utility Functions in Autonomic Systems
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
A clean slate 4D approach to network control and management
ACM SIGCOMM Computer Communication Review
Autonomic network management: some pragmatic considerations
Proceedings of the 2006 SIGCOMM workshop on Internet network management
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
CONMan: a step towards network manageability
Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
An overview of the OMNeT++ simulation environment
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
OSPF for Implementing Self-adaptive Routing in Autonomic Networks: A Case Study
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
IWSOS '09 Proceedings of the 4th IFIP TC 6 International Workshop on Self-Organizing Systems
CTRQ '10 Proceedings of the 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service
Domain specific modeling methodology for reconfigurable networked systems
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Metamodel based methodology for dynamic component systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
A meta-model for performance modeling of dynamic virtualized network infrastructures
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
| Hi-index | 0.00 |
The domain of autonomic and nature-inspired networking comes with its own set of design challenges and requirements for its architectures. This demands a tailored solution to model and design its components rather than a generic approach. In this paper, we provide a hybrid methodology consisting of formal methods to design, refine and verify the entities of autonomic networks. We focus our discussions on the methods for meta-modeling, structural modeling and behavior modeling and design of existing protocols and newly introduced autonomic components, that autonomically manage and adapt the behaviour of protocols to changing policy and network conditions. A case study, based on the recently introduced 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 our case study are analyzed to explain the trade offs that future designers would be forced to make in order to achieve their design objectives for an autonomic network. A tool-chain to realize the methodology is also briefly discussed.