Free (standard conforming) library to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functions and functions for strings, files and streams are included.

MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet

Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol

🏭 ↔️ 👥 Digital Twin as a Service

Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.

Neural Network Verification Software Tool

Virtual Reality Software Library

Welcome Cybersecurity's World. An ongoing & curated collection of awesome software best practices and techniques, libraries and frameworks, E-books and videos, websites, blog posts, links to github Repositories, technical guidelines and important resources in Cybersecurity.

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

A Framework for Generating and Executing Digital Twins

Computing reachable states of dynamical systems in Julia

A wireless infusion pump system workbench for security research

The Verifiably Safe Reinforcement Learning Framework

ЭМИИА — машинное радиозрение. Распознавание образов, вычисление координат и скорости динамических объектов посредством радиоволн, в том числе и за радиопрозрачными преградами.

C++ framework for rigorous computation on cyber-physical systems

A C++ SDK for building cyber-physical applications using the Accessor Model

Automated Security Risk Identification Using AutomationML-based Engineering Data

ForSyDe's Haskell-embedded Domain Specific Language

Projects, models, and proofs in KeYmaera X