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.

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

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

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.

Computing reachable states of dynamical systems in Julia

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

🏭 ↔️ 👥 Digital Twin as a Service

Virtual Reality Software Library

Neural Network Verification Software Tool https://www.verivital.com Documentation:

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

A Framework for Generating and Executing Digital Twins

The Verifiably Safe Reinforcement Learning Framework

Reachability and Safety of Nondeterministic Dynamical Systems

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

This repo contains all the codes and data for 'Blending Data and Physics Against False Data Injection Attack: An Event-Triggered Moving Target Defence Approach'

Maritime Cyber Security Testbed

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

Automated Security Risk Identification Using AutomationML-based Engineering Data

This repository contains the dataset developed in paper, "Cyber-Physical Intrusion Detection System for Unmanned Aerial Vehicles."

This repo contains code and visualisation for "Robust moving target defence against false data injection attacks in power grids"