Title :
Design tool assessment for safety-critical software development
Author :
Kornecki, Andrew J. ; Zalewski, Janusz
Author_Institution :
Dept. of Comput. & Software Eng., Embry-Riddle Aero Univ., Daytona Beach, FL, USA
Abstract :
The paper presents taxonomy of criteria and procedures for evaluating software development tools used in safety-critical real-time systems. The ultimate purpose of the research is to provide a base for creation of guidelines for the tool certification process. The specific application area is airborne software and appropriate references are made to the accepted RTCA DO-178B guidelines. The software design and coding processes are focal point of tool assessment. The paper presents the industry viewpoint, tool qualification and evaluation criteria, and an active experiment serving as a test-bed for collecting software development effort data and engineering observations supporting the tool assessment methodology.
Keywords :
program testing; real-time systems; safety-critical software; software performance evaluation; software tools; RTCA DO-178B guidelines; airborne software; design tool assessment; real-time systems; safety-critical software development; software coding; software design; Application software; Certification; Computer industry; Guidelines; Programming; Pulp and paper industry; Qualifications; Real time systems; Software design; Taxonomy;
Conference_Titel :
Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard
Print_ISBN :
0-7695-2064-2
DOI :
10.1109/SEW.2003.1270732