Models & Optimisation and Mathematical Analysis Journal
Volume 1, Numéro 1, Pages 51-55
2012-12-17
Authors : Belarbi Mostefa .
In this paper, we suggest certain approach of validation of an embedded application. The presented methodology is divided on several layers, we can transit from one level to another level by refining. The first level represents abstraction associated to the application and the lowest level concerns FPGA implementation. The methodology is illustrated by an application based on GMM model and its hardware implementation.
Embedded application, Refinement, Verification, Invariant, B formalism, hardware implementation.
Chabbat Nadia
.
Ghanemi Salim
.
pages 72-81.
M'ziou N
.
Mokhnache L
.
Boubakeur A
.
pages 127-132.
Abid Faroudja
.
Izeboudjen Nouma
.
Sahli Leila
.
Titri Sabrina
.
Lazib Dalila
.
Louiz Fatiha
.
pages 72-77.
Karoui S.
.
pages 117-125.
Moussi A.
.
Naït Kaci F.
.
Mahiou L.
.
pages 681-686.