Popular repositories

1. SIMVA-SoS SIMVA-SoS Public

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

   Java 28 10

2. Fault-Localization-of-SoS Fault-Localization-of-SoS Public

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

   Python 28 1

3. StarPlateS StarPlateS Public

   Statistical Verification Framework for Platooning SoS with Uncertainty

   C++ 28 1

4. SIMVA-SoS-Lite SIMVA-SoS-Lite Public

   SIMVA-SoS Lite

   Java 13 2

5. Platooning-LEGOs Platooning-LEGOs Public

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

   Python 7 2

6. PASTA PASTA Public

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

   Java 2