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

A New Hybrid Approach Of Embedded Application Validation



Authors : Belarbi Mostefa .

Abstract

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.

Keywords

Embedded application, Refinement, Verification, Invariant, B formalism, hardware implementation.

Les articles similaires

A Process - Oriented Verification And Validation For Real Time Embedded Systems

Chabbat Nadia .  Ghanemi Salim . 
pages 72-81.

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.

Validation Of The Hybrid Method For Near Lighting Electromagnetic Field Calculation Taking Into Account The Conductivity Of The Soil

M'ziou N .  Mokhnache L .  Boubakeur A . 
pages 127-132.

A Hybrid Heuristic Optimization Algorithm Psogsa Coupled With A Hybrid Objective Function Using Ecomac And Frequency In Damage Detection

Thanh Bui-tien .  Thac Quang Nguyen .  Ho Long Viet . 
pages 31-45.

Validation Of “quick Reflex” A Mobile Application For Simple Response Time Assessment : A Cost-effective And Reliable Alternative For Field Testing In Algerian Sports Science

Alioui Salahdine .  Benrabah Kheiredine .  Bennadja Mohamed .  Ouadeh Ahmed Elamine . 
pages 33-50.

Formats de citation