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

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KAIST-SE-Lab/SIMVA-SoS-Lite
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 Lite

More Repositories

1

Fault-Localization-of-SoS

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

SIMVA-SoS

SIMVA-SoS: Simulation-based Verification and Analysis for SoS
Java
28
star
3

StarPlateS

Statistical Verification Framework for Platooning SoS with Uncertainty
C++
28
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