| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 21 Oct 2020 21:36:12 GMT
access-control-allow-origin: *
etag: W/"5f90a9cc-1910"
expires: Mon, 19 Jan 2026 00:26:37 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: F458:3F0393:24EAAC:2BA12D:696D77E3
accept-ranges: bytes
age: 0
date: Mon, 19 Jan 2026 00:16:37 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210072-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768781797.498214,VS0,VE219
vary: Accept-Encoding
x-fastly-request-id: 268cc3fce7a45d5af6f65de3d64b460e44f96bc0
content-length: 2243
Home — Sireum Awas
HomeΒΆ
About
Sireum Awas is an information flow analyzer and visualizer for component-based systems. It consists of OSATE plugin, analysis algorithms, and interactive model explorer.
The Awas OSATE plugin generates a self-contained web-page(here onwards referred to as the Awas visualizer) that provides an interactive environment to explore and analyze component-based systems. The generated Awas visualizer is a self contained website. This allows the user to explore the model even in devices that are not supported by OSATE.
Awas is an open source project released under the Simplified BSD license.
Contact
Hariharan Thiagarajan
SAnToS Laboratory
Computer Science Department
College of Engineering
Kansas State University
2206C Engineering Hall
1701D Platt Street
Manhattan, KS 66506
Phone: (785) 532-6671
Email: thari@ksu.edu
SAnToS Laboratory
Computer Science Department
College of Engineering
Kansas State University
2206C Engineering Hall
1701D Platt Street
Manhattan, KS 66506
Phone: (785) 532-6671
Email: thari@ksu.edu