Certification & Object Orientation: The New Ada Answer - Proceeding of the 3rd European Congress on Embedded Real Time Software
Conference Papers Year : 2006

Certification & Object Orientation: The New Ada Answer

Cyrille Comar
  • Function : Author
Robert Dewar
  • Function : Author
  • PersonId : 829145
Gary Dismukes
  • Function : Author

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02270498 , version 1

Cite

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

Collections

ERTS2006
44 View
91 Download

Share

More