The symposium was concerned with requirements, design, development, verification, and validation of avionics software. A few papers concerned research results and future technology, but most dealt with the practical aspects of software development. The avionics community is struggling to automate its work. Different methodologies are being used to impose discipline on avionics software development, and the methodology developers are now attempting to provide as much automated support as possible. Support tools such as requirement specification systems, high level language compilers, data-base systems, test languages, and other test tools are all being slowly integrated into the software development process. The situation can be contrasted with that 10 years ago, when software developers were thinking about what methodology to use. Perhaps most ignored during the symposium were techniques for design--as opposed to techniques for managing development. The criteria used to organize and document a design are the basic problems in producing systems that are maintainable over long periods of time.
NATO/AGARD Symposium on Software for Avionics
1983
9 pages
Report
Keine Angabe
Englisch