Certification & Object Orientation: The New Ada Answer - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

Certification & Object Orientation: The New Ada Answer

Cyrille Comar
  • Fonction : Auteur
Robert Dewar
  • Fonction : Auteur
  • PersonId : 829145
Gary Dismukes
  • Fonction : Auteur

Résumé

The object model of Ada 2005 is well-suited for applications that have to meet certification at various levels. We review the use of Ada in the context of certification, and show that the object-oriented facilities of the current language standard, properly restricted to avoid dynamic dispatching, can already be used without problems under current DO-178B guidelines. We then examine the complications to certification that are presented by dynamic dispatching in a single inheritance model, and show implementation-specific ways of addressing these complications. Finally, we discuss the problems introduced by the use of multiple inheritance. We conclude by showing how, regardless of the extent to which object-oriented idioms are used, Ada provides a safe and efficient vehicle to create certifiable systems.
Fichier principal
Vignette du fichier
11B2_C.Comar_Adacore.pdf (206.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02270498 , version 1 (25-08-2019)

Identifiants

  • HAL Id : hal-02270498 , version 1

Citer

Cyrille Comar, Robert Dewar, Gary Dismukes. Certification & Object Orientation: The New Ada Answer. Conference ERTS'06, 2006, Toulouse, France. ⟨hal-02270498⟩

Collections

ERTS2006
44 Consultations
91 Téléchargements

Partager

More