High assurance software issues
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.
Related documents: Issues list
| AVSI Guide | OOTiA web site | OOTiA Handbook | ISO Ada Guide | SPARK | LSP
| Offutt slides, paper
Home | Issues | Vision | XCIL | XPSL |
Pattern catalogs | KCS tools | Results | Services
| Standards | Tech
transfer
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. Home | Issues
| XCIL | XPSL |
Pattern catalogs |
KCS tools | OCP results |
OCP verification
