Overview of automation tools for avionics verification
Overview of automation tools for avionics verification
About this item
Full title
Author / Creator
Publisher
Bristol: IOP Publishing
Journal title
Language
English
Formats
Publication information
Publisher
Bristol: IOP Publishing
Subjects
More information
Scope and Contents
Contents
The existing verification automation tools for civil aircraft avionics are considered (particularly, formal methods, hardware-in-the-loop testing, outsource sendees). Key solutions presented on the market are described, their advantages and weak points are identified. Also, it is determined a promising field is the automation of graphic and aural i...
Alternative Titles
Full title
Overview of automation tools for avionics verification
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2548708189
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2548708189
Other Identifiers
ISSN
1742-6588
E-ISSN
1742-6596
DOI
10.1088/1742-6596/1958/1/012012
