Welcome to the InfoSci Platform
Reference Hub2
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms

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

Sergey Ostroumov, Leonidas Tsiopoulos
Copyright: © 2012 |Volume: 3 |Issue: 2 |Pages: 33
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781466612006|DOI: 10.4018/jertcs.2012040103
Cite Article Cite Article

MLA

Ostroumov, Sergey, and Leonidas Tsiopoulos. "Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms." IJERTCS vol.3, no.2 2012: pp.40-72. http://doi.org/10.4018/jertcs.2012040103

APA

Ostroumov, S. & Tsiopoulos, L. (2012). Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 3(2), 40-72. http://doi.org/10.4018/jertcs.2012040103

Chicago

Ostroumov, Sergey, and Leonidas Tsiopoulos. "Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 3, no.2: 40-72. http://doi.org/10.4018/jertcs.2012040103

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.