A test environment for high integrity software development

Authors:
Alejandro Alonso;Juan Antonio de la Puente;Juan Zamorano
Affiliations:
Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, Madrid, Spain;Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, Madrid, Spain;Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, Madrid, Spain
Venue:
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Year:
2003

Citing 6
Cited 0

Fundamentals of software engineering

Fundamentals of software engineering
Tcl and the Tk toolkit

Tcl and the Tk toolkit
HRT-HOOD: a structured design method for hard real-time systems

Real-Time Systems
ASIS for GNAT: From the Prototype to the Full Implementation

Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
The Ravenscar Tasking Profile for High Integrity Real-Time Programs

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
An Open Ravenscar Real-Time Kernel for GNAT

Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper describes the architecture and implementation of the dynamic analysis tools that are part of theDOBERTSEE environment. DOBERTSEE is a low-cost, flexible software engineering environment which enables different development processes and methods to be supported by integrating different tools. An XML-based language is used as a basis for integration. The current version of the environment supports the HRT-HOOD method and Ravenscar Ada, and includes an extensive set of static and dynamic analysis tools.