KAIST-SE-Lab/SIMVA-SoS KAIST-SE-Lab/SIMVA-SoS

  • Stars
    star
    28
  • Rank 878,008 (Top 18 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created about 8 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KAIST-SE-Lab/SIMVA-SoS
github

KAIST-SE-Lab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SIMVA-SoS: Simulation-based Verification and Analysis for SoS

More Repositories

1

Fault-Localization-of-SoS

Spectrum-based fault localization on collaboration graph of System-of-Systems
Python
30
star
2

StarPlateS

Statistical Verification Framework for Platooning SoS with Uncertainty
C++
28
star
3

SIMVA-SoS-Lite

SIMVA-SoS Lite
Java
13
star
4

Platooning-LEGOs

Platooning LEGOs: an open physical exemplar for engineering self-adaptive cyber-physical system-of-systems
Python
7
star
5

PASTA

PASTA: an efficient proactive adaptation approach based on statistical model checking for self-adaptive systems
Java
2
star
6

Toy-SoS

Java
1
star
7

SimEngine_for_SoSE

Java
1
star
8

AutoIntegrationMachine

Automated Integration Machine for fault tree and attack trees
Python
1
star
9

SIMVA-SoS-Lite-New

Java
1
star