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

When I try to install, I get the error

An error occurred while collecting items to be installed
session context was:(profile=DefaultProfile, phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=, action=).
No repository found containing: osgi.bundle,org.eclipse.mylyn.commons.ui,3.18.0.v20151116-1930

The documentation doesn't match exactly what I see, but it seems pretty close to the following.

I instantiate a system implementation and make that a selection in the AADL Navigator view.

I select OSATE > Sireum HAMR > Serialize AIR to file

After a few seconds I get a popup saying "Could not generate AIR." The console has the following stack dump.

I am using OSATE 2.9.0 on Windows 10.

Generating AIR ...
Error encountered while generating AIR
java.lang.RuntimeException: Incorrect translation!
at org.sireum.aadl.osate.architecture.Visitor.buildConnection(Visitor.java:213)
at org.sireum.aadl.osate.architecture.Visitor.lambda$9(Visitor.java:474)
at java.util.stream.ReferencePipeline$7$1.accept(Unknown Source)
at java.util.Iterator.forEachRemaining(Unknown Source)
at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Unknown Source)
at java.util.stream.AbstractPipeline.copyInto(Unknown Source)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(Unknown Source)
at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(Unknown Source)
at java.util.stream.AbstractPipeline.evaluate(Unknown Source)
at java.util.stream.ReferencePipeline.collect(Unknown Source)
at org.sireum.aadl.osate.architecture.Visitor.buildComponent(Visitor.java:474)
at org.sireum.aadl.osate.architecture.Visitor.lambda$8(Visitor.java:469)
at java.util.stream.ReferencePipeline$3$1.accept(Unknown Source)
at java.util.Iterator.forEachRemaining(Unknown Source)
at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Unknown Source)
at java.util.stream.AbstractPipeline.copyInto(Unknown Source)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(Unknown Source)
at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(Unknown Source)
at java.util.stream.AbstractPipeline.evaluate(Unknown Source)
at java.util.stream.ReferencePipeline.collect(Unknown Source)
at org.sireum.aadl.osate.architecture.Visitor.buildComponent(Visitor.java:469)
at org.sireum.aadl.osate.architecture.Visitor.lambda$8(Visitor.java:469)
at java.util.stream.ReferencePipeline$3$1.accept(Unknown Source)
at java.util.Iterator.forEachRemaining(Unknown Source)
at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Unknown Source)
at java.util.stream.AbstractPipeline.copyInto(Unknown Source)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(Unknown Source)
at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(Unknown Source)
at java.util.stream.AbstractPipeline.evaluate(Unknown Source)
at java.util.stream.ReferencePipeline.collect(Unknown Source)
at org.sireum.aadl.osate.architecture.Visitor.buildComponent(Visitor.java:469)
at org.sireum.aadl.osate.architecture.Visitor.lambda$8(Visitor.java:469)
at java.util.stream.ReferencePipeline$3$1.accept(Unknown Source)
at java.util.Iterator.forEachRemaining(Unknown Source)
at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Unknown Source)
at java.util.stream.AbstractPipeline.copyInto(Unknown Source)
at java.util.stream.AbstractPipeline.wrapAndCopyInto(Unknown Source)
at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(Unknown Source)
at java.util.stream.AbstractPipeline.evaluate(Unknown Source)
at java.util.stream.ReferencePipeline.collect(Unknown Source)
at org.sireum.aadl.osate.architecture.Visitor.buildComponent(Visitor.java:469)
at org.sireum.aadl.osate.architecture.Visitor.visit(Visitor.java:125)
at org.sireum.aadl.osate.architecture.Visitor.convert(Visitor.java:104)
at org.sireum.aadl.osate.util.Util.getAir(Util.java:64)
at org.sireum.aadl.osate.util.Util.getAir(Util.java:56)
at org.sireum.aadl.osate.handlers.LaunchSireumHandler.runJob(LaunchSireumHandler.java:36)
at org.sireum.aadl.osate.handlers.AbstractSireumHandler$1.runInWorkspace(AbstractSireumHandler.java:89)
at org.eclipse.core.internal.resources.InternalWorkspaceJob.run(InternalWorkspaceJob.java:42)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)