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,7 @@ 3 3 = Steps for setup: = 4 4 5 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. 7 -Please let us know, if you encounter any problems! 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! 8 8 A release involving the Interactive Timing Analysis is coming soon. 9 9 1. Get the experimental KTA timing analysis tool [[here>>url:https://github.com/timed-c/kta||shape="rect"]]. You can download the ZIP folder. 10 10 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. ... ... @@ -18,7 +18,7 @@ 18 18 19 19 = How to use the Interactive Timing Analysis: = 20 20 21 -You can use this selection of example models to get you started: [[T imingTestFiles>>attach:TimingTestFiles.zip]].20 +You can use this selection of example models to get you started: [[TestFilesTiming>>attach:TestFilesTiming.zip]]. 22 22 23 23 1. Create a Project in your Project Explorer (right click -> New -> Project). 24 24 1. Copy the files and folders contained in the TimingTestFiles folder into the Project.
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -1 73999361 +20153019 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/1 7399936/How to try out Interactive Timing Analysis1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/20153019/How to try out Interactive Timing Analysis