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)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. ima1 +XWiki.ssm - Content
-
... ... @@ -3,7 +3,7 @@ 3 3 = Steps for setup: = 4 4 5 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. 6 +KIELER SCCharts Product [[v. 0.11.0>>doc:KIELER.Home.Overview.Release Notes.KIELER SCCharts Release 0\.11\.0.WebHome||shape="rect"]] (2014-02-28, based on Eclipse 4.3 Kepler) in the right version for your platform. 7 7 1. Get the experimental KTA timing analysis tool [[here>>url:https://github.com/timed-c/kta||shape="rect"]]. You can download the ZIP folder. 8 8 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. 9 9 1. Extract the zip folder you downloaded in Step 2 and compile the KTA timing analysis tool running make in the kta-master folder.