Skip to Content

Changes for page SyncCharts

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:18
From version 11.1
edited by aas2
on 2017/04/04 15:38
Change comment: There is no comment for this version
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
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.aas2
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,11 +9,11 @@
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:SCCharts (pre 1\.0)]]
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 Semantics SCCharts]](% 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  
19 19  = Older Projects =
... ... @@ -23,7 +23,7 @@
23 23  * (% 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"]]
24 24  
25 25  * (% class="plugin_pagetree_children_span" %)[[Textual SyncCharts (KITS)>>doc:Textual SCCharts Language SCT]]
26 -* (% class="plugin_pagetree_children_span plugin_pagetree_children_span" %)[[Semantics>>doc:KIELER Semantics SCCharts]](% 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)
27 27  
28 28  
29 29  = References =
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -72450107
1 +25952295
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/72450107/SCCharts / SyncCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/25952295/SCCharts / SyncCharts