Search

Page 3 of 4. Showing 31 results (0.034 seconds)

1. Examples

   , R output bool O initial state ABO { entry do O = false initial state WaitAB { region: initial state wA if A go to dA … abort to ABO } ABRO-vars.png
   KIELER Project • Apr 15, 2019

2. KIELER SCCharts Release 0.11.0

   Quickstart Start with the ABO ("Hello World") Example The 0.11.0 release provides examples you can add and play around with. You can start with an example … extension ".sct") Open the file (it should open in the SCCharts editor) Start with the SCT language using the following ABO example: @VHLayout scchart ABO
   KIELER Project • May 24, 2016

3. Transformation Mapping (KTM)

   is a ABO, the "Hello World" of SCCharts. ABO is already a CoreSCChart, so we will perform normalization and a transformation to SCG. Creating Mapping during … . aboSplitTE = SCCtransformation.transformTriggerEffect(abo); ModelWrapper aboSplitTEModel = transformationTree.initializeTransformationTree
   KIELER Project • Dec 04, 2018

4. KIELER Pre-Release 0.9.0

   format (moreover they keep their meaning) Quickstart Start with the ABO ("Hello World") Example The 0.9.0 release provides examples you can add and play … the following ABO example: @VHLayout scchart ABO { input output bool A; input output bool B; output bool O1; output bool O2; region: initial state Init
   KIELER Project • Mar 12, 2014

5. KIELER SCCharts Release 0.10.0

   context menus Quickstart Start with the ABO ("Hello World") Example The 0.10.0 release provides examples you can add and play around with. You can start … and give it the file extension ".sct") Open the file (it should open in the SCCharts editor) Start with the SCT language using the following ABO example
   KIELER Project • Aug 20, 2014

6. ABRO Example on Yakindu SCCharts Editor

   , the strong abortion transition between the macrostate ABO and itself is crossed that preemptively returns the system to the initial state. ABRO.png
   KIELER Project • Feb 06, 2013

7. Priority-Based Compilation

   http://rtsys.informatik.uni-kiel.de/confluence/rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/date13.pdf ABO-NodePrios.bmp The image shows the resulting node priorities for ABO (blue). OptNodePriorities: This transformation … as the exit nodes of their sibling threads. The resulting node priorities of the ABO example shown in the previous transformation step illustrates this. However
   KIELER Project • Mar 01, 2015

8. Examples (sct)

   Compiler Quick Start Guide (pre 0.13) SCCharts Examples A few SCCharts examples... Example SCChart  (Graphical) SCChart (Textual SCT) ABO abo.png @VHLayout scchart ABO { input output bool A; input output bool B; output bool O1; output bool O2; region: initial state Init
   KIELER Project • Jan 15, 2019

9. Quick Start Guide (pre 0.13)

   be opened: kieler10.png Now start modeling an SCChart. For example copy & paste the following sct code of ABO, the hello world of SCCharts (you can find more example models here, a description of the textual SCCharts syntax (SCT) can be found here): @VHLayout scchart ABO { input bool A; input bool B; output
   KIELER Project • Jan 14, 2019

10. Textual SCCharts Language SCT

    O = false; region Main: initial state ABO "ABthenO" { entry / O = false; initial state WaitAandB { region HandleA: initial state wA … = true; final state done; } o-> ABO with R; }  abro.png In the first line you see how an SCChart is defined using the scchart keyword where
    KIELER Project • Jul 31, 2017