Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -44,6 +44,26 @@
44	44
45	45	[[image:attach:ExperimentExampleArrows.png]][[attach:ExperimentExampleArrows.png]]
46	46
47		-Suppose we decide to exchange the call to getImage() with a call to takePicture(). Then we will find, that the time values do not change at all:
	47	+Suppose we decide to exchange the call to getImage() with a call to takePicture(). Then we will find that the time values do not change at all:
48	48
	49	+[[image:attach:Bildschirmfoto 2016-01-13 um 18.02.18.png]][[attach:Bildschirmfoto 2016-01-13 um 18.02.18.png]]
	50	+
49	49	[[image:attach:Example1.png]][[attach:Example1.png]]
	52	+
	53	+We can deduce that either getImage() and takePicture() take exactly the same amount of time (which is unlikely) or in worst case the transition with the second priority in HandleMotor is taken (accelerator not true). writeLog() is executed, but not takePicture() (and also not getImage() before). Therefore, exchanging getImage() for takePicture() does not show any effect.
	54	+
	55	+So let's change writeLog() to logProcess() then:
	56	+
	57	+[[image:attach:Example2.png]][[attach:Example2.png]]
	58	+
	59	+Now quite a lot has happened: First of all, we have reduced the overall worst case execution time. The decision to replace writeLog() with logProcess() seems to have been a good one. We are not done however, as we have to get below 500 tu. Second we can see that the worst case execution path has switchend and now HandleEmergency is the most time consuming region of the model. This means that errorLog() must take longer than either takePicture() or logProcess(). So now we exchange errorLog() for logErrors():
	60	+
	61	+[[image:attach:Example3.png]][[attach:Example3.png]]
	62	+
	63	+Now that was successful as well, as the overall worst case execution time is reduced again. Also, the worst case path has switched back to the HandleMotor region. That means that either logProcess() or TakePicture() take longer than logErrors(). As we already know we can only make logProcess() worse by exchanging it for writeLog(), we will now choose to change takePicture() back to getImage(). For, though we were not able to see the effect before, because writeLog() was even worse, we made a bad decision in the beginning by choosing takePicture() over getImage(). So let's revise this:
	64	+
	65	+[[image:attach:Example4.png]][[attach:Example4.png]]
	66	+
	67	+And now we have done it! The overall worst case execution time is finally below 500 and we are finished!
	68	+
	69	+Note that if you get to be part of another group, then maybe you will get only the overall worst case execution time value, or the overall value and the region values, but no hotspot highlighting, respectively.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-14516386
	1	+14516391

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/14516386/Experiment Hotspot-Highlighting
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/14516391/Experiment Hotspot-Highlighting