Logiciels embarqués temps réel critiques

Le logiciel embarqué est omniprésent dans la plupart des produits industriels et dans une part croissante des objets de notre quotidien et notamment dans les produits électroniques grand public (téléphones portables, appareils photos et caméras numériques, PDA…).  

Le logiciel temps réel embarqué critique soumis à contrainte de certification (DO-178B dans l’avionique civile et de plus en plus pour les systèmes de défense, voire spatiaux, CEI 880 dans le domaine nucléaire, IEC 61508…) subit une double contrainte : la contrainte économique et la contrainte de sûreté. Pour faire face à ce défi, les industriels ont mis ou mettent en place des processus de développement et de V&V afin de fluidifier la liaison entre les équipes systèmes et logiciel.

Nous accompagnons nos clients dans cette démarche, apportant ainsi nos compétences en automatique, traitement du signal et informatique temps réel critique et notre expérience de réalisation en maîtrise d’œuvres de projets en aéronautique, espace, défense et automobile.

La société décline son offre selon trois axes :

• Externalisation de tout ou partie du cycle de développement du logiciel,
• Mise en place de processus outillé de développement dans un contexte de certification selon une approche « Model-Based Design »,
• Projets d’études amonts (ex. preuve formelle de logiciels embarqués) pour valider des concepts et technologies à mettre en place dans les projets futurs.

Les experts en développement de logiciels embarqués disposent des compétences suivantes :

• Des outils pour la réalisation en maîtrise d’œuvre de logiciels embarqués : SCADE Suite, MATLAB/SIMULINK, TARGET, CHANGE SYNERGY, CLEARCASE, SNIFF, RTRT, ROSE…
• Une plate forme de développement incluant des chaînes de développement Microtek, DiabData, SingleStep, et des cartes d’évaluation MC68XXX, PPC603, MPC555, MPC565 et TI 320C55
• Un référentiel qualité répondant aux exigences de la DO178-B niveau A de l’aéronautique civile,
• Une expérience importante dans les architectures de systèmes temps réel, protocoles et communication embarqués