Performance and reliability achieved by a modular redundant system depend on the
recovery scheme used. Typically, gain in performance using comparable resources results …

The ABS modelling language targets concurrent and distributed object-oriented systems.
The language has been designed to enable scalable formal verification of detailed …

Wireless sensor–actor networks are a recent development of wireless networks where both
ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are …

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 …

Network-On-Chip (NOC) is an emerging paradigm to surmount traditional bus bused
Systems-On-Chip (SOC) limits especially scalability and communication performances. A …

The state-based formal method Event-B relies on the concept of correct stepwise
development, ensured by discharging corresponding proof obligations. The register-voice …

The number of communicating components has tremendously increased, both at the chip-
level communication as well as in general networks. This leads to an increased complexity …

The increase in design complexity emphasises the relevance of formal verification
techniques for both software and hardware. Formal methods with their mathematical-based …

With network-on-chip (NoC) as the fundamental communication paradigm for many core
architectures, we need to be able to evaluate its correctness. In this paper we propose a …

Abstract Network on Chip (NoC) has emerged as a promising architecture paradigmfor
todays many-core systems. As complexity grows in NoCs, functional verificationand …