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

  title={A new operators-based approach for the Event-B refinement: QNoC case study},
  author={Abdelhamid Hariche and Mostefa Belarbi and Hayat Daoud},
  journal={2013 25th International Conference on Microelectronics (ICM)},
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… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

Refmement - based guidelines for algorithmic systems

  • M. Butler, M. J. Butler, A. Rezazadeh
  • Int . J . Software and Informatics
  • 2009

Fault ­ Tolerant router with built - in selfTestl - daignosis and fault - isolation circuits for 2 D - mesh based Chip multiprocessor systems

  • Z. Navabi, W. CShon, C. C. Hsu
  • Int . Journal of Electrical Engineering

Similar Papers

Loading similar papers…