Accession Number : ADA130693

Title :   NATO/AGARD Symposium on Software for Avionics.

Descriptive Note : Conference rept.,

Corporate Author : OFFICE OF NAVAL RESEARCH LONDON (ENGLAND)

Personal Author(s) : Weiss,David

PDF Url : ADA130693

Report Date : 26 Apr 1983

Pagination or Media Count : 9

Abstract : 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.

Descriptors :   *Computer programs, *Symposia, *Avionics, Automation, Compilers, Requirements, High level languages, Information processing, Microprocessors, Data bases, Validation

Subject Categories : Aircraft
      Information Science
      Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE