Tech
transfer
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.
Related documents: OOTiA web site | OOTiA Handbook | AVSI Guide | HA CORBA RFP | Ensoft Corp.
Home | Issues | Vision | XCIL | XPSL |
Pattern catalogs | KCS tools | Results | Services
| Standards | Tech
transfer