Cyber Physical Systems

Revolutionizing Cyber-Physical System Design with AI-Assisted Tools

The High Integrity, Performant, Efficient Realization of a SPAceborne Cryptographic Engine (HIPERSPACE) project focuses on the creation of high-assurance, high-performance implementations of cryptographic functions for deployment in low earth orbit. This is Galois’s first project for the U.S. Space Development Agency (SDA).

Advanced Learning Algorithms to Improve Security of Embedded Cyber-Physical Systems

Safe and Secure Medical and Industrial IoT Devices

Analyzing Complex Systems to Predict and Mitigate Vulnerability to Cyber-Attacks

Model-based Toolset and Contract Language for Code Generation and Verification

Human-rated space systems – everything from launch vehicles to spacesuits to surface habitats to lunar rovers – require extensive failure recovery planning to deal with the risks of operating in the unforgiving environment of space. For a given failure scenario, recovery planning must account for key systems like life support, navigation, propulsion, and communication. The […]

MAUDE simplifies the design and analysis of complex systems, such as networks of medical devices in a hospital, to create safe and secure systems that balance properties such as power usage, network capacity, processor speeds, and data protection.  

Automated Information Flow Analysis

SESSAF allows system engineers to identify complex safety and security hazard scenarios, particularly in software reliant systems. With it, engineers can perform safety and security risk analysis on AADL models, and are provided guidance in applying risk controls that can mitigate safety threats. SESSAF supports Systems-Theoretic Process Analysis (STPA), a risk analysis technique for identifying […]

The Software Fault Encouragement (SFE) project aims to improve the security of legacy cyber systems by turning exploitable software errors into fail-stop conditions while imposing minimal run-time overhead.  Turning errors into fail-stop conditions prevents large classes of cyber attacks and minimizes the exploit window available to attackers.  In systems with built-in fault tolerance, this cyber […]

In this AFRL-funded project, Galois developed TrackOS, a real-time operating system (RTOS) that provides a new technique for detecting malware on real-time embedded systems.

In this NASA-funded project, Galois and NASA built software to detect failures in commercial avionics systems.

Funded by NASA, the AFFIRM (Architectural Framework for Integrated Refinement Modeling) project aims to develop an integrated abstraction framework to support the capture of system architecture, system behavior, and system and environment fault modeling.

Galois has built two new domain-specific languages (DSLs) and used them to develop a “hack-proof,” full-featured, unpiloted air system. The secret to our increased productivity and assurance was building embedded DSLs, in which the DSLs are libraries in Haskell. We generate embedded C code that is guaranteed to be memory-safe from a relatively small specification.