Future Airborne Capability Environment (FACE) Support (2021)
The Future Airborne Capability Environment (FACE) Approach is a Government-industry developed software standard and business strategy with the goals to:
• Increase the affordability of capabilities
• Improve time-to-field, delivering new capabilities to the warfighter faster
The FACE Approach integrates technical and business practices that establish a standard common operating environment to support portable capabilities across avionics systems.
Air Taxi (Hybrid or Electric) aero Nautical Simulation (ATHENS)
Automated design processes, especially using Machine Learning/AI techniques, require proposed systems to be evaluated across all relevant attributes, requirements, and concerns. Traditionally, teams create models in a set of engineering tools for design evaluation data.
CODES: Compositional DSLs for Enhancing Software
The goal of this project is to study how domain-specific languages (DSLs) can be used to represent components of legacy systems and to use the DSLs to enhance those components. The project involves formal methods, compilers, and program analysis, such as symbolic execution.
Integrated Microgrid Control Platform (IMCP)
This project aims at developing and demonstrating a highly reusable ‘software platform’ that can be easily adapted to and used in various microgrid configurations.
Design.R – AI-assisted CPS Design
The project is part of the Symbiotic Design for CPS (SDCPS) program, with a goal to develop AI-based approaches to enable correct-by-construction design of military-relevant CPS.
Assurance-based Learning-enabled Cyber-Physical Systems (ALC)
Autonomous vehicles (cars, drones, underwater vehicles, etc.) have started using software components that are built using machine learning techniques. This is due to the fact that these vehicles must operate in highly uncertain environments and that we cannot design a correct algorithm for all possible situations.