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.
CADAS - A Computer Aided Design Tool for Avionic Systems
1983
10 pages
Report
No indication
English
Avionics , Computer Aided Design, CAD , Computer aided design , Computer programming , Validation , Integrated systems , Computer program verification , Computer programs , Embedding , Test methods , West Germany , CADAS computer program , Computer program testing , NATO furnished , Component Reports
TIBKAT | 1994
|TIBKAT | 1989
|Tema Archive | 1989
|