Static Code Analysis Identification of Safety-critical Software Why Use Static Code Analysis? Software Static Code Analysis Lessons Learned

@inproceedings{GermanStaticCA,
  title={Static Code Analysis Identification of Safety-critical Software Why Use Static Code Analysis? Software Static Code Analysis Lessons Learned},
  author={Andy German}
}
M ost software errors are relatively harmless, albeit annoying, such as when a word processor crashes. However, errors in some types of software can have serious consequences such as the failure of an aircraft's flight control software, which could be catastrophic. Software that controls a system whose failure could endanger human life or the aircraft is termed safety-critical software. Its integrity is of great concern to developers, users, the public, and the certification/regulatory… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
17 Citations
12 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 17 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 12 references

This article is based on a paper that was presented to the Safety Critical Systems Club as Air Vehicle Software Static Code Analysis Lessons Learned – Ninth Safety Critical Club Symposium

  • This article is based on a paper that was…
  • 2001

Radio Technical Commission for Aeronautics Software Considerations in Airborne Systems and Equipment Certification Ministry of Defense. Regulation of the Airworthiness of Ministry of Defense Aircraft

  • Rtca Do-178b Rtca, Inc
  • Radio Technical Commission for Aeronautics…
  • 1999

Static Analysis of Safety Critical Software

  • Buckle Graham
  • Proc. of the 16th Safety-Critical System…
  • 1998

Proc. of the Advisory Group for Aerospace Research and Development Conference 545 <www Risk Reduction for C Coding

  • Neil Storey, M Hill, L Whiting
  • Internal QinetiQ Document. DERA Malvern
  • 1995

Compaq Extended Static Checking for Java <www

  • Compaq Extended Static Checking for Java <www

Gimpel Software <www.gimpel.com>. 18. Networks and Mobile Systems

  • Gimpel Software <www.gimpel.com>. 18. Networks…

MALPAS Training Course TACS/ 9093/15. T A Consultancy

  • Ta Consultancy, Services Ltd
  • MALPAS Training Course TACS/ 9093/15. T A…

Note

  • Note

Similar Papers

Loading similar papers…