Welcome,

RSS Feed icon YouTube icon Blog icon Facebook Icon LinkedIn Icon Twitter Icon

Training Courses - Course Information


AOAR-302F : Ravenscar Programmation de systèmes critiques

Les dates de cours

Date(s) & Location(s):
Available for on-site delivery. Contact us for further information.
Duration:
2 days

Description du cours

La formation se présente comme une alternance de présentations techniques et de sessions d’exercices utilisant Aonix ObjectAda. Elle fournit de nombreux exemples afin d’illustrer les concepts et les méthodes présentés.

Le langage Ada excelle par sa fiabilité, sa portabilité et son aptitude à réduire les coûts de test et de maintenance des logiciels. Productivité accrue, préservation des investissements, adéquation aux développements de logiciels critiques et de grande ampleur, richesse et universalité sont des atouts reconnus d’Ada.

Objectifs du cours

  • Fournir une compréhension des fonctionnalités du profil Ravenscar et du produit Aonix ObjectAda Raven
  • Permettre aux participants de comprendre et d’apprécier les bénéfices du profil Ravenscar pour le développement de systèmes temps-réel dur et/ou critiques

A l’issue de ce cours, les participants

  • Connaissent l’architecture et l’utilisation du profil Ravenscar
  • Maîtrisent les fonctionnalités principales du produit Aonix ObjectAda Raven
  • Savent développer des applications conformes au profil Ravenscar grâce à l’environnement de développement Aonix ObjectAda Raven

Pré-requis

  • Une connaissance du Tasking Ada

Public concerné

  • Ce cours est idéal pour les concepteurs et programmeurs de systèmes temps-réel dur et/ou critiques utilisant Ada

Prestation

  • Cours dispensé en anglais (français possible)
  • Support de cours (anglais)

Formations associées

Programme

Jour 1

  • Le profil Ravenscar et les techniques de développement de logiciel critique d’aujourd’hui
  • Pourquoi ces techniques sont-elles inadaptées?
  • Pourquoi le Tasking d’Ada83 à échoué dans cet objectif?
  • Comment Ada95 (05) et le profil Ravenscar sont la solution?

Jour 2

  • Les caractéristiques et restrictions associées à l’exécution séquentielles du produit Aonix ObjectAda Raven
  • Construire des programmes complexes avec Aonix ObjectAda Raven
  • Utilisation des outils Aonix ObjectAda Raven

Course Files

Course Data Sheet:
AOAR-302F.pdf  [1091 Kb]