Best practices in code inspection for safety-critical software

IEEE Software

Volumn 20, Issue 3, 2003, Pages 56-63+4

  De Almeida Jr , Jorge Rady ^a   Camargo Jr , Joao Batista ^a   Basseto, Bruno Abrantes ^a   Paz, Sérgio Miranda ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS; MICROPROCESSOR CHIPS;

SAFETY-CRITICAL SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0037618909     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2003.1196322     Document Type: Article

References (15)

1. I.B. Pirie, "Software - How Do We Know It Is Safe?" Proc. 1999 IEEE/ASME Joint Railroad Conf., IEEE Press, 1999, pp. 122-129.
2. N.G. Leveson, Safeware: System Safety and Computers, Addison-Wesley, 1995.
3. M. Henricson and E. Nyquist, Programming in C++, Rules and Recommendations, Document M 90 0118 Uen, Ellemtel Telecommunication Systems Laboratories, 1992.
4. W.D. Yu, "A Software Fault Prevention Approach in Coding and Root Cause Analysis," Bell Labs Tech. J., vol. 3, no. 2, Apr.-June 1998, pp. 3-21.
5. CEI IEC Std. 61508-3 - Functional Safety of Electrical/Electronic/Programmable Electronic Safely-Related Systems, Int'l Electrotechnical Commission, 1997.
6. M.S. Krishnan and M.I. Kellner, "Measuring Process Consistency: Implications for Reducing Software Defects," IEEE Trans. Software Eng., vol. 25, no. 6, Nov./Dec. 1999, pp. 800-815.
7. C.B. Seaman, "Qualitative Methods in Empirical Studies of Software Engineering," IEEE Trans. Software Eng., vol. 25, no. 4, July/Aug. 1999, pp. 557-572.
8. R. Singh, "A Systematic Approach to Software Safety," Proc. 6th Asia Pacific Software Eng. Conf., IEEE CS Press, 1999, pp. 420-423.
9. B. Cheng and J. Ross, "Comparing Inspection Strategies for Software Requirement Specifications," Proc. Australian Software Eng. Conf., IEEE CS Press, 1996, pp. 203-211.
10. M. Fagan, "Design and Code Inspections to Reduce Errors in Program Development," IBM Systems J., vol. 15, no. 3, 1976, pp. 182-211.
11. T. Gilb and D. Graham, Software Inspection, Addison-Wesley, 1994.
12. S. Biffl and M. Halling, "Software Product Improvement with Inspection," Proc. 26th Euromicro Conf., vol. 2, IEEE CS Press, 2000, pp. 262-269.
13. Y. Chernak, "A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement," IEEE Trans. Software Eng., vol. 22, no. 12, Dec. 1996, pp. 866-874.
14. R.R. Lutz et al., "Safety Analysis of Requirements for a Product Family," Proc. 3rd Int'l Conf. Requirements Eng. (ICRE 98), IEEE CS Press, 1998, pp. 24-33.
15. A. Porter and L. Votta, "Comparing Detection Methods for Software Requirements Inspections: A Replication Using Professional Subjects," Empirical Software Eng., vol. 3, no. 4, Dec. 1998, pp. 355-379.