Kelly J. Hayhurst
Safety-Critical Avionics Systems Branch
E-mail: kelly.j.hayhurst@nasa.gov
Kelly is a research scientist working in the area of design correctness
and certification. Other areas of interest include reliability analysis,
operations research, and experiment design. Kelly received her B.A. degree in
mathematics from Virginia Tech in 1985 and an M.A. degree in
mathematics/operations research from the College of William and Mary in
1989. She started her career at NASA Langley in 1982 as a cooperative
education student.
Since 1988, her research work has focused primarily on issues involving
the development of software in compliance with regulatory standards used
by the aviation community -- namely, RTCA/DO-178B Software Considerations
in Airborne Systems and Equipment Certification.
OOTiA -- Object Oriented Technology in Aviation
The OOTiA program was started in response to increased interest in industry
in using object orientation in the development of aviation software. Within
this program, NASA and FAA are collaborating with industry, military, and
academia to identify and address safety and certification concerns associated
with object orientation. As part of this program, NASA Langley is sponsoring
workshops to identify issues and guidelines for the safe use of OO.
Study of Qualification Criteria for Software Verification Tools
The purpose of this FAA-sponsored project is to evaluate current regulatory
criteria for qualifying software verification tools used for aviation
software and to determine if additional or alternate criteria are needed to
ensure suitability of structural coverage analysis tools for meeting
regulatory requirements. The scope of this study is limited to structural
coverage analysis tools, especially those tools that provide analysis of
modified condition/decision coverage (MC/DC).
Modified Condition/Decision Coverage (MC/DC) Tutorial
In cooperation with Rockwell Collins Inc, the Boeing Company, and the FAA,
we have produced a
tutorial on MC/DC that provides a practical approach to evaluating
MC/DC on a Level A software project and assessing whether the MC/DC objective
has been satisfied.
GCS -- Guidance and Control Software Project
The GCS project was a case study involving the development of guidance
and control software in compliance with the life cycle processes for Level
A software defined in the DO-178B guidelines. The compliance data from
the GCS project has been used extensively by the FAA for training.
SSAC -- Streamlining Software Aspects of Certification
The FAA started the SSAC program to address concerns about excessive cost
and time associated with software approval, in particular, software approval
in compliance with DO-178B. As part of this program, Kelly led team of
technical experts to attempt to determine whether the cost and time associated
with certifying aircraft can be reduced without compromising safety. The
team collected data about cost and schedule drivers through a number of
industry workshops and an industry-wide survey.
Curator
and Responsible NASA Official:
Kelly J. Hayhurst
Privacy
Policy and Important Notices
last modified: 23 August 2007 (08:37:24)
|