Dynamic Adaptive Reconfigurable Systems

Dynamic adaptive reconfigurable systems provide warfighters with real-time information, model checking, and the infrastructure to support computing teams of robots and other mobile units.

Objectives

Military systems must guarantee real-time, reliable and safe operations, while performing complex and integrated functions under dynamic mission and environmental conditions. For example, in DD(X), the ship-board computing systems must preserve real-time performance and recovery properties under dynamic allocation of resources. They also require rapid resource and Quality of Service (QoS) assignment algorithms.

In a combat scenario, an unmanned aerial vehicle's on-board computing systems (chips, networks, software) must guarantee real-time and safe performance while morphing to support changing missions, sensor configurations, hardware failures, and operational constraints.

Key Technologies

We are actively supporting Lockheed Martin programs, such as DD(X), Deepwater, F/A-22 and F-35. We are a leader in the development of:

• Dynamic reconfiguration:
  • Dynamic allocation of software components to computing resources.
  • Generation of QoS settings required to achieve verifiable, real-time, application performance.
  • Real-time, fault-tolerant, transport protocols.
  • Real-time schedulability-analysis techniques for model-integrated computing.
• Mission safety:
  • Formal model checking: Modular, iterative model checking for layered systems.
  • Static analysis and abstract interpretation.
  • Runtime monitoring, checking and verification.
• Composable virtual-machine technology that provides a composable, run-time, software architecture for adaptive hardware platforms.
• Distributed computing for teams of robots and mobile, ad hoc networks (MANtes), including the infrastructure to support novel, distributed-computing applications that are not feasible without robots and MANtes.

ATL QoS webpage is a popular resource for the research and development community (atl.external.lmco.com/projects/QoS).

Applications and Transition Opportunities

We have a strong portfolio of technology transfer candidates:

• Quality of Service in support of DD(X), Deepwater, F/A-22, F-35, Vertical Launch System.
• Scheduling Tool Suite for DD(X), Deepwater, F/A-22, F-35, Vertical Launch System.
• Adaptive Reflective Middleware Systems in support of the Unmanned Combat Armed Rotorcraft and the DD(X) Ship Resource Manager.

Dynamic Adaptive Reconfigurable Systems is one of several Business Areas for the Distributed Processing Laboratory