Phantom -- OSATE Headless

Phantom is a CLI-based tool that

• facilitates the installation/updating of OSATE plugins (Sireum's HAMR and CLI plugins are always installed/updated).
• produces AADL instance models represented in AIR. The AIR models can then be used in downstream tools such as AWAS or HAMR.

Installation

Install Sireum Kekinian

Usage

Invoke $SIREUM_HOME/bin/sireum hamr phantom -h (or %SIREUM_HOME%\bin\sireum.bat hamr phantom -h under Windows) to view Phantom's command line options