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 (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -3,8 +3,8 @@ 3 3 = Steps for setup: = 4 4 5 5 1. Download KIELER with Interactive Timing Analysis here (Under construction: Link coming soon!). 6 -1. Get the experimental KTA timing analysis tool [[here>>url:https://github.com/timed-c/kta||shape="rect"]]. You can use the Download ZIP link.7 -1. Make sure "ocaml"and "make" are installed on your system, so that you can compile the KTA timing analysis tool.6 +1. Get the experimental KTA timing analysis tool [[here>>url:https://github.com/timed-c/kta||shape="rect"]]. You can download the ZIP folder. 7 +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. 8 8 1. Extract the zip folder you downloaded in Step 2 and compile the KTA timing analysis tool running make in the kta-master folder. 9 9 1. Install the gcc MIPS compiler (mcb32tools, mipsel-mcb32-elf-gcc), which is used by the KTA timing analysis tool. 10 10 1. Start up KIELER, go to Preferences -> Interactive Timing Analysis and enter the absolute paths in your system to the folder that ... ... @@ -29,6 +29,7 @@ 29 29 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: 30 30 [[image:attach:Bildschirmfoto 2016-05-20 um 15.33.33.png]] 31 31 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. 32 +For a quick start guide on SCCharts and how to model them see also [[this page>>doc:Quick Start Guide]]. 32 32 \\\\ 33 33 34 34
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -173999 211 +17399930 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/173999 21/How to try out Interactive Timing Analysis1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/17399930/How to try out Interactive Timing Analysis