Problem running AWAS

[protoben]

Hello,

I'm trying to use AWAS using the documentation at awas.sireum.org. I'm having trouble getting AWAS to run, specifically step 2 of Running AWAS.

As a test model, I'm using the following simple example:

package Test
public
    system A
        features
            send: out data port;
    end A;

    system B
        features
            recv: in data port;
    end B;

    system C
    end C;

    system implementation C.I
        subcomponents
            A: system A;
            B: system B;
        connections
            A_to_B: port A.send -> B.recv;
    end C.I;
end Test;

As in the instructions I linked above, I instantiate C.I, select C.I from the outline view, and select OSATE -> Sireum HAMR -> Generate AWAS Visualizer from the menu bar. However, contrary to what the instructions suggest, no popup appears asking me to "select a directory to save the generated Awas visualizer". The console tells me Wrote: /home/aadl/Tools/Osate/workspace/test/.IR/Test_C_I_Instance.json, but there appears to be no further output.

Any idea what I'm doing wrong? I'm using the version of AWAS from the plugin-update-site, as suggested by Section 1.1 of the instructions. I'm running OSATE version 2.8.0.vfinal on a Centos 7 VM.

Thanks, -Ben Hamlin

[thari]

It is working for me in 2.10 in Mac, I will try in centos and let you know in an hour.

Hari

---

From: Ben Hamlin @.> Sent: Monday, November 15, 2021 11:25:03 AM To: sireum/v3-awas @.> Cc: Subscribed @.***> Subject: [sireum/v3-awas] Problem running AWAS (Issue #3)

This email originated from outside of K-State.

Hello,

I'm trying to use AWAS using the documentation at awas.sireum.org. I'm having trouble getting AWAS to run, specifically step 2 of Running AWAShttps://awas.sireum.org/doc/01-getting-started/index.html#running-awas.

As a test model, I'm using the following simple example:

package Test public system A features send: out data port; end A;

    system B
            features
                    recv: in data port;
    end B;

    system C
    end C;

    system implementation C.I
            subcomponents
                    A: system A;
                    B: system B;
            connections
                    A_to_B: port A.send -> B.recv;
    end C.I;

end Test;

As in the instructions I linked above, I instantiate C.I, select C.I from the outline view, and select OSATE -> Sireum HAMR -> Generate AWAS Visualizer from the menu bar. However, contrary to what the instructions suggest, no popup appears asking me to "select a directory to save the generated Awas visualizer". The console tells me Wrote: /home/aadl/Tools/Osate/workspace/test/.IR/Test_C_I_Instance.json, but there appears to be no further output.

Any idea what I'm doing wrong? I'm using the version of AWAS from the plugin-update-sitehttps://raw.githubusercontent.com/sireum/osate-plugin-update-site/master/, as suggested by Section 1.1 of the instructions. I'm running OSATE version 2.8.0.vfinal on a Centos 7 VM.

Thanks, -Ben Hamlin

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/sireum/v3-awas/issues/3, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AAURU7RMI7OZYXBM5ROHEE3UME667ANCNFSM5ICHK56Q. Triage notifications on the go with GitHub Mobile for iOShttps://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Androidhttps://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

[thari]

can you please tell me your JRE version? try it in JRE 8.

[thari]

Ben,

It took me a while to install and setup Centos 7 in a VirtualBox. It is working for me in OSATE 2.8 in Centos 7, I can think of only two possible issues.

1. Awas uses Sireum therefore when installing Awas in OSATE, you also have to install ’Sireum OSATE Plugin’
2. JRE version - OSATE is not supported in anything above JRE 8. So switch the OSATE to run in JRE 8.

If you are still having issues, may be we should do a quick video call.

Thanks, Hari

On Nov 15, 2021, at 11:25 AM, Ben Hamlin @.**@.>> wrote:

This email originated from outside of K-State.

Hello,

I'm trying to use AWAS using the documentation at awas.sireum.orghttp://awas.sireum.org. I'm having trouble getting AWAS to run, specifically step 2 of Running AWAShttps://awas.sireum.org/doc/01-getting-started/index.html#running-awas.

As a test model, I'm using the following simple example:

package Test public system A features send: out data port; end A;

    system B
            features
                    recv: in data port;
    end B;

    system C
    end C;

    system implementation C.I
            subcomponents
                    A: system A;
                    B: system B;
            connections
                    A_to_B: port A.send -> B.recv;
    end C.I;

end Test;

As in the instructions I linked above, I instantiate C.I, select C.I from the outline view, and select OSATE -> Sireum HAMR -> Generate AWAS Visualizer from the menu bar. However, contrary to what the instructions suggest, no popup appears asking me to "select a directory to save the generated Awas visualizer". The console tells me Wrote: /home/aadl/Tools/Osate/workspace/test/.IR/Test_C_I_Instance.json, but there appears to be no further output.

Any idea what I'm doing wrong? I'm using the version of AWAS from the plugin-update-sitehttps://raw.githubusercontent.com/sireum/osate-plugin-update-site/master/, as suggested by Section 1.1 of the instructions. I'm running OSATE version 2.8.0.vfinal on a Centos 7 VM.

Thanks, -Ben Hamlin

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/sireum/v3-awas/issues/3, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AAURU7RMI7OZYXBM5ROHEE3UME667ANCNFSM5ICHK56Q. Triage notifications on the go with GitHub Mobile for iOShttps://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Androidhttps://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

[protoben]

Looks like the Sireum OSATE Plugin was the issue. It was installed, but not the correct version, I guess. I updated to the version on the plugin update site, and now it works.

Interestingly, it looks like I'm also using the wrong JRE version (11), but OSATE, HAMR, AWAS, etc., seem to be working fine. If I run into further issues, I'll try downgrading.

Thanks for your patience, -Ben