Preprint Article Version 1 This version not peer reviewed

The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks

Version 1 : Received: 15 March 2017 / Approved: 16 March 2017 / Online: 16 March 2017 (11:41:58 CET)

How to cite: Hariche, A.; Belarbi, M.; Chouarfia, A.; Chaib, A. The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks. Preprints 2017, 2017030120 (doi: 10.20944/preprints201703.0120.v1). Hariche, A.; Belarbi, M.; Chouarfia, A.; Chaib, A. The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks. Preprints 2017, 2017030120 (doi: 10.20944/preprints201703.0120.v1).

Abstract

The need for high performance, available and reliable embedded systems has made computing systems increasingly complex. Formal methods have the ability to produce critical systems for large industrial projects, and this by creating an original mathematical model that can be formally refined in levels until the final refinement which contains enough of details for an implementation. This work is a first step of VHDL code generation process, it represents how to elaborate formally an embedded system using Abstract data type in a form of theories (NoC, WNoC, colored graph, VHDL) and how to ensure in systematic way all the details and complexity of this system using operators of refinement (Create, Rename, Restrict, Enrich)that are recently proposed for the Event-B method. All the theories are deployed, discharged and used in Event-B models to represent and enhance the performance of this self-organization reliability solution for the wireless sensors network of NoC-based system. This paper summerize the fruit of using new proposed approach for the Event-B formal method that persist the NoC-based ditributed system instead of consuming more than 70% of realization time with any analytic method.

Subject Areas

Refinement; operators; theories; self-recovering; NoC; Event-B; VHDL

Readers' Comments and Ratings (0)

Leave a public comment
Send a private comment to the author(s)
Rate this article
Views 0
Downloads 0
Comments 0
Metrics 0
Leave a public comment

×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.