Models & Optimisation and Mathematical Analysis Journal
Volume 1, Numéro 1, Pages 51-55

A New Hybrid Approach Of Embedded Application Validation

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.

Embedded Network Soc Application Based On The Openrisc Soft Processor

Abid Faroudja .  Izeboudjen Nouma .  Sahli Leila .  Titri Sabrina .  Lazib Dalila .  Louiz Fatiha . 
pages 72-77.

Inflation Dynamics In Algeria: Estimation Of The Hybrid New Keynesian Phillips Curve

Boukhari Mohamed .  Tchoketch Kebire Hacéne . 
pages 115-135.