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