The Future Airborne Capability Environment (FACE®) Standard is an Open Architecture approach to creating reusable, interoperable software for DoD Platforms (https://www.opengroup.org/face). The FACE Consortium was formed in 2010 to define an open avionics environment for all military airborne platform types. Vanderbilt has been an Academia team member supporting the FACE standard development effort since its inception in 2009 assisting in the formative concepts and continues to provide key technical

Public transportation infrastructure is an essential component in cultivating equitable communities. However, public transit agencies have historically struggled to achieve this since they are often severely stressed in terms of resources as they have to make the trade-off between concentrating service into routes that serve large numbers of people and spreading service out to ensure that people everywhere have access to at least some service.

Cyber-Physical Systems (CPS) are composed of a wide range of networked physical, computational, and human/organization components. These systems are highly complex as they have many different heterogeneous components, such as physical, computational, and human. Simulation-based evaluation of the behavior of CPS is complex, as it involves multiple, heterogeneous, interacting domains. Each simulation domain has sophisticated tools, but their integration into a coherent framework is a difficult, time-consuming, labor-intensive, and error-prone task.

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.

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.