Systerel propose des prestations d’experts dédiées à la mise en œuvre du langage Ada ou d’outils connexes. Ces prestations d’expertise et de conseil s’inscrivent dans le cadre du développement de systèmes embarqués avec de fortes contraintes temps réel ou de sécurité.
Expertise et conseil
- Migration ou portage d’applications (Ada XX → Ada 05/12, Full Ada → Ravenscar…)
- Diversification de code
- Problématiques d’ordonnancement, de profiling et d’optimisation
- Définition et la reprise d’architectures logicielles (refactoring)
- Maîtrise de la chaîne de développement Gnat Pro, mais également des compilateurs legacy (PTC, Aonix, Rational, GreenHills, Tartan)
- Problématiques d’intégration, les méthodes et outillages associés
Développement, tests, maintenance
Systerel réalise également des prestations de développement, de test, ou de maintenance (TMA/MCO) de logiciels Ada :
- Logiciels temps-réel (du logiciel de base à l’application)
- BSP, drivers, bindings, bibliothèques spécifiques
- Protocoles, middlewares, frameworks
- Applications (multitâches, réplication de code…)
- Outillages spécifiques :
– Générateurs de code (traducteurs, OPS, diversificateurs…)
– Intégration ElinOS
– Console de Debug Ada
– Générateur de documentations AdDoc
Formations sur le langage Ada
Systerel propose des formations au langage Ada permettant aux ingénieurs d’appliquer concrètement le langage dans un environnement industriel.
À travers des exemples et exercices pratiques, ces modules couvrent la programmation par contrat (SPARK), la programmation concurrente et la maintenabilité logicielle.
- Ada 95 et 2005 – Les Bases – En savoir plus
- Ada 95 et 2005 – Avancé – En savoir plus
- Ada 2012 – Les Clés – En savoir plus
Communauté Ada et ressources
Plusieurs ingénieurs de Systerel sont membres actifs de l’association Ada-Europe qui rassemble chercheurs, développeurs et utilisateurs de technologies logicielles sûres.
Systerel contribue ainsi à la promotion du langage Ada et au partage régulièrement de retours d’expérience et de bonnes pratiques.
Publications et retour d’expérience
- 17 recommandations Ada pour améliorer la qualité et la maintenabilité des développements.
- Contributions au Ada User Journal : présentation d’un middleware conçu en Ada 2012 pour Alstom Transport, conforme aux exigences de la norme EN 50128.
Blog et webinaires sur le langage Ada
- Blog Ada : conseils techniques sur la mise en œuvre du langage Ada dans des contextes embarqués et temps réel.
- Webinaires : programmation par contrat (SPARK), la programmation concurrente ou encore la maintenabilité logicielle.