Abstract
The paper describes the architecture and implementation of the dynamic analysis tools that are part of the DOBERTSEE 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Garbajosa, J., Alonso, A., Amador, J., Bollaín, M., de la Puente, J.: A low cost software engineering environment for on-board real-time software. In: Workshop on Advanced Real-Time Software Technologies, Aranjuez, Spain (2002)
ECSS: ECSS-E-40A Space Engineering — Software. (1999) Available from ESA.
GMV-ECSS-UM-01: SEE User Manual. 4.1 edn. (2000) Also available from ESA.
ISO: Ada Semantic Interface Specification (ASIS). ISO/IEC-15291:1999. (1999)
Ousterhout, J.: Tcl and the Tk Toolkit. Addison-Wesley (1994)
Vardanega, T.: Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency (1999) ISBN 90-9092-334-2.
Burns, A., Wellings, A.: HRT-HOOD:Adesign method for hard-real-time. Real-Time Systems 6 (1994) 73–114
Burns, A., Wellings, A.: HRT-HOOD(TM):A Structured Design Method for Hard Real-Time Ada Systems. Elsevier Science, Amsterdam (1995) ISBN 0-444-82164-3.
Burns, A., Dobbing, B., Romanski, G.: The Ravenscar profile for high integrity real-time programs. In Asplund, L., ed.: Reliable Software Technologies — Ada-Europe’98. Number 1411 in LNCS, Springer-Verlag (1998)
ISO/IEC: Guide for the use of the Ada Programming Language in High Integrity Systems. (2000) Technical Report TR 15942:2000.
Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Technical Report YCS-2003-348, University of York (2003)
TNI: STOOD home page. http://www.tni.fr (2003)
de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In Keller, H.B., Ploedereder, E., eds.: Reliable Software Technologies — Ada-Europe 2000. Number 1845 in LNCS, Springer-Verlag (2000) 5–15
Gaisler, J.: TSIM Simulator User’s Manual. Gaisler Research. (2001)
de la Puente, J.A.: RTA User’s Guide. DIT-UPM. 1.3 edn. (2001)
Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs, New Jersey (1991)
Watson, A.H., McCabe, T.J.: Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Report 500-235 (1996).
Rybin, S., Strohmeier, A., Kuchumov, A., Fofanov, V.: ASIS for GNAT: From the prototype to the full implementation. In Strohmeier, A., ed.: Reliable Software Technologies — Ada-Europe’96: Proceedings. Volume 1088 of Lecture Notes on Computer Science., Springer-Verlag (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alonso, A., de la Puente, J.A., Zamorano, J. (2003). A Test Environment for High Integrity Software Development. In: Rosen, JP., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2003. Ada-Europe 2003. Lecture Notes in Computer Science, vol 2655. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44947-7_27
Download citation
DOI: https://doi.org/10.1007/3-540-44947-7_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40376-0
Online ISBN: 978-3-540-44947-8
eBook Packages: Springer Book Archive