Skip to content

Latest commit

 

History

History
14 lines (9 loc) · 665 Bytes

readme.md

File metadata and controls

14 lines (9 loc) · 665 Bytes

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