A Test Environment for High Integrity Software Development Alejandro Alonso, Juan Antonio de la Puente, and Juan Zamorano Departamento de Ingeniería de Sistemas Telemáticos Universidad Politécnica de Madrid, E-28040 Madrid, Spain aalonso@dit.upm.es, jpuente@dit.upm.es, jzamora@fi.upm.es Abstract. The paper describes the architecture and implementation of the dy- namic analysis tools that are part of the DOBERTSEE environment. DOBERT- SEE is a low-cost, flexible software engineering environment which enables dif- ferent development processes and methods to be supported by integrating differ- ent 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. 1 Introduction Software engineering environments have hardly lived up to their promises in supporting extensive development of high-quality software along the whole life cycle of software products. In spite of the sound technical approaches that can be found in some com- mercial systems, such factors as the monolithic nature of many of them, the difficulties that are often found when trying to adapt them to the particular methods and idioms of a particular development, and the lack of flexibility in supporting different kinds of development processes have limited their use in many application areas, in particular in the high-integrity systems field. The DOBERTSEE (Dependable On-Board Embedded Real-Time Software Engi- neering Environment) project [1] was launched by the European Space Agency (ESA) in 2000 with the aim of developing a new, open software engineering environment for on-board software which supports up-to-date technology with a low cost, in such a way that new methods and tools can easily be integrated into it. The project builds on the results of the previous ECSS-PMod project, in which the requirements of a software engineering environment (SEE) for supporting the ECSS 1 software standards [2] were developed and a prototype implementation was built [3]. It can be expected that such a SEE can be easily integrated in a company’s practice, by adapting it to the particular processes, methods, and tools used by the project teams, while keeping the required investment costs low enough to be affordable even for small or medium size projects. The technical approach is based on the extensive use of an XML based language, called CASEML, as the glue between different tools and rep- resentations of software. The environment is targeted to on-board spacecraft software, 1 European Co-operation for Space Standardization. J.P. Rosen and A. Strohmeier (Eds.): Ada-Europe 2003, LNCS 2655, pp. 359-367, 2003 © Springer-Verlag Berlin Heidelberg 2003