KAIST SE Lab

KAIST SE Lab's repositories

Spectrum-based fault localization on collaboration graph of System-of-Systems

Language:Python28 40

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

Language:JavaApache-2.02800

Statistical Verification Framework for Platooning SoS with Uncertainty

Language:C++GPL-3.02800

SIMVA-SoS Lite

Language:JavaApache-2.013 120

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

Language:PythonApache-2.07 40

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

Language:Java2 20

Automated Integration Machine for fault tree and attack trees

Language:Python100

Language:Java1 30

Language:Java1 20

Language:Java100

Language:Java030

Archive for investigated platooning SoS experimental data and fault knowledge base

030

030

030

Language:JavaGPL-3.0000