Accession Number : ADP002865

Title :   CADAS - A Computer Aided Design Tool for Avionic Systems,

Corporate Author : ESG ELEKTRONIK-SYSTEM G M B H (FEG) MUNICH (GERMANY F R)

Personal Author(s) : Burford,M. ; Cope,R. ; Schneeweiss,H.

Report Date : OCT 1983

Pagination or Media Count : 10

Abstract : The ever increasing cost of test software, both in real terms and in relation to target software cost, is posing a severe burden on the development of embedded systems. The comparative, short life span of an avionics package in comparison to that of the airframe further emphasises the need for a cost effective test tool. This paper outlines the development of CADAS - a computer aided design tool for avionic systems. An overview of present methods for validating software is presented first. The basic concepts behind CADAS are then expanded to illustrate how certain key elements, such as the events language, the automatic generation and inclusion of models, etc. have been implemented. In conclusion the paper reports on the usage and achievements to date and outlines objectives still to be achieved. Finally the case for including such a general tool as a basic component of the programming support environment for embedded software is presented.

Descriptors :   *Avionics, *Computer aided design, *Computer programming, Validation, Integrated systems, Computer program verification, Computer programs, Embedding, Test methods, West Germany

Distribution Statement : APPROVED FOR PUBLIC RELEASE