Repositories list

• StarPlateS

  Public
  Statistical Verification Framework for Platooning SoS with Uncertainty

  C++

  •

  GNU General Public License v3.0

  •22 forks•2828 stars•00 issues•00 pull requests•Updated Oct 12, 2022Oct 12, 2022

• Platooning-SoS-Archive

  Public
  Archive for investigated platooning SoS experimental data and fault knowledge base

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 29, 2021Jul 29, 2021

• SimEngine_with_ScenarioManager

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2021Jun 18, 2021

• SimEngine_with_PolicyManager

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2021Jun 18, 2021

• SimEngine_for_SoSE

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 3, 2021Jun 3, 2021

• Platooning-LEGOs

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

  Python

  •

  Apache License 2.0

  •22 forks•77 stars•00 issues•00 pull requests•Updated May 22, 2021May 22, 2021

• SIMVA-SoS-Lite-New

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 10, 2021Mar 10, 2021

• GeoMapBuilder-for-SoS

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 25, 2021Feb 25, 2021

• SIMVA-SoS-Lite-Example

  Public
  Java

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 24, 2021Feb 24, 2021

• PASTA

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

  software-engineeringself-adaptive-systems

  software-engineeringself-adaptive-systems

  Java

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jan 8, 2021Jan 8, 2021

• Toy-SoS

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 5, 2021Jan 5, 2021

• SIMVA-SoS-Lite

  Public
  SIMVA-SoS Lite

  Java

  •

  Apache License 2.0

  •22 forks•1313 stars•00 issues•00 pull requests•Updated Nov 26, 2020Nov 26, 2020

• SIMVA-SoS

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

  Java

  •

  Apache License 2.0

  •1010 forks•2929 stars•00 issues•00 pull requests•Updated Nov 17, 2020Nov 17, 2020

• AutoIntegrationMachine

  Public
  Automated Integration Machine for fault tree and attack trees

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 20, 2020Jan 20, 2020

• Fault-Localization-of-SoS

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

  Python

  •11 fork•3030 stars•00 issues•00 pull requests•Updated Aug 14, 2019Aug 14, 2019