Last modified by ima on 2023/09/11 16:16
<
From version < 15.1 >
edited by ima
on 2016/01/14 10:34
To version < 17.1 >
edited by ima
on 2016/05/20 12:34
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +Interactive Timing Analysis
Content
... ... @@ -1,10 +1,10 @@
1 1  == General information: ==
2 2  
3 -We are currently running an experiment for which we need participants that are willing to contribute aproximately 20 minutes of their time. All participants who solve the task will be entered into a price draw for 3 amazon vouchers for 25 Euro value each (if you do not want to enter the draw, just tell us so). 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. Also contact Insa Fuhrmann if you have questions that are not answered below. The experiments will take place in room 1113, which is on the 11th floor of the highriser.
3 +The experiment is finished.
4 4  
5 -The participants will be asked to give information on how experienced they are with modeling SCCharts and modeling and programming in general.
5 +The participants were asked to give information on how experienced they are with modeling SCCharts and modeling and programming in general.
6 6  
7 -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. However it is allowed to change the model temporarily, especially by commenting out parts of the code, but the outcome must be the same model (semantically as well as syntactically) with the exception of a number of swapped host code calls.
7 +The participants were 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. However it is allowed to change the model temporarily, especially by commenting out parts of the code, but the outcome must be the same model (semantically as well as syntactically) with the exception of a number of swapped host code calls.
8 8  
9 9  The participants will be devided into groups that will work with KIELER versions with different degrees of interactive timing support. We will measure the time it takes for each participant to solve the task as well as the number of call replacements. We will also document the final state of the model.
10 10  
Bildschirmfoto 2016-01-13 um 16.48.10.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +570.5 KB
Content
Bildschirmfoto 2016-01-13 um 16.57.55.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +567.0 KB
Content
Bildschirmfoto 2016-01-13 um 17.00.47.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +398.0 KB
Content
Bildschirmfoto 2016-01-13 um 18.02.18.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +417.5 KB
Content
Example1.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +205.1 KB
Content
Example2.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +206.1 KB
Content
Example3.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +205.6 KB
Content
Example4.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +203.9 KB
Content
ExperimentExampleArrows.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +355.2 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -15532048
1 +14516359
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/15532048/Experiment Hotspot-Highlighting
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/14516359/Experiment Hotspot-Highlighting

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage