A new operators-based approach for the Event-B refinement: QNoC case study

Author

Hariche, Abdelhamid ; Belarbi, Mostefa ; Daoud, Hayat

Author_Institution

LIM Res. Lab., Univ. Ibn Khaldoun Tiaret, Tiaret, Algeria

fYear

2013

fDate

15-18 Dec. 2013

Firstpage

1

Lastpage

4

Abstract

Event-B is the promising approach applied on several domains, it can be used to specify, prove and develop SoCs and MPSoCs models incrementally using the refinement. The suggested new refinement approach consists of suggesting new concepts and constraints related to the reliability of QNoCs and the over-cost related to the solutions of FPGA-Based technology fault-tolerance in the reason of practically managing the complexity caused by the extremely large number of variables used in the VHDL code (last step of the refinement) which are describing the state of QNoC systems. To remediate to this problem, we introduce concepts of decomposition and Re-composition that use three new operators (Rename, Enrich, Ensure) that they are linking together and used to enhance the Event-B refinement to finally make it more and more structural.

Keywords

fault tolerance; field programmable gate arrays; integrated circuit reliability; network-on-chip; FPGA-based technology fault-tolerance; MPSoCs models; QNoC case study; VHDL code; event-B refinement approach; operators-based approach; reliability; Artificial intelligence; Artificial neural networks; Decomposition; Enrich Ensure; Event-B; QNoC; Re-composition; Rename; VHDL code; model; operators; refinement;

fLanguage

English

Publisher

ieee

Conference_Titel

Microelectronics (ICM), 2013 25th International Conference on

Conference_Location

Beirut

Print_ISBN

978-1-4799-3569-7

Type

conf

DOI

10.1109/ICM.2013.6735001

Filename

6735001