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
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE