Hierarchical Agent Monitored Parallel On-Chip System: A Novel Design Paradigm and its Formal Specification

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.

[1]  Larry Chen.  AgentOS: the agent-based distributed operating system for mobile networks , 1998, CROS.

[2]  H. Van Dyke Parunak.  Practical and Industrial Applications of Agent-Based Systems , 1998 .

[3]  Kees G. W. Goossens,et al.  A Monitoring-Aware Network-on-Chip Design Flow , 2006, DSD.

[4]  Jiannong Cao,et al.  On optimal hierarchical configuration of distributed systems on mesh and hypercube , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[5]  Axel Jantsch,et al.  Adaptive Power Management for the On-Chip Communication Network , 2006, 9th EUROMICRO Conference on Digital System Design (DSD'06).

[6]  Cédric Teyssié,et al.  Reservation MAC protocols for Ad-Hoc Networks: Analysis of the Approaches , 2009, Int. J. Bus. Data Commun. Netw..

[7]  Debashis Saha,et al.  Web-Based Multimedia Advancements in Data Communications and Networking Technologies , 2012 .

[8]  David Taniar,et al.  Mining Parallel Patterns from Mobile Users , 2005, Int. J. Bus. Data Commun. Netw..

[9]  Matt Jones.  Selected Readings on Telecommunications and Networking , 1970 .

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[11]  John Sartori,et al.  Distributed peak power management for many-core architectures , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[12]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[13]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[14]  Kaisa Sere,et al.  Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors , 2010, Int. J. Embed. Real Time Commun. Syst..

[15]  David Wentzlaff,et al.  Processor: A 64-Core SoC with Mesh Interconnect , 2010 .

[16]  Li Shang,et al.  Dynamic voltage scaling with links for power optimization of interconnection networks , 2003, The Ninth International Symposium on High-Performance Computer Architecture, 2003. HPCA-9 2003. Proceedings..

[17]  V. De,et al.  Statistical design for variation tolerance: key to continued Moore's law , 2004, 2004 International Conference on Integrated Circuit Design and Technology (IEEE Cat. No.04EX866).

[18]  James Tschanz,et al.  Parameter variations and impact on circuits and microarchitecture , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[19]  Hannu Tenhunen,et al.  Hierarchical Agent Architecture for Scalable NoC Design with Online Monitoring Services , 2008, MICRO-41 2008.

[20]  Seppo Virtanen.  Innovations in Embedded and Real-Time Systems Engineering for Communication , 2012 .

[21]  S. Borkar,et al.  An 80-Tile Sub-100-W TeraFLOPS Processor in 65-nm CMOS , 2008, IEEE Journal of Solid-State Circuits.

[22]  Margaret Martonosi,et al.  Dynamic thermal management for high-performance microprocessors , 2001, Proceedings HPCA Seventh International Symposium on High-Performance Computer Architecture.

[23]  Hannu Tenhunen,et al.  Autonomous DVFS on Supply Islands for Energy-Constrained NoC Communication , 2009, ARCS.

[24]  Samir Chatterjee,et al.  International Journal of Business Data Communications and Networking , 2010 .

[25]  Tibor Dulai,et al.  Advanced Communication Protocol Technologies: Solutions, Methods, and Applications , 2011 .

[26]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[27]  David Blaauw,et al.  ElastIC: An Adaptive Self-Healing Architecture for Unpredictable Silicon , 2006, IEEE Design & Test of Computers.

[28]  Hannu Tenhunen,et al.  Architectural Exploration of Per-Core DVFS for Energy-Constrained On-Chip Networks , 2009, 2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools.

[29]  Letha Etzkorn,et al.  Creating an adaptive embedded system by applying multi-agent techniques to reconfigurable hardware , 2004, Future Gener. Comput. Syst..

[30]  Samuel Williams,et al.  The Landscape of Parallel Computing Research: A View from Berkeley , 2006 .

[31]  Christopher A. Rouff,et al.  Formal Methods at NASA Goddard Space Flight Center , 2006 .

[32]  Li-Shiuan Peh,et al.  Exploring the Design Space of Self-Regulating Power-Aware On/Off Interconnection Networks , 2007, IEEE Transactions on Parallel and Distributed Systems.

[33]  Abdelfettah Belghith,et al.  New Strategies and Extensions in Kruskal's Algorithm in Multicast Routing , 2011, Int. J. Bus. Data Commun. Netw..

[34]  Margaret Martonosi,et al.  An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power Budget , 2006, 2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06).

[35]  Raed M. Shubair,et al.  Robust Algorithms for DOA Estimation and Adaptive Beamforming in Wireless Mobile Communications , 2006, Int. J. Bus. Data Commun. Netw..