Hierarchical Agent Monitored Parallel On-Chip System: A Novel Design Paradigm and its Formal Specification
2010 (English)In: International Journal of Embedded and Real-Time Communication Systems (IJERTCS), ISSN 1947-3176, Vol. 1, no 2, 86-105 p.Article in journal (Refereed) Published
In this paper, the authors present a formal specification of a novel design paradigm, hierarchical agent monitored SoCs (HAMSOC). The paradigm motivates dynamic monitoring in a hierarchical and distributed manner, with adaptive agents embedded for local and global operations. Formal methods are of essential importance to the development of such a novel and complex platform. As the initial effort, functional specification is indispensable to the non-ambiguous system modeling before potential property verification. The formal specification defines the manner by which the system can be constructed with hierarchical components and the representation of run-time information in modeling entities and every type of the monitoring operations. The syntax follows the standard set theory with additional glossary and notations introduced to facilitate practical SoC design process. A case study of hierarchical monitoring for power management in NoC (Network-on-chip), written with the formal specification, is demonstrated
Place, publisher, year, edition, pages
2010. Vol. 1, no 2, 86-105 p.
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-74437DOI: 10.4018/jertcs.2010040105ScopusID: 2-s2.0-80052480475OAI: oai:DiVA.org:kth-74437DiVA: diva2:489635
QC 201204242012-02-032012-02-032012-04-24Bibliographically approved