Systerel propose des prestations d’experts dédiées à la mise en œuvre du langage Ada (ou d’outils connexes à celui-ci) 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
- Migrations/portages (Ada XX -> Ada 05/12, Full Ada -> Ravenscar…)
- Diversification du code
- Problématiques d’ordonnancement, profiling et optimisation
- Définition et reprise d’architectures logicielles (refactoring)
- Maîtrise des chaînes de développement Gnat Pro, PTC (Aonix), Rational, GreenHills, Tartan
- ASIS, GtkAda, AWS
- Méthodes, outillages, problématiques d’intégration
Développement, tests, maintenance
- 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
Support
TMA de logiciels et MCO de systèmes.
Formations et tutorats
- 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
Quelques recommandations
Systerel vous propose 17 recommandations qui vous permettront d’améliorer la qualité et l’efficacité de vos développements Ada. Ces recommandations ne sont pas toutes liées au langage Ada et peuvent pour la plupart s’appliquer à d’autres langages.
Voir les recommandationsPublications
Ada User Journal (Volume 37, Number 4, December 2016)
Présentation d’un middleware conçu en Ada 2012 pour Alstom Transport.
Ce middleware, conforme aux exigences de la norme EN50128, fournit une interface générique de haut niveau hébergeant une application de supervision ferroviaire tout en masquant les mécanismes de communication, de distribution et de redondance chaude.
Blog
Tous les articles sur le langage AdaWebinaires
Webinaire Ada France – mai 2020
Découverte du langage Ada
- Introduction (Systerel)
- Maintenabilité et portabilité (Systerel)
- Programmation Orientée Objet (POO)
- Programmation Par Contrat (PPC) et approche formelle (SPARK)
- Programmation temps réel & concurrente
- Q&A
Toutes les vidéos :
Introduction du webinaire
Introduction (Systerel)
Portabilité des legacy Ada (Systerel)
Programmation Orientée Objet
SPARK
Programmation temps réel & concurrente
Q&A