Papers

Title: Software Safety in Aviation Industry
Year of Publication: 2016
Publisher: International Journal of Computer Systems (IJCS)
ISSN: 2394-1065
Series: Volume 03, Number 02
Authors: Kadupukotla Satish Kumar, Panchumarthy Seetha Ramaiah

Citation:

Kadupukotla Satish Kumar, Panchumarthy Seetha Ramaiah, "Software Safety in Aviation Industry", International Journal of Computer Systems (IJCS), 3(2), pp: 121-126, February 2016. BibTeX

@article{key:article,
	author = {Kadupukotla Satish Kumar, Panchumarthy Seetha Ramaiah},
	title = {Software Safety in Aviation Industry},
	journal = {International Journal of Computer Systems (IJCS)},
	year = {2016},
	volume = {3},
	number = {2},
	pages = {121-126},
	month = {February}
	}

Abstract

On an average, more than 8 million people fly in around 100,000 commercial flights everyday around the world. Software plays a crucial role in the system. Even though accidents occur rarely and the role of software in those accidents is debatable still, learning from other domains, steps should be taken to ensure if any mishap occurs in future, software failure is not the cause for the accident. This paper proposes some safety measures that should be taken by software developers while developing software for aviation industry.

References

[1] J. C. Knight, “Safety critical systems: challenges and directions”, IEEE Proceedings of the 24th International Conference on Software Engineering. ICSE 2002, pp. 547 – 550.
[2] W. R. Dunn, “Designing safety-critical computer systems”, IEEE Transactions on Computers, Vol. 36, No. 11, pp. 40 – 46, November 2003.
[3] M Ben Swarup, P Seetha Ramaiah “A Software Safety Model for Safety Critical Applications” International Journal of Software Engineering and Its Applications Vol. 3, No.4, October 2009
[4] B P Douglass “Safety Critical Systems Design”
[5] T R S Prasad Babu, Dimmiti Srinivas Rao, Prathipati Ratna Kumar “Negative Testing is Trivial for Better Software Products”, IJRAET, Vol 3, No 1, pp:36-41, 2015
[6] Lorin J. May, "Major Causes of Software Project Failures". [Available at] http://www.cic.unb.br/~genaina/ES/ManMonth/SoftwareProjectFailures.pdf
[7] Jonathan S Ostroff “Formal methods for the specification and design of real-time safety critical systems”, Journal of Systems and Software archive, Vol 18, No 1, pp 33 - 60, April 1992
[8] W. Eric Wong, Vidroha Debroy and Andrew Restrepo, "The Role of Software in Recent Catastrophic Accidents," IEEE Reliability Society 2009 Annual Technology Report, January 2010
[9] Jonathan Bowen “Safety-Critical Systems, formal methods and standards”, Software Engineering Journal, Vol 8 ,No 4, pp 189-209, Jul 1993
[10] http://www.hq.nasa.gov/office/codeq/doctree/NS871913C.pdf
[11] http://standards.sae.org/arp4754a/
[12] http://standards.sae.org/arp4761/
[13] Ariane 501 Inquiry Board, [Available at] https://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
[14] http://sunnyday.mit.edu/papers/therac.pdf
[15] http://www.gao.gov/products/IMTEC-92-26
[16] http://mars.jpl.nasa.gov/msp98/news/mco991110.html
[17] https://www-users.cs.york.ac.uk/~philippa/IMA.html


Keywords

Software Safety, Aviation Industry.