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.
2015
2015
Generating Qualifiable Avionics Software: An Experience Report (E)
We report on our experience with enhancing the data-management component in the avionics software of the NH90 helicopter at… 
2007
2007
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which… 
2003
2003
Real-Time Virtual Machines for Avionics Software Porting and Development
Generalized rate monotonic scheduling (GRMS) theory has now been widely adopted in practice and supported by open standards. This… 
2002
2002
Towards safety critical middleware for avionics applications
Two factors influencing the design and development of avionics software are: (1) the cost of verification, validation and… 
2000
2000
Predicting the reliability and safety of commercial software in advanced avionic systems
  • M. Lane
  • 19th DASC. 19th Digital Avionics Systems…
  • 2000
  • Corpus ID: 108542496
Exploiting developments in the commercial domain for military application has been identified as a key to reducing avionic system… 
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… 
Highly Cited
1998
Highly Cited
1998
A Lightweight Approach to Formal Methods
The main current trend in applied formal methods can be characterized by the term "lightweight". Historically, formal methods… 
1997
1997
Impact analysis and change management for avionics software
We have developed a prototype software impact analyzer that supports the maintenance of avionics software. The prototype helps… 
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)