Compétences
20.05.2011 |
|
Ingénierie Système : |
MBSE, Approche processus, Ingénierie des exigences, Norme IEC61508 |
|---|---|
Modélisation Logiciels Sûrs : |
SysML/UML 2/MARTE, TOPCASED, UPPAAL, Langages synchrones(Lustre/Signal), SCADE, model cheking |
Norme Avionique : |
Do-178B |
|
Langages programmation : |
C/C++, VHDL , Shell, JAVA/Swing/J2EE , Assembleur, SQL, PHP/XML/HTML |
Circuit programmable : |
cPLD, FPGA, DSP, Micro-contrôleur |
Architectures : |
RISC, CISC, PIPELINE, Mémoires : Technologies (SRAM,DRAM, SDRAM-DDR) & Architectures (caches, machines havard & pseudo-havard, Accélération mémoire) |
Système Embarqué Temps Réél : |
OS Temps Rééls (RTC, VxWorks), Ordonnancement TR (RM, DM, EDF, LLF) |
|
Génie Logiciel : |
Modélisation orientée objet (UML), Subversion(SVN) : Team Project |
|
Base de Données : |
PostgreSQL, MySQL, ORACLE, Merise (Win'Design) |
IHM : |
Eclipse, NetBeans , Dev C++, Code Blocks, Visual Studio |
Logiciels : |
MATLAB /Simulink , CATIA (CAO), Automates (PL7 Pro), Lab View. |
Réseau :
|
CISCO (CCNA 1&2) , Architecture réseaux, Architecture client/serveur, LAN, WAN, |
Système d'exploitation : |
MS-Windows/Windows CE/Mobile, Linux /Noyau Unix/Linux Embarqué (OpenWrt), Android |
Compilation : |
Analyses lexicale, syntaxique et sémantique. Compilateurs |
Electronique : |
Electronique analogique & numérique |
Automatique : |
PL7 Pro (Automate), Controlbuild (Grafcet), Labview (Electronique, Signaux) |
Traitement de signal : |
Modélisation FSK, ASK, OOK, PSK, Traitement Audio Numérique, CAN, CNA |
Traitement d'images : |
Pré-traitement, Reconnaissance de formes, Segmentation, |
Gestion de projet : |
- définition, positionnement et validation du projet, principaux acteurs des projets |
Management de la qualité : |
- principes, organisation et pratiques du management de la qualité au travers de la norme ISO 9000 : 2000 |