KAIST-SE-Lab/StarPlateS KAIST-SE-Lab/StarPlateS

  • Stars
    star
    28
  • Rank 878,008 (Top 18 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 5 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KAIST-SE-Lab/StarPlateS
github

KAIST-SE-Lab

Reviews

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

Repository Details

Statistical Verification Framework for Platooning SoS with Uncertainty

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

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