Avionics software

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Locating features in software is an important activity for program comprehension and to support software reengineering. We… (More)
  • figure 1
Is this relevant?
2011
2011
Software model checking consists in applying the most powerful results in formal verification research to programming languages… (More)
  • figure 1
  • table I
  • table I
  • figure 2
  • figure 3
Is this relevant?
2010
2010
We describe a model-based approach for the automated verification of avionics systems that has been applied in Honeywell for the… (More)
  • figure 1
  • figure 2
  • table 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
domain based on affine arithmetic I Assignment of a variable x whose value is given in a range [a, b] introduces a noise symbol… (More)
Is this relevant?
2009
2009
This paper relates an industrial experience in the field of formal verification of avionics software products. Ten years ago we… (More)
  • figure 1
  • figure 2
Is this relevant?
2007
2007
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Hard real-time avionics systems like flight control software are expected to always react in time. Consequently, it is essential… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Review
2002
Review
2002
  • 2002
This white paper addresses the issue of cost and productivity improvement in the development of safety critical software for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
This paper reports an industrial experiment of formal proof techniques applied to avionics software. This application became… (More)
  • figure 1
Is this relevant?
1998
1998
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 3
Is this relevant?