{"id":13929915,"url":"https://github.com/sireum/v3-awas","last_synced_at":"2025-07-19T12:31:01.526Z","repository":{"id":69353589,"uuid":"50782574","full_name":"sireum/v3-awas","owner":"sireum","description":"Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems","archived":true,"fork":false,"pushed_at":"2022-05-10T22:01:20.000Z","size":53479,"stargazers_count":7,"open_issues_count":1,"forks_count":1,"subscribers_count":8,"default_branch":"master","last_synced_at":"2024-11-26T19:36:39.591Z","etag":null,"topics":["aadl","dependency-analysis","dependency-graph","domain-specific-language","fault-detection","fault-tree","hazard-analysis-framework","information-flow","risk-analysis","sireum","static-analysis","stpa"],"latest_commit_sha":null,"homepage":"http://awas.sireum.org/","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sireum.png","metadata":{"files":{"readme":"readme.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null}},"created_at":"2016-01-31T16:05:48.000Z","updated_at":"2024-05-28T20:33:04.000Z","dependencies_parsed_at":"2023-02-22T01:30:16.180Z","dependency_job_id":null,"html_url":"https://github.com/sireum/v3-awas","commit_stats":{"total_commits":202,"total_committers":6,"mean_commits":"33.666666666666664","dds":"0.31188118811881194","last_synced_commit":"1d638c646d34537cb206815ff6231530ea647a1d"},"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/sireum/v3-awas","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sireum%2Fv3-awas","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sireum%2Fv3-awas/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sireum%2Fv3-awas/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sireum%2Fv3-awas/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sireum","download_url":"https://codeload.github.com/sireum/v3-awas/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sireum%2Fv3-awas/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265934185,"owners_count":23852086,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["aadl","dependency-analysis","dependency-graph","domain-specific-language","fault-detection","fault-tree","hazard-analysis-framework","information-flow","risk-analysis","sireum","static-analysis","stpa"],"created_at":"2024-08-07T18:02:37.114Z","updated_at":"2025-07-19T12:30:58.650Z","avatar_url":"https://github.com/sireum.png","language":"JavaScript","funding_links":[],"categories":["others"],"sub_categories":[],"readme":"# Awas: A Model Analysis Tool\n\n[![V2-sscate](https://jitpack.io/v/sireum/v3-awas.svg)](https://jitpack.io/#sireum/v3-awas)\n\n### Pre-Requisite\n  1. [Sireum](http://logika.sireum.org/doc/01-getting-started/index.html)\n  2. [Git (optional)](https://git-scm.com/downloads)\n\n### Installation\n[Awas Development Setup](http://awas.sireum.org/doc/01-getting-started/index.html)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsireum%2Fv3-awas","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsireum%2Fv3-awas","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsireum%2Fv3-awas/lists"}