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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    NATO/AGARD Symposium on Software for Avionics


    Contributors:
    D. Weiss (author)

    Publication date :

    1983


    Size :

    9 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English