https://github.com/sireum/v3-awas

Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems
https://github.com/sireum/v3-awas

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

Last synced: 4 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/sireum/v3-awas
• Owner: sireum
• Created: 2016-01-31T16:05:48.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-05-10T22:01:20.000Z (about 2 years ago)
• Last Synced: 2024-01-27T03:41:14.258Z (6 months ago)
• Topics: aadl, dependency-analysis, dependency-graph, domain-specific-language, fault-detection, fault-tree, hazard-analysis-framework, information-flow, risk-analysis, sireum, static-analysis, stpa
• Language: JavaScript
• Homepage: http://awas.sireum.org/
• Size: 51 MB
• Stars: 5
• Watchers: 8
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: readme.md

Lists

• awesome-starred - sireum/v3-awas - Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems (others)

README

        
# Awas: A Model Analysis Tool

[![V2-sscate](https://jitpack.io/v/sireum/v3-awas.svg)](https://jitpack.io/#sireum/v3-awas)

### Pre-Requisite

  1. [Sireum](http://logika.sireum.org/doc/01-getting-started/index.html)

  2. [Git (optional)](https://git-scm.com/downloads)

### Installation

[Awas Development Setup](http://awas.sireum.org/doc/01-getting-started/index.html)