Wall Painting Example - Revision history

Smadar: /* Download the Wall Painting Example */

2014-12-23T14:07:12Z

‎Download the Wall Painting Example

Smadar: /* Download the Wall Painting Example */

2014-09-10T08:00:16Z

‎Download the Wall Painting Example

Smadar: /* Installation Instructions */

2014-08-23T12:55:22Z

‎Installation Instructions

Smadar: /* Downloads */

2014-08-23T12:51:10Z

‎Downloads

Smadar: /* Download the ROV framework */

2014-05-21T06:21:18Z

‎Download the ROV framework

Smadar: /* Download the Wall Painting Example */

2014-05-21T06:14:38Z

‎Download the Wall Painting Example

Smadar: Created page with "This example demonstrates the integration of [http://www.wisdom.weizmann.ac.il/~bprogram/bpj/ BPJ] scenarios with LSCs. An explanation of the original example and the behavior..."

2014-04-29T06:11:15Z

Created page with "This example demonstrates the integration of [http://www.wisdom.weizmann.ac.il/~bprogram/bpj/ BPJ] scenarios with LSCs. An explanation of the original example and the behavior..."

New page

This example demonstrates the integration of [http://www.wisdom.weizmann.ac.il/~bprogram/bpj/ BPJ] scenarios with LSCs.
An explanation of the original example and the behavioral threads can be found [http://wiki.weizmann.ac.il/bp/index.php/Helicopter_flight_and_mission here].
To this example we have added a set of LSCs to control the color supply. The auto generated system model GUI is used to simulate a color that ran out and was manually refilled. For each color used for the wall painting (black, red, blue, green) we have added two LSCs.

*One LSC monitors the use of a color, and after being used twice (simulating that each color can is sufficient for painting two segments), it announces that the color has run out:

[[Image:monitorRED.png]]

* Another LSC blocks the use of the color after it runs out. Note that the instruction to block the color applies to all participating LSCs, but also to all participating b-threads. The prohibition to use the color is dismissed as soon as the refill event occurs.

[[Image:forbidRedUntilRefill.png]]

== Download the Wall Painting Example ==

[[Media:WallPainting.zip|The Wall Painting LSC Project]] <br>
====Installation Instructions====
#[[Download PlayGo|Download PlayGo]].
#Extract the downloaded zip. The zip contains 2 projects; one is the LSC projet and the other is a simulator project.
#Import the downloaded projects to your workspace:
##From the File menu choose Import-->General-->Existing Projects into Workspace.
##Click the 'Next' button.
##When prompted, select the directory to which you extracted the two projects from the downloaded zip file.
##Click finish.
#The wall painting example is now part of your workspace. To run it:
## Run '''MainPanel''' from the HeliSim project, under the ServerSide package.
## Add the following VM argument to the 'PlayApp' run configuration: '''-Drunmode=netWorkingMode'''.
## Select the BDrone project and play it out.

For details on play-out refer to [[How_to_Play-Out | how to play out]].<br>
For details about S2A-BPJ integration refer to [[How to create S2A-BPJ integrated solution]]

A demo of the example:

{{#ev:youtube|keCoEcnCTAo|640}}

@@ Line 14: / Line 14: @@
 === Download the Wall Painting Example  ===
-[https://weizmann.box.com/s/0db6m0qq3tjxlr0zfdwj The Wall Painting LSC Project] <br>
+[https://weizmann.box.com/s/lztn15d463b53rjufmyy The Wall Painting LSC Project] <br>
 ====Installation Instructions====
 #[[Download PlayGo | Download and install PlayGo]].

@@ Line 14: / Line 14: @@
 === Download the Wall Painting Example  ===
-[[Media:WallPainting.zip|The Wall Painting LSC Project]] <br>
+[https://weizmann.box.com/s/0db6m0qq3tjxlr0zfdwj The Wall Painting LSC Project] <br>
 ====Installation Instructions====
 #[[Download PlayGo | Download and install PlayGo]].

← Older revision		Revision as of 06:21, 21 May 2014
Line 43:		Line 43:

	# Click [[Media:rovtool-source_20140520-1220.zip\|here]] to download the ROV framework.		# Click [[Media:rovtool-source_20140520-1220.zip\|here]] to download the ROV framework.
		+	## The downloaded zip file includes a documentation of the framework in the il.ac.wis.cs.rovtool project, under the directory doc.

@@ Line 16: / Line 16: @@
 [[Media:WallPainting.zip|The Wall Painting LSC Project]] <br>
 ====Installation Instructions====
-#[[Download PlayGo|Download PlayGo]].
+#[[Download PlayGo | Download and install PlayGo]].
-#Extract the downloaded zip. The zip contains 2 projects; one is the LSC project and the other is a simulator project.
+#Extract the downloaded Wall Painting zip. The zip contains 2 projects; one is the LSC project and the other is a simulator project.
 #Import the downloaded projects to your workspace:
 ##From the File menu choose Import--&gt;General--&gt;Existing Projects into Workspace.

@@ Line 11: / Line 11: @@
 [[Image:forbidRedUntilRefill.png]]
-== Download the Wall Painting Example  ==
+== Downloads ==
 [[Media:WallPainting.zip|The Wall Painting LSC Project]] <br>
@@ Line 33: / Line 34: @@
 {{#ev:youtube|keCoEcnCTAo|640}}