Change search
ReferencesLink to record
Permanent link

Direct link
Hierarchical Agent Monitored Parallel On-Chip System: A Novel Design Paradigm and its Formal Specification
University of Turku, Finland.
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
Abstract [en]

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.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:kth:diva-74437DOI: 10.4018/jertcs.2010040105ScopusID: 2-s2.0-80052480475OAI: diva2:489635
QC 20120424Available from: 2012-02-03 Created: 2012-02-03 Last updated: 2012-04-24Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Guang, LiangIsoaho, JouniTenhunen, Hannu
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 8 hits
ReferencesLink to record
Permanent link

Direct link