The OO related
patterns appearing in the SEC catalog
have been included in the Object-Oriented Technology in Aviation
(OOTiA) Handbook to be published by the FAA and NASA later this year.
This work, in
turn, has influenced a number of commercial tool vendors and other research
into tool support for the analysis of high assurance software sponsored by
Boeing at Georgia Tech.
These same
patterns have also been included in the Aerospace Vehicle Systems Institute
(AVSI) Guide adopted by Rockwell Collins, Boeing, Honeywell, and Goodrich.
The High Assurance
software patterns appearing in the SEC catalog have also influenced the
request for proposal (RFP) being developed at the OMG for a High Assurance
version of CORBA.
Commercial support
for the patterns and tools developed as part of this project will be
provided by Ensoft.
A number of people
have expressed an interest in the use of these patterns and tools in high
assurance software systems, including Geneva Aerospace, and two Rockwell
Collins product area organizations.
Ensoft Corporation
also intends to extend the basic approach into other non safety-critical
domains such as banking and finance, and to address issues related to
legacy software migration and the porting of software to new platforms.
