Skip to search formSkip to main contentSkip to account menu

Avionics software

Avionics software is embedded software with legally mandated safety and reliability concerns used in avionics. The main difference between avionic… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
ARINC 661AvionicsCOSMIC software sizingCockpit display system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Formal Verification of Avionics Software Products
This paper relates an industrial experience in the field of formal verification of avionics software products. Ten years ago we… 
Review
2008
Review
2008
ARINC 653 role in Integrated Modular Avionics (IMA)
The air transport industry has developed ARINC Specification 653 as a standardized Real-Time Operating System (RTOS) interface… 
Highly Cited
2000
Highly Cited
2000
Software reliability and dependability: a roadmap
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how… 
1999
1999
Freeing product line architectures from execution dependencies [avionics software]
In 1995, an initiative was launched to assess the potential for reuse of operational flight program software across multiple… 
1999
1999
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach
This paper reports an industrial experiment of formal proof techniques applied to avionics software. This application became… 
Highly Cited
1998
Highly Cited
1998
Reducing avionics software cost through component based product line development
This paper focuses on two important characteristics of the software architecture: layered architecture and medium grained… 
1996
1996
Software faults, software failures and software reliability modeling
Highly Cited
1990
Highly Cited
1990
Generic Avionics Software Specification
Abstract : This report informally specifies the general functions, data interactions, and timing constraints for a hypothetical… 
1989
1989
Incremental software test approach for DOD-STD-2167A Ada projects
One of the key challenges for large Ada software projects is to define and execute an efficient, cost effective, bounded test… 
Highly Cited
1984
Highly Cited
1984
Architecture of the space shuttle primary avionics software system
PASS, perhaps the most complex flight computer program ever developed, epitomizes the benefits to be gained by establishing a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)