Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

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.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-20153021
	1	+20153028

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/20153021/How to try out Interactive Timing Analysis
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/20153028/How to try out Interactive Timing Analysis