Aerospace: DARPA System F6 program
Remedy IT has participated in the DARPA System F6 program (F6 is short for Future, Fast, Flexible, Fractionated, Free-Flying Spacecraft united by Information eXchange).
F6 is a dynamic spacecraft platform, where applications are added and removed in flight. The validation and verification process has to be extensive and performed on the individual applications, as well as the entire system configuration. Modularity and compositional verification techniques are essential in this process.
A fractionated spacecraft is a cluster of independent modules that interact wireless to maintain cluster flight and realize the functions usually performed by a monolithic satellite. This spacecraft architecture poses novel software challenges because the hardware platform is inherently distributed, with highly fluctuating connectivity among the modules. It is critical for mission success to support autonomous fault management and to satisfy real-time performance requirements.
The F6 Information Architecture follows the principles and techniques of model-driven development hence the name: F6 Model-driven Architecture (F6MDA) for the overall approach. The F6MDA is supported by the F6 Model-driven Development Kit (F6MDK), a software infrastructure with both runtime and design-time elements.
The F6MDA is a specific instantiation of the OMG MDA. It has several layers including:
An operating system that provides core abstractions for concurrency, synchronization, resource management, and secure communications (F6OS)
A restricted middleware layer that implements only the essential communication services for the distributed system (F6ORB)
A layer that defines how components are built and how applications are constructed from components (F6COM).
The team designed and implemented a new information architecture for fractionated satellites, which includes a multi-level secure operating system, middleware that provides facilities for high-level component interactions, a component model to build applications, and a model-based development tool. The program is dedicated to OpenSource and OpenStandards.
Remedy IT participated as part of the Vanderbilt team. The total project was a joint effort with: Vanderbilt ISIS (prime), Object Computing Inc, Saffire Systems, Kestrel Institute.
Remedy IT has worked primarily on the F6 component model. This component model is based on the existing CCM, DDS4CCM, and AMI4CCM specifications for which Remedy IT has been a major driving force over recent years. Various areas are being extended and reworked so that they can be used for the F6 model driven architecture.