Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.
/ v3-awas Public archive

Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

awas.sireum.org/
7 stars 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

sireum/v3-awas

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

210 Commits

.github/workflows

.github/workflows

 
 

js/src/main

js/src/main

 
 

jvm/src

jvm/src

 
 

shared/src/main/scala/org/sireum/awas

shared/src/main/scala/org/sireum/awas

 
 

buildAwasDebugJar.sh

buildAwasDebugJar.sh

 
 

buildAwasJar.sh

buildAwasJar.sh

 
 

buildSireumJar.sh

buildSireumJar.sh

 
 

jitpack.yml

jitpack.yml

 
 

readme.md

readme.md

 
 

shippable.yml

shippable.yml

 
 

Repository files navigation

About

Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

awas.sireum.org/

Topics

fault-tree risk-analysis static-analysis dependency-analysis dependency-graph aadl domain-specific-language fault-detection information-flow stpa sireum hazard-analysis-framework

Resources

Readme
Activity
Custom properties

Stars

7 stars

Watchers

8 watching

Forks

1 fork
Report repository

Releases 1

End of sscate Latest
Oct 8, 2018

Packages

No packages published

Contributors 2

  •  
  •  

Languages