Digital engineering -CPS Behavior Modeling and Beyond

Digital engineering (DE) is gaining momentum as the system engineering community matures practices and tooling. In its present avatar, DE workflows and tools rely on MBSE (Model-Based Systems Engineering) for developing and maintaining digital system artifacts and keeping these artifacts in sync during all phases of the system. This is presently achieved via descriptive models […]

Read More

U.S. Government Programs Need Authoritative Sources of Truth Aligned with Multi-organization Workflows

Systems engineering has come a long way since the 1960s. Defense and aerospace data management systems, which initially evolved under a centralized authority, must now adapt to highly distributed organizations with multiple authorities and open and modular development needs. Organizational management techniques have evolved to smooth logistics and collaboration between contributors, and data management and […]

Read More

Vehicle E/E Architectures – The Last Ten Years and the Future

Before diving in, I’d like to acknowledge our amazing partners in this research, DGTech and Transportation Research Center Inc., and share a quick disclaimer. This material is based upon work done in partnership with DGTech and Transportation Research Center Inc., and supported by National Highway Traffic Safety Administration (NHTSA). Any opinions, findings, conclusions, or recommendations expressed […]

Read More

Driving to a Secure Future: Demonstrating a Vehicle That Thwarts Cyberattacks

The National Cryptologic Museum opened its doors to the public last week. As part of the exhibits, visitors will be able to interact with a quirky little car with a big claim: under the hood, it demonstrates hardware that can thwart many cyberattacks on automobiles. The BESSPIN Vehicle Demonstrator DARPA’s System Security Integration Through Hardware […]

Read More

Taphos: Modernizing the Approach to Modifying Large Scale Legacy Software in Cyber-Physical Systems

Following our previous blog post, The Next Assembly Line, Galois continues our quest to invent tooling that can transform the DevOps process for developing and maintaining software. One of the unwritten pieces of common knowledge in software is that software rarely meets the models of design as implemented. As such, the notion of utilizing modern, […]

Read More

Head-to-Head Races: How Galois Placed First in the GRAIC

The Challenge At Galois, we verify and assure complex critical systems. Autonomous vehicles are prime examples of complex systems which operate in uncertain and unstructured environments. Autonomous driving decisions use Deep Neural Networks (DNNs) which are data-driven and can react in unsafe ways when faced with out-of-distribution driving scenarios. Rigorously assuring the safety of these systems […]

Read More