Nawel Hamdi

-Coordination of SW feature planning. -Update & follow-up of SW time schedule with all locations. -SW testing follow-up. -Project Quality Engineer. -Project Defect Manager. -Project Configuration Manager. -Preparation/ Documentation & assistance to SW release audits. -Participation in the Customer meetings. -Coordination of the sample / SW delivery to Bosch Plant/ final Customer.

Automotive Test Engineer, black box and white box tests on project : OVIP (Peujeot, Citroên) for Continental Automotive Responsibilities:- Verification of the requirements implementation.- Running test plans to verify the system behavior.- Writing test report. - Specification Management and Requirements analysis.- Specification review.- Detecting anomalies and writing anomaly report.- Execution of non regression tests.- Updating testCases according to the evolution of the set of specifications.

On-The-Fly Checking of Opacity in Critical Systems (theoretical research and solution implementation) UR-OASIS and LIPN a formulation of opacity, with its different variations,on labeled transition systems and provision of an efficient algorithm for its verification using a hybrid and on-the-fly approach. Implementation of a verification tool on Perti Nets modeled systems ;Technologies utilisées: C/C++, java, Petri Nets editor TINA