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
-
... ... @@ -2,7 +2,10 @@ 2 2 3 3 = Steps for setup: = 4 4 5 -1. Download KIELER with Interactive Timing Analysis here (Under construction: Link coming soon!). 5 +1. Download the KIELER SCCharts editor with Interactive Timing Analysis [[here>>doc:Downloads Subpages]]. 6 +Note that this is a preliminary link to the RCA build nightly from our master branch, as such it is subject to frequent changes. 7 +Please let us know, if you encounter any problems! 8 +A release involving the Interactive Timing Analysis is coming soon. 6 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 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.
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -1739993 01 +17399931 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/1739993 0/How to try out Interactive Timing Analysis1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/17399931/How to try out Interactive Timing Analysis