 |
Demonstrate a prototype scalable operating system that incorporates
high assurance capabilities supporting real-time, distributed, and
limited fault-tolerant scalable computing applications
|
|
Demonstrate and make available higher assurance components for
distributed operating systems
|
|
Develop architectures for high speed key management processors
or servers
|
|
Demonstrate an extended set of interface protocols and integration
capabilities for the design, planning, and production of mechanical production
|
|
Publish an extended series of interface specification documents
for integrating software for manufacturing applications
|
