Skip to content

Latest commit

 

History

History
56 lines (37 loc) · 2.81 KB

readme.md

File metadata and controls

56 lines (37 loc) · 2.81 KB
Raw

Sireum OSATE Plugin

This repository contains the Sireum OSATE Plugin that translates AADL instance models to AIR and then to downstream Sireum tools such as AWAS.

Installation for Developers

  1. Install an OSATE development environment -- the rest of these instructions will refer to this as Eclipse

  2. Install Sireum Kekinian

  3. Clone the repository git clone --recurse-submodules git@github.com:sireum/osate-plugin.git

  4. From the command line

    mkdir osate-plugin/org.sireum.aadl.osate/lib
ln -s $SIREUM_HOME/bin/sireum.jar osate-plugin/org.sireum.aadl.osate/lib/sireum.jar

  5. Launch Eclipse and go to File -> Import...

  6. Expand the General folder and select Existing Project into Workspace, then click Next.

  7. Enter the path to the directory where you cloned the repository and then select all the available projects from the project listings and click Finish.

  8. Navigate to Preferences -> Java -> Installed JREs. Select the JRE that is checked (probably 'jre (default)') and then click Edit.... If you launch Eclipse from the command line (ie. it will inherit your environment variables) then add -ea -Dorg.sireum.home=${env_var:SIREUM_HOME} to Default VM arguments, otherwise add -ea -Dorg.sireum.home=<path-to-sireum-home>. Click Finish then Apply and Close.

  9. To resolve access restrictions errors related to UiUtil

    • Navigate to: Preferences -> Java -> Compiler -> Errors/Warnings -> Deprecated and restricted API, and

    • Change Forbidden reference (access rules) from Error to Warning.

  10. Optional: Rebuild tool jars

    • Awas

      git clone --recursive -b master git@github.com:sireum/v3.git sireum-v3
git clone git@github.com:sireum/air.git sireum-v3/aadl/ir
git clone git@github.com:sireum/v3-awas.git sireum-v3/awas
export SIREUM_HOME=`pwd`/sireum-v3
./sireum-v3/bin/sbt-launch.sh "project awasJar" assembly
cp ./sireum-v3/awasJar/target/scala-2.12/awasJar-assembly-0.1.0-SNAPSHOT.jar <ostate-plugin-dir>/org.sireum.aadl.osate.awas/lib/awasJar-assembly-0.1.0-SNAPSHOT.jar

macOS 14 SWT Issue

If the OSATE runtime instance looks like this screenshot then you need to use a JRE that was not built under macOS 14. For example, Zulu 17.0.10+7 does not exhibit the issue and doing vtool -show java on it shows it was built under macOS 11.1