==================================================================== FOR COLLOQUIUM SCHEDULING INFORMATION TYPE getgrades ibl colloq AT THE UNIX PROMPT. The schedule is also available at http://www.cs.odu.edu/~ibl/colloq.html ==================================================================== Welcome to our opening colloquium! COMPUTER SCIENCE COLLOQUIUM WEDNESDAY FEBRUARY 5 TECHNOLOGY BUILDING ROOM 243 TIME: 2:00 (DONUTS) 2:15 (TALK) NASA investigation of the DO-178B guidelines for software development certification by the FAA. Kelly Hayhurst NASA Langley Research Center Software is playing an increasingly significant role in today's critical avionics systems. In an effort to achieve safe, reliable software, government regulating agencies such as the Federal Aviation Administration (FAA) and the Department of Defense mandate the use of certain software development methods. As part of a research program studying the correlation between software development methods and product quality, NASA Langley Research Center conducted a case study of the RTCA/DO-178B guidelines, "Software Considerations in Airborne Systems and Equipment Certification". All civil transport airframe and equipment vendors are expected to comply with these guidelines when building systems to be certified by the FAA for use in commercial aircraft. For the case study, two implementations of a guidance and control application were developed to comply with the DO-178B guidelines for Level A (critical) software. The development included requirements, design, coding, verification, configuration management, and quality assurance processes. This presentation will include an overview of the DO-178B guidelines, the life cycle development activities covered in the case study, and results of the project.Times