The Issues list
briefly describes, then ranks the issues and types of analysis Rockwell
Collins believes are most important when evaluating the Boeing OCP software
and the auto-generated software that uses it.
Many of the issues
are taken from the AVSI Guide to the
Certification of Systems with Embedded Object-Oriented Software, a
related FAA/NASA OOTiA Handbook, and the Boeing BCA Technical Standard for the Use of C++ in Airborne Software.
Additional issues are taken from an Office of Aviation
Research study on the use of COTS Real-time operating systems, and from the
SPARK and ISO guidelines on the use of Ada in high integrity systems.
Guidelines are
provided on how to deal with each issue, and on the relevance of the issue
to the SEC OCP.
The issues are
ranked in order of importance. Hot
button issues are marked as ‘very hot’ or ‘hot’. Significant, but less important issues are marked as
‘medium’. Remaining issues are
marked as ‘other’. Within each category, issues that are ranked higher
(have a lower numeric rank) are considered more important. A commentary is provided to justify the
ranking.
Finally an
assessment is made regarding potential tool support. We plan to take an incremental approach
to tool development. The focus in
the first increment is on the detection of potential problems and on issues
addressed by prior ISU research. In
the second increment, we will focus on adaptation and the exploration of
new areas. Adaptation may be either
fully automated or semi-automated/interactive.
