Summary

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

Details

Page properties

Content

...	...	@@ -1,0 +1,7 @@
	1	+We are currently running an experiment for which we need participants that are willing to contribute aproximately 20 to 30 minutes of their time. All participants (unless they protest of course) will be entered into a price draw for 3 amazon vouchers for 25 Euro value each. Thanks if you are considering to take part! Please contact Insa Fuhrmann for one of the time slots from 18th to 25th of January: 0431-880-7526 or in person in room 1113.
	2	+
	3	+The participants will be asked to give information on how experienced they are with modeling SCCharts.
	4	+
	5	+The participants will be given an SCChart model in Kieler together with a timing specification for the maximal worst case execution time of the model. The model in its given form does not meet the timing specification and it is the task for the participant to revise the model such that the timing specification is met. To be able to do that the participant will receive a list of alternative library functions for the host code calls that are included in the model. To replace function calls by calls to the respective alternative functions is the only change that is allowed to solve the task. It is allowed to change the model temporarily, especially by commenting out parts of the code, but finally it should be the same model (semantically as well as syntactically) with the exception of a number of swapped host code calls.
	6	+
	7	+We will

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-14516373
	1	+14516375

URL

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