Skip to Content

Changes for page SyncCharts

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:18
From version 16.1
edited by Alexander Schulz-Rosengarten
on 2023/07/06 14:36
Change comment: Renamed back-links.
To version 9.1
edited by cmot
on 2014/06/27 15:02
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,1 @@
1 -SyncCharts
1 +SCCharts / SyncCharts
Parent
... ... @@ -1,1 +1,0 @@
1 -Previous Versions (Deprecated Documentation)
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.cmot
Content
... ... @@ -1,4 +1,4 @@
1 -\\
1 +
2 2  
3 3  The Statecharts formalism, proposed by of David Harel in 1987, extends Mealy machines with hierarchy, parallelism, signal broadcast, and compound events and is a well known approach for modeling control-intensive tasks. SyncCharts, the natural adoption of Statecharts to the synchronous world, were introduced almost ten years later. A SyncChart can be seen as the graphical notation for the synchronous Esterel language. SyncCharts and Esterel are used to describe reactive systems and so are SyncCharts. Following the synchrony hypothesis the reaction is computed tick wise and the computation itself does not take any time. This means that the generated output computed to an input in one tick instance is visible in this same instance. Because the output might have an impact on the computation itself, the computation proceeds until the system's variables reach a defined value.
4 4  
... ... @@ -9,12 +9,13 @@
9 9  
10 10  SCCharts are the successors of SyncCharts, in the context of KIELER there are several projects related to SCCharts:
11 11  
12 -* (% class="plugin_pagetree_children_span" %)[[doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]]
12 +* (% class="plugin_pagetree_children_span" %)[[doc:SCCharts]]
13 13  
14 14  * (% class="plugin_pagetree_children_span" %)[[Textual Syntax for SCCharts (*.sct)>>doc:Textual SCCharts Language SCT]]
15 15  
16 -* (% class="plugin_pagetree_children_span plugin_pagetree_children_span" %)[[Semantics>>doc:KIELER.Home.SCCharts.WebHome]](% class="plugin_pagetree_children_span" %) (Simulation and Code Generation from SCCharts)
16 +* (% class="plugin_pagetree_children_span plugin_pagetree_children_span" %)[[Semantics>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Semantics||shape="rect"]](% class="plugin_pagetree_children_span" %) (Simulation and Code Generation from SCCharts)
17 17  
18 +
18 18  = Older Projects =
19 19  
20 20  In the context of KIELER there are several projects that relate to SyncCharts:
... ... @@ -22,8 +22,9 @@
22 22  * (% class="plugin_pagetree_children_span" %)[[The Thin Kieler SyncCharts Editor (ThinKCharts)>>url:http://rtsys.informatik.uni-kiel.de/confluence/pages/viewpage.action?pageId=885190||shape="rect"]]
23 23  
24 24  * (% class="plugin_pagetree_children_span" %)[[Textual SyncCharts (KITS)>>doc:Textual SCCharts Language SCT]]
25 -* (% class="plugin_pagetree_children_span plugin_pagetree_children_span" %)[[Semantics>>doc:KIELER.Home.SCCharts.WebHome]](% class="plugin_pagetree_children_span" %) (Simulation and Code Generation from SyncCharts)
26 +* (% class="plugin_pagetree_children_span plugin_pagetree_children_span" %)[[Semantics>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Semantics||shape="rect"]](% class="plugin_pagetree_children_span" %) (Simulation and Code Generation from SyncCharts)
26 26  
28 +
27 27  = References =
28 28  
29 29  **Documentation of SyncCharts:** C. ANDRÉ: Semantics of SyncCharts, Technical Report RR2003-24, ISRN I3S/RR-2003-24-FR, I3S, Sophia Antipolis, April 2003, 76 pages. [[(% class="icon" %) (%%)http:~~/~~/www.i3s.unice.fr/%7Eandre/CA%20Publis/SSM03/RR200324.pdf>>url:http://www.i3s.unice.fr/%7Eandre/CA%20Publis/SSM03/RR200324.pdf||shape="rect" class="ext-link"]]
image2012-10-2 11:34:32.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -72 bytes
Content
image2012-10-2 11:34:38.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -72 bytes
Content
image2012-10-2 11:38:5.png
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest
Size
... ... @@ -1,1 +1,0 @@
1 -17.4 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -328081
1 +25952295
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/328081/SyncCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/25952295/SCCharts / SyncCharts