Innovative & Certifiable Complex High Assurance Applications
 Distributed Systems
The challenge of Network Centric Operation is 'getting the right information to the right person at the right time'. The ACS
department is contributing to this vision through the adaptation of service-based architectures for wireless ad-hoc networks.
The key issues being addressed are rapid and reliable service discovery, minimizing end-to-end communication latency, and
security.
High Assurance Complex Systems
We apply unique formal methods for verification and validation of high assurance complex systems. Our innovative model-based
system development process ensuring design success the first time reducing overall development costs and time, while significantly
improving system safety.
Information Assurance
Rockwell Collins is the first company in the world to receive certification for our MILS microprocessor under the new NSA
guidelines. The advanced computing group defines and analyzes secure architectures using a rigorous process resulting in NSA
approval for multi-level security chips.
Net-Centric Operations
To help enable information battle space dominance for military transformation, we are leveraging existing investments in military
programs to provide an innovative tool enhancing situational awareness for the warfighter. Through strategic application
of commercial technology, the Advanced Computing group is incorporating communications, navigation, reconnaissance and situational
awareness capabilities, and access to the GIG portal, in one handheld system.
Power Constrained Computing Systems
The Advanced Computing Systems group is aggressively developing high performance, low power, small form factor computing architectures
for mobile computing applications.  Under a recent DARPA program, software/hardware power management technologies were developed to significantly reduce the energy
demands for unmanned air vehicle missions. This research continues under a multi-year IR&D project with the focus on reducing
the power demands for small form factor SCA-compliant software defined radios.
Power Management
The Advanced Computing group, in collaboration with DARPA, is developing integrated software/hardware power management technologies
for DoD platforms - from handhelds to unmanned air vehicles. The goal is a one to three orders of magnitude reduction in the
energy demands of these systems. We are conducting focused system technology risk reduction demonstrations, highlighting a
composite of these high-payoff technologies, as applied to the Joint Tactical Radio System (JTRS).
|
