15 results found Sort:

Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
Created 2018-07-20
1,488 commits to main branch, last one about a year ago
Free (standard conforming) library to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functi...
Created 2013-04-02
8,291 commits to master branch, last one 5 days ago
Automated Payload Reverse Engineering Pipeline for the Controller Area Network (CAN) protocol
Created 2019-03-08
40 commits to master branch, last one 3 years ago
43
184
apache-2.0
10
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 Re...
Created 2021-12-04
153 commits to main branch, last one 21 days ago
70
168
mit
16
MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
Created 2015-04-10
745 commits to master branch, last one about a year ago
:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service
Created 2022-08-18
147 commits to feature/distributed-demo branch, last one 2 months ago
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Created 2015-08-26
16,739 commits to master branch, last one 4 months ago
A Framework for Generating and Executing Digital Twins
Created 2018-01-27
29 commits to master branch, last one 3 years ago
Reachability and Safety of Nondeterministic Dynamical Systems
Created 2017-10-12
1,287 commits to master branch, last one 3 years ago
5
31
unknown
1
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'
Created 2022-08-08
3 commits to master branch, last one 2 years ago
5
29
agpl-3.0
3
Maritime Cyber Security Testbed
Created 2023-01-14
16 commits to main branch, last one 10 months ago