@book{d908f9ff617a4c3da2cfdc14fd04fcfa,
title = "Formal Development of NoC Systems in B",
abstract = "When developing complex Network-on-Chip (NoC) systems we need to ensure that they satisfy their functional requirements. This can be achieved by developing the systems in a structured way using a formal method with tool support. We use the B Action Systems formalism for this purpose. We give a general formal framework for the development of NoC systems avoiding architectures with complex controllers and complex arbiter modules for deciding the routing path of a data packet. The development is performed in a stepwise manner composing more advanced routing components out of simpler units.",
keywords = "B Method, Action Systems, Network-on-Chip, Formal verification, parallel composition",
author = "Leonidas Tsiopoulos and Marina Walden",
year = "2006",
language = "English",
isbn = "952-12-1695-6",
series = "TUCS Technical Reports",
publisher = "Turku Center for Computer Science (TUCS)",
}