Using Object Orientation in High Integrity Applications: A Case Study

Authors:
Alejandro Alonso;Roberto López;Tullio Vardanega;Juan Antonio de la Puente
Affiliations:
-;-;-;-
Venue:
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Year:
2002

Citing 5
Cited 1

The Ravenscar Profile

ACM SIGAda Ada Letters
Status and future of the Ravenscar profile session summary

IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
An Open Ravenscar Real-Time Kernel for GNAT

Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science)

Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science)

HRT-UML: taking HRT-HOOD onto UML

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work we analyse the suitability of using object-oriented features in high integrity systems, and the interest of redesigning a system implementation to include these constructs. The analysis was based on retrofitting object-oriented programming into the preobject oriented design oft he OBOSS software package. The evaluation oft he impact was measured in a number of ways. The implications of this approach, with respect to the requirements for high integrity systems are also discussed. The final conclusion is that in this particular case is not worthwhile retrofitting OOP.