ladyada-big

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é.Ada

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

Introduction au langage Ada Introduction au langage Ada 2012

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 recommandations

Publications

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.

Télécharger l’article

Blog

Tous les articles sur le langage Ada

Webinaires

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