The FACE(TM) 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 guidance in many areas of the FACE Con

This project entitled "Verification of Autonomous Systems" sponsored by the Air Force Office of Scientific Research, is looking at ways to formally verify that systems that may operate on their own or autonomously meet their requirements.

Developing a modern technical product such as a car, plane, or a complex medical device includes designing the complex interplay between sensors (which measure physical product and environment state) and actuators (such as small electric motors that control the product).

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.