Open Menu
About
Research Lab
Studies
Overview of SESoS Research
[Study 1] SoS and Environment Modeling
1) SoS Meta-Models for Simulaton & Verification: M2SoS (v2) and Model Types
2) Environment Modeling of SoS
3) Policy Specification for SoS
4) SoS Modeling Language
5) High-level Architecture
[Study 2] Statistical Verification of SoS
1) Statistical Model Checking
2) Agent-based Simulation
3) ABC and ABC+ Modeling
4) Interactive Simulation
5) Runtime Monitoring & Verification Technique
[Study 3] Property-based Model Slicing for Efficient SoS Verification
1) SoS Goal Model Slicing
2) SoS Simulation Model Slicing
3) Hybird SoS Model Slicing
Documents
Publications
Technical Paper
Scenario Development
Dictionary
Tools and Artifacts
SIMVA-SoS Modeler
Research prototyping
Research prototyping with PRISM
Research prototyping with DEVS
Research prototyping with UPPAAL
Opensource Tools
SIMVA-SoS
SoS Modeling Tool for Simulation
SoS Goal Model Slicer
SoS Simulation Model Slicer
Dynamic SIMVA-SoS
Software Artifacts
Tutorials
SysML
UML MARTE
CML
DEVS and System Dynamics
ADOxx
Seminars
[Study 2] Statistical Verification of SoS
Research Topics
See
<Statistical Model Checking>
See
<Agent-based Discrete Time Simulation>
See
<ABC and ABC+ Modeling>
See
<Interactive Simulation>
See
<Runtime Monitoring & Verification Technique>
