Changes for page How to try out Interactive Timing Analysis
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Attachments (0 modified, 7 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Parent
-
... ... @@ -1,0 +1,1 @@ 1 +Interactive Timing Analysis - Content
-
... ... @@ -2,9 +2,8 @@ 2 2 3 3 = Steps for setup: = 4 4 5 -1. Download the KIELER SCCharts editor with Interactive Timing Analysis [[here>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/nightly/sccharts||shape="rect"]]. 6 -Note that this is a preliminary link to the RCA that is built nightly from our master branch, as such it is subject to frequent changes. Please let us know, if you encounter any problems! 7 -A release involving the Interactive Timing Analysis is coming soon. 5 +1. Download the KIELER SCCharts editor with Interactive Timing Analysis [[here>>url:https://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Downloads#Downloads-SCChartsEditorandCompiler||shape="rect"]]. Choose the release, i.e. the 6 +KIELER SCCharts Product [[v. 0.11.0>>doc:KIELER.KIELER SCCharts Release 0\.11\.0||shape="rect"]] (2014-02-28, based on Eclipse 4.3 Kepler) in the right version for your platform. 8 8 1. Get the experimental KTA timing analysis tool [[here>>url:https://github.com/timed-c/kta||shape="rect"]]. You can download the ZIP folder. 9 9 1. Make sure [[ocaml >>url:https://ocaml.org||shape="rect"]]and "make" are installed on your system, so that you can compile the KTA timing analysis tool. 10 10 1. Extract the zip folder you downloaded in Step 2 and compile the KTA timing analysis tool running make in the kta-master folder. ... ... @@ -31,7 +31,7 @@ 31 31 1. You can see how the values and the Hotspot Highlighting change when you update the view by clicking on the button with this symbol: 32 32 [[image:attach:Bildschirmfoto 2016-05-20 um 15.33.33.png]] 33 33 1. Try to create and edit your own models (right click the project -> new -> Folder, then right click the folder -> new -> file, give the file a name that ends with .sct). You can edit your file in the textual editor now. Please note that you have to add an assumption file with the same name as the model file, but the ending .asu that contains timing assumptions for any function call you use in your model. Your diagram view is updated with every save. Also, your timing values are recomputed and displayed. 34 -For a quick start guide on SCCharts and how to model them see also [[this page>>doc:Quick Start Guide]]. 33 +For a quick start guide on SCCharts and how to model them see also [[this page>>doc:Quick Start Guide (pre 0\.13)]]. 35 35 \\\\ 36 36 37 37
- Bildschirmfoto 2016-05-20 um 15.33.33.png
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +3.6 KB - Content
- ITABild.pdf
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +308.8 KB - Content
- ITABild2.png
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +383.7 KB - Content
- ITABildAsu.png
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +477.4 KB - Content
- ITAPreferences.png
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +448.7 KB - Content
- TestFilesTiming.zip
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +15.8 KB - Content
- TimingTestFiles.zip
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +15.8 KB - Content
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 - 201530211 +17399861 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/ 20153021/How to try out Interactive Timing Analysis1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/17399861/How to try out Interactive Timing Analysis