2011 14th Euromicro Conference on Digital System Design 2011
DOI: 10.1109/dsd.2011.86
|View full text |Cite
|
Sign up to set email alerts
|

Formal Modeling of Multicast Communication in 3D NoCs

Abstract: A reliable approach to designing systems is by applying formal methods, based on logics and set theory. In formal methods refinement based, we develop the system models stepwise, from an abstract level to a concrete one by gradually adding details. Each detail-adding level is proved to still validate the properties of the more abstract level. Due to the high complexity and the high reliability requirements of 3D NoCs, formal methods provide promising solutions for modeling and verifying their communication sch… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2011
2011
2017
2017

Publication Types

Select...
3
2
2

Relationship

1
6

Authors

Journals

citations
Cited by 10 publications
(2 citation statements)
references
References 24 publications
0
2
0
Order By: Relevance
“…Our main contribution in this paper is to introduce CorreComm as a formal hierarchical framework for modeling and verifying communication designs in order to bridge this gap. For instance, in [22], [23], [24], formal models are introduced to study unicast and multicast communication at the chip level as well as to study recovery mechanisms in wireless sensor-actor networks, respectively. With CorreCom, we establish a base communication design, out of which the formal models mentioned above could be derived via refinement in a correct-by-construction manner.…”
Section: On the Verification Of Correcommmentioning
confidence: 99%
“…Our main contribution in this paper is to introduce CorreComm as a formal hierarchical framework for modeling and verifying communication designs in order to bridge this gap. For instance, in [22], [23], [24], formal models are introduced to study unicast and multicast communication at the chip level as well as to study recovery mechanisms in wireless sensor-actor networks, respectively. With CorreCom, we establish a base communication design, out of which the formal models mentioned above could be derived via refinement in a correct-by-construction manner.…”
Section: On the Verification Of Correcommmentioning
confidence: 99%
“…In order to guarantee the correct behaviour of the agents under these circumstances, we use the Event-B formalism to stepwise develop the hierarchical specification of the agent-based monitoring and reconfiguration scheme. This formalism has already been used to model routing schemes for NoC platforms (Kamali, Petre, Kaisa, & Daneshtalab, 2011). Hence, Event-B constitutes a good basis for the correctby-construction development of NoC systems.…”
Section: Agent-based Monitoring System For Noc Platformsmentioning
confidence: 99%