This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Safety Analysis for Aeronautical Applications Software
Annotation ability available
Sector:
Event:
SAE Brasil '94
Language:
English
Abstract
The aeronautical industry has been introducing the computer technology, with an increasing pace, to accomplish different functions, with high levels of complexity, both in ground-based support activities and in embedded aircraft systems. This technological innovation brings not only improvements but also new and challenging problems, such as the case of digital equipment performance and behavior assessment and its influence on flight safety.
In the case of embedded technology, a whole knowledge of its properties is necessary, due to its critical-safety characteristics. As for software, especially in embedded use, the required understanding about its operational behavior may be a hard task to accomplish. That is because there is still no general accepted quantitative technique for the software performance assessment.
This paper surveys the informatics use evolution in aeronautical industry, the characteristics of embedded software, and the related concerns about this kind of application. It follows a discussion about reliability in aeronautical systems and procedures for software safety analysis. Finally it presents some methodologies for this type of analysis, regarding quality improvements and better confidence in embedded software operations.
Recommended Content
Authors
Topic
Citation
de Moura, C., Santellano, J., and da Cunha, A., "Safety Analysis for Aeronautical Applications Software," SAE Technical Paper 942370, 1994, https://doi.org/10.4271/942370.Also In
References
- ADAM, John A. Aerospace and military IEEE Spectrum 29 1 58 60 Jan. 1992
- ADAM, John A. Warfare in the information age IEEE Spectrum 28 9 26 33 Sept. 1991
- ADAMS, Edward N. Optimizing preventive service of software products IBM Journal of Research and Development 28 1 2 14 Jan. 1984
- BARCZAL. C. L. AZEVEDO, I. A. Anais 1985 295 03 23
- BORNING, Alan Computer system reliability and nuclear war Communications of the ACM 30 2 112 131 Feb. 87
- BUSINESS WEEK The high-tech war machine New York McGraw-Hill 18 21 4 Feb. 1991
- BUSINESS WEEK Who cleared these airlines for takeoff? New York McGraw-Hill 18 19 20 June 1994
- BUTLER, Ricky W. FINELLI, George B. The infeasibility of quantifying the reliability of life-critical real-time software IEEE Transactions on Software Engineering 19 1 3 12 Jan. 1993
- DUPONT, Jean Air & Cosmos 1368 26 27 2-8 mars 1992
- EHRENFELD, David A arrogância do humanismo Rio de Janeiro Campus 1992
- FISCHETTI, Mark A. PERRY, Tekla S. What price safety? IEEE Spectrum 23 11 80 Nov. 1980
- FORESTER, Tom MORRISON, Perry Revista de Administração de Empresas 31 4 73 83 1991 Translation from: Computer unreliability and social vulnerability Future Journal in England 22 5 462 474 June 1990
- GHEZZI, Carlo JAZAYERI, Mehdi MANDRIOLI, Dino Fundamentals of software engineering Englewood Cliffs, N.J. Prentice-Hall 1991
- GUPTA, S. C. Role of software in launch vehicle technology 1 39 57 1982 Vikran Sarabhai Space Centre ISRO, Thiruvananthapuram
- HABER, Ralph Norman Flight simulation Scientific American Trends in Computing 1 140 144 Sept. 1988 July 1986
- HANSEN, Mark D. Survey of available software-safety analysis techniques ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 1989 Proceedings… IEEE 1989 46 48
- HEIL, James H. Practical applications of software quality assurance to mission-critical embedded software SCHULMEYER, G. Gordon McMANUS, James J. Handbook of software quality assurance 2 New York Van Nostrand Reinhold 343 397 1992
- JINO, Mario CARVALHO, Mario Bento TRAINA, Caetano Jr. Controle e Automação 1 2 99 109 1987
- KLETZ, Trevor A. O que houve de errado? São Paulo Makron Books 1993
- LABORIE, Jean-Pierre Paris La Nouvelle Revue d'Aéronautique et d'Astronautique 3 50 57 oct. 1993
- LEVESON, Nancy G. CHA, Stephen S. SHIMEALL, Timothy J. Safety verification of ADA programs using software fault trees IEEE Software 48 59 July 1991
- LEVESON, Nancy. G. Software safety in embedded computer systems Communications of the ACM 34 2 34 46 Feb. 1991
- LEVESON, Nancy G. Software safety: why, what, and how ACM Computing Surveys 18 2 125 163 June 1986
- LEVESON, Nancy. G. STOLZY, Janice. L. Safety analysis using Petri Nets IEEE Transactions on Software Engineering 13 3 386 397 Mar. 1987
- LEVESON, Nancy G. TURNER, Clark S. An investigation of the Therac-25 accidents Computer 26 7 18 41 July 1993
- LITTLEWOOD, Bev STRIGINI, Lorenzo The risks of software Scientific American 267 5 38 43 Nov. 1992
- MORGAN, M. G. Probing the question of technology-induced risk IEEE Spectrum 18 11 58 64 Nov. 1981
- MORGAN, M. G. Risk assessment: choosing and managing technology-risk IEEE Spectrum 18 12 53 60 Dec. 1981
- MOURA, Carlos A. T. SANTELLANO, Jony CUNHA, Adilson M. 1994 1994 392 93 100 94
- MOURA, Carlos A. T. SANTELLANO, Jony CUNHA, SP: UNESP nov. 1994
- MOURA, Carlos A. T. SANTELLANO, Jony Avaliação de acidentes/incidentes envolvendo sistemas computadorizados em aplicações críticas SP: ITA-GPAQS 1994
- PALUMBO, Dan Digital avionics Aerospace America 31 12 46 47 Dec. 1993
- PERRY, Brian L. The probabilistic approach to safety The certification of digital systems SP: IFI/CTA 21 25 1994 “Digital Aircraft Systems Certification course”
- PRESSMAN, Roger. S. Software engineering : a practitioner's approach 3 New York McGraw-Hill 1992
- PUYPLAT, Didier A320: First of the computer-age aircraft Aerospace America 29 5 28 30 May 1991
- ROSA, Luiz Pinguelli O Brasil nuclear 31 48 1987
- RUSHBY, John M. HENKE, Friedrich von Formal verification of algorithms for critical systems IEEE Transactions on Software Engineering 19 1 13 23 Jan. 1993
- SYSTEM design and analysis Hoofddorp, The Netherlands Joint Aviation Authorities 3 12 3 33 1990
- SOFTWARE considerations in airborne systems and equipment certification Washington, DC 1992
- SPECTOR, Alfred Z. Computer software for process control Scientific American 251 3 127 38 Sept. 1984
- SPITZER, Cary R. All-digital jets are taking off IEEE Spectrum 23 9 51 56 Sept. 1986
- STlX, Gary Aging airways Scientific American 270 5 70 78 May 1994
- SWEETMAN, Bill Computers: The new military force CAMPBELL, Christy Understanding military technology Middlesex, England Hamlyn Publishing 11 25 1985
- TOONG, Hoo-min D. GUPTA, Amar Personal computers Scientific American 247 6 88 99 Dec. 1982
- VOELCKER, John ‘Gold-plated’ design IEEE Spectrum 23 11 56 66 Nov. 1986