Autonomic Networking-on-Chip

Boken "Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification" är ett banbrytande verk som utvärderar forskningsresultat kring formaliseringen av autonoma nätverk-på-chip (ANoC), en teknologi inspirerad av det mänskliga nervsystemet. Det är den första boken som granskar detta framväxande paradigm inom NoC och erbjuder insikter från ledande forskare inom både industri och akademi världen över. Boken riktar sig till ingenjörer, vetenskapsmän och andra forskare med grundläggande kunskaper om NoC som nu vill lära sig hur man specificerar, utvecklar och verifierar ANoC med rigorösa metoder.

Några av de tekniska ämnena som tas upp inkluderar bio-inspirerade NoC-nätverk, kartläggning av applikationer på ANoC, användningen av ANoC för FPGAs och strukturerade ASICs samt metoder för att tillämpa formella metoder vid utvecklingen av ANoC. Boken diskuterar även sätt att formalisera språk som möjliggör ANoCs funktioner samt tekniker för validering och verifiering. Dessutom utforskas användningen av "self-" processer i ANoCs såsom självorganisering, konfiguration, optimering och skydd.

Med hjälp av illustrativa figurer syftar denna resurs till att förenkla komplexa ämnen och öka förståelsen kring nya utvecklingar inom autonoma nätverksarkitekturer. Den täcker toppmoderna ANoC-arkitekturer, protokoll, teknologier och applikationer samt ger en djupdykning i teorin bakom ANoCs funktion för att underlätta beslutstagande baserat på formella metoder samtidigt som praktiska bedömningar kan göras med rimliga motiveringar.