Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms-Reference-Cited by-同舟云学术

Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms

Published:2012-04 Issue:2 Volume:3 Page:40-72
ISSN:1947-3176
Container-title:International Journal of Embedded and Real-Time Communication Systems
language:en
Short-container-title:

Author:

Ostroumov Sergey¹,Tsiopoulos Leonidas²

Affiliation:

1. Åbo Akademi University, Finland

2. Åbo Akademi University, Finland, and University of Turku, Finland

Abstract

Sophisticated applications deployed on multi-core platforms require many resources as well as dynamic monitoring of the platform to provide efficiently and reliably the needed functionality. In this paper, the authors propose an approach to formal modelling with adequate tool support of an agent-based system whose function is to dynamically monitor the state of the multi-core platform and perform reconfiguration procedures under faults. For this purpose, the authors use the Event-B formalism which allows them to stepwise develop correct-by-construction specifications by mathematical proofs. Furthermore, the formalism enables the decomposition of a specification, which makes it possible to implement a well-structured and hierarchical agent-based monitoring system.

Publisher

IGI Global

Subject

General Computer Science

Reference20 articles.

1. Abrial, J.-R. (2009). Event model decomposition. Retrieved from http://deploy-eprints.ecs.soton.ac.uk/109/1/626.pdf

2. Modeling in Event-B

3. Al Faruque, M., Krist, R., & Henkel, J. (2008). ADAM: Run-time agent-based distributed application mapping for on-chip communication. In Proceedings of the Design Automation Conference, Anaheim, CA (pp. 760-765).

4. Ali, G., & Zafar, N. A. (2010). Modeling agent-based systems using x-machine and Z notation. In Proceedings of the International Communication Software and Networks Conference, Singapore (pp. 249-253).

5. Altera. (2008). FPGA run-time configuration: twp approaches. Retrieved from http://www.altera.com/literature/wp/wp-01055-fpga-run-time-reconfiguration.pdf

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2014

2. Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip;Journal of Systems Architecture;2013-10