updates on sccharts kieler sccharts - uni-bamberg.de · updates on scchartskieler sccharts ......
TRANSCRIPT
![Page 1: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/1.jpg)
Updates on SCCharts KIELER SCCharts Tutorial Workshop
SYNCHRON 2016 06. November, Bamberg
Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and Reinhard von Hanxleden
SCCharts KIELER SCCharts Mindstorms Your Feedback
![Page 2: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/2.jpg)
SCCharts Intro Reinhard von Hanxleden
KIELER SCCharts Tools Christian Motika
Lego Mindstorms Steven Smyth
SCCharts KIELER SCCharts Mindstorms Your Feedback
4
![Page 3: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/3.jpg)
Part I
SCCharts Intro
SCCharts KIELER SCCharts Mindstorms Your Feedback
5
![Page 4: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/4.jpg)
Harel
Statecharts: A Visual Formalism for Complex Systems
Science of Computer Programming‚ 1987
6
SCCharts KIELER SCCharts Mindstorms Your Feedback
1980: Statecharts
![Page 5: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/5.jpg)
http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=9448
7
SCCharts KIELER SCCharts Mindstorms Your Feedback
![Page 6: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/6.jpg)
Florence Maraninchi
The Argos language: Graphical Representation of Automata and Description of
Reactive Systems
IEEE Workshop on Visual Languages, Kobe, Japan, 1991
8
SCCharts KIELER SCCharts Mindstorms Your Feedback
1991: ARGOS
![Page 7: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/7.jpg)
Charles André
SyncCharts: A Visual Representation of Reactive Behaviors
Research Report 95-52, I3S, Sophia Antipolis, 1995
9
SCCharts KIELER SCCharts Mindstorms Your Feedback
1995: SyncCharts a.k.a. Safe State Machines
![Page 8: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/8.jpg)
if (!x) { … x = true; }
Forbidden for shared variables/signals in SyncCharts etc., but allowed in SCCharts
10
SCCharts KIELER SCCharts Mindstorms Your Feedback
Limitations of Strict Synchrony
![Page 9: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/9.jpg)
• Based on Sequentially Constructive Model of Computation (SC Moc)
• Collaboration Kiel, Bamberg, Auckland, NI (& friends )
• Funding from industry & DFG (PRETSY 1 / 2)
11
SCCharts KIELER SCCharts Mindstorms Your Feedback
2013: SCCharts
![Page 10: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/10.jpg)
Interface declaration
12
![Page 11: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/11.jpg)
Interface declaration
Entry action
Initialization
13
![Page 12: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/12.jpg)
Interface declaration
Superstate
Entry action
Initialization
14
![Page 13: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/13.jpg)
Interface declaration
Region
Superstate
Entry action
Initialization
15
![Page 14: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/14.jpg)
Interface declaration
Initial state
Region
Superstate
Initialization
Entry action
16
![Page 15: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/15.jpg)
Interface declaration
Initial state
Region
Superstate
Initialization
Entry action
17
![Page 16: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/16.jpg)
Interface declaration
Final state
Initial state
Region
Superstate
Initialization
Entry action
18
![Page 17: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/17.jpg)
Interface declaration
Final state
Initial state
Delayed Transition (+ Trigger)
Region
Superstate
Initialization
Entry action
19
![Page 18: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/18.jpg)
Interface declaration
Final state
Initial state
Delayed Transition (+ Trigger)
Region
Superstate
Strong Abort Initialization
Entry action
20
![Page 19: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/19.jpg)
Interface declaration
Final state
Initial state
Delayed Transition (+ Trigger)
Region
Termination
Superstate
Immediate Transition (+ Effect)
Strong Abort Initialization
Entry action
21
![Page 20: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/20.jpg)
Updates on SCCharts The Whole Menu
SCCharts = SyncCharts Syntax + Sequential Constructive Semantics
Interface declaration
Final state
Connector
Initial state
Root state
Named simple state
Transition trigger/effect
Region ID
Transition priority
Conditional termination
Anonymous simple state
Entry/During/Exit actions
Termination
Superstate
Signal
Immediate transition
Strong abort
Local declaration
Weak abort
Deferred transition
Count delay
Pre operator
Initialization
Complex final state
Core-SCCharts Small set of simple features ease down stream compilation
Extended-SCCharts Rich set of advanced features ease modeling
Suspension
1: y > -10
3 History transition
2: x <= 0
1: y > 0
SCCharts KIELER SCCharts Mindstorms Your Feedback
22
![Page 21: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/21.jpg)
• Papers
• Teaching materials
• On-line compiler
• Question/discussion forum
• Prototype compiler/editor in KIELER
23 SCCharts KIELER SCCharts Mindstorms Your Feedback
SCCharts Ecosystem
![Page 22: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/22.jpg)
• Starting point: Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’14), Edinburgh, UK, June 2014. ACM.
• Hardware Synthesis: Francesca Rybicki and Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Interactive Model-Based Compilation Continued – Interactive Incremental Hardware Synthesis for SCCharts. Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), LNCS, 2016.
• SCCharts and Timing Analysis: Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten. Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS’16), 2016
• SC Esterel: Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler. SCEst: Sequentially Constructive Esterel. Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE’15), Austin, TX, USA, September 2015.
• Relation to classical synchrony: Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann. Grounding Synchronous Deterministic Concurrency in Sequential Programming. Proceedings of the 23rd European Symposium on Programming (ESOP’14), LNCS 8410, Grenoble, France, April 2014. Springer.
• Underlying Sequentially Constructive Model of Computation: Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O’Brien, Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. ACM Transactions on Embedded Computing Systems, Special Issue on Applications of Concurrency to System Design, 13(4s):144:1–144:26, July 2014.
• Foundations: Joaquín Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann. Denotational Fixed-Point Semantics for Constructive Scheduling of Synchronous Concurrency. Acta Informatica, Special Issue on Combining Compositionality and Concurrency, 52(4):393–442, 2015.
24 SCCharts KIELER SCCharts Mindstorms Your Feedback
![Page 23: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/23.jpg)
25
http://www.rtsys.informatik.uni-kiel.de/ en/teaching • Slides and exercises available • Ask rvh for sources
SCCharts KIELER SCCharts Mindstorms Your Feedback
![Page 24: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/24.jpg)
www.sccharts.com
Synthesizes SCCharts, circuits, C-code, ...
26
SCCharts KIELER SCCharts Mindstorms Your Feedback
![Page 25: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/25.jpg)
https://rtsys.informatik.uni-kiel.de/confluence/questions
27
27
SCCharts KIELER SCCharts Mindstorms Your Feedback
![Page 26: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/26.jpg)
28
• Kiel Integrated Environment for Layout Eclipse Rich client
• An academic prototype, for – Experimenting with language, synthesis and
modeling pragmatics – Teaching synchronous modeling/programming
• Not industry-strength, but with active support ([email protected])
• Used in classroom since 2013, by about 120 students
• Open source, Eclipse Public License, permits academic and commercial use/extension
• External users welcome ⇒ this tutorial
28
SCCharts KIELER SCCharts Mindstorms Your Feedback
SCCharts in KIELER
![Page 27: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/27.jpg)
Still plenty of things to do: • Improve code synthesis • Scheduling variants beyond init-update-read
(ForeC, PRET-C, ...) • Variants on SC MoC (Strict SC, ...) • Integrate data-flow • Properly deal with schizophrenia • Model extraction from legacy code (C) • Experiment with modeling pragmatics • Further improve automatic layout • Wikipedia entry
SCCharts likely to stay around for a while ...
29 SCCharts KIELER SCCharts Mindstorms Your Feedback
SCCharts Roadmap
![Page 28: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/28.jpg)
Part II
KIELER SCCharts Tools
SCCharts KIELER SCCharts Mindstorms Your Feedback
30
![Page 29: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/29.jpg)
The Project
• Eclipse based • Since Feb 2008 • 64 committers • Pragmatics/Layout + Semantics • 12,579 commits • 18,952 files } Semantics
SCCharts KIELER SCCharts Mindstorms Your Feedback
31
KLighD
![Page 30: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/30.jpg)
KIELER SCCharts
2009 Version: • Eclipse based modeling (EMF) • SyncCharts (subset) • Graphical model editor (GMF) • Generate Ptolemy models • Ptolemy simulator
SCCharts KIELER SCCharts Mindstorms Your Feedback
32
![Page 31: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/31.jpg)
KIELER SCCharts SCCharts KIELER SCCharts Mindstorms Your Feedback
34
![Page 32: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/32.jpg)
Textical Modeling SCCharts KIELER SCCharts Mindstorms Your Feedback
1. Learning Curve 2. Overview
3. (Error) Visualizations 4. Focus & Context
…
“Graphical Modeling”
35
![Page 33: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/33.jpg)
Textical Modeling SCCharts KIELER SCCharts Mindstorms Your Feedback
1. Copy & Paste 2. Code Completion 3. Version Control
4. Tool Interchange …
“Textual Modeling”
36
![Page 34: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/34.jpg)
SCChart
State Transition
(2) Textual view and editing
(1) Graphical
view
(3) Abstract model
SCCharts KIELER SCCharts Mindstorms Your Feedback
Textical Modeling 37
![Page 35: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/35.jpg)
Interactive Compilation
Compiler Textual
Modeling
Modeled Diagram
(Intermediate) Transformed
Diagram / Code Select
Transformation
Additional Input => Intermediate Results
SCCharts KIELER SCCharts Mindstorms Your Feedback
38
Christian Motika and Steven Smyth and Reinhard von Hanxleden. Compiling SCCharts — A case-study on interactive model-based compilation. ISoLA 2014, Corfu, Greece, October 2014
![Page 36: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/36.jpg)
Compiler
Textual Modeling
Modeled Diagram
(Intermediate)
Transformed Diagram /
Code
Select Transformation
Original Model
Intermediate Model
Fully trans- Formed Model
Single-Pass Language-Driven Incremental Compilation (SLIC)
Interactive Compilation II SCCharts KIELER SCCharts Mindstorms Your Feedback
39
![Page 37: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/37.jpg)
The Tutorial
Two parts: 1. KIELER SCCharts 2. Mindstorms
We will synchronize for the second part.
SCCharts KIELER SCCharts Mindstorms Your Feedback
SCCharts Cheat Sheet
40
http://sccharts.com/tutorial.pdf
![Page 38: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/38.jpg)
Tutorial Preparations
1. Grab a USB thumb drive
2. Copy & extract KIELER SCCharts
3. Start KIELER
SCCharts KIELER SCCharts Mindstorms Your Feedback
41
![Page 39: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/39.jpg)
Exercise I
Textical Modeling
1. KIELER AO example (2.1)
2. Modify the example (2.2)
3. SCT editor (2.3) (formatter, content assist, validation)
SCCharts KIELER SCCharts Mindstorms Your Feedback
42
![Page 40: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/40.jpg)
Exercise II
Interactive Compilation
1. Interactive compilation of the AO example (3.1)
2. Modify the example in combination with interactive compilation (3.2)
3. Generating code + HW circuits (3.3)
SCCharts KIELER SCCharts Mindstorms Your Feedback
43
![Page 41: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/41.jpg)
Exercise III
Simulation
1. Simulation Perspective (4.1)
2. Simulation Control (4.2)
3. Synchronous Ticks (4.3)
4. Simulating Intermediate Models (4.4)
5. Hardware Circuit Simulation (4.5)
SCCharts KIELER SCCharts Mindstorms Your Feedback
44
![Page 42: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/42.jpg)
Exercise IV (BONUS)
SCGs
If time permits, and you were able to fulfill the previous tasks faster…
…then you may want to do this
extra exercise.
Learn about SCGs and dependencies in SCCharts
SCCharts KIELER SCCharts Mindstorms Your Feedback
45
![Page 43: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/43.jpg)
Tutorial Preparations
1. Grab a USB thumb drive
2. Copy & extract KIELER SCCharts
3. Start KIELER
Exercise I Textical Modeling
1. KIELER AO example (2.1)
2. Modify the example (2.2)
3. SCT editor (2.3) (formatter, content assist, validation)
Exercise II Interactive Compilation
1. Interactive compilation of the AO example (3.1)
2. Modify the example in combination with interactive compilation (3.2)
3. Generating code + HW circuits (3.3)
Exercise III Simulation
1. Simulation Perspective (4.1)
2. Simulation Control (4.2)
3. Synchronous Ticks (4.3)
4. Simulating Intermediate Models (4.4)
5. Hardware Circuit Simulation (4.5)
+ Exercise IV (BONUS) SCGs PROBLEMS?
ASK US!
SCCharts KIELER SCCharts Mindstorms Your Feedback
46
![Page 44: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/44.jpg)
Please finish exercises for
now …
SCCharts KIELER SCCharts Mindstorms Your Feedback
Lego Mindstorms are awaiting you!
47
![Page 45: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/45.jpg)
Part III
Lego Mindstorms
SCCharts KIELER SCCharts Mindstorms Your Feedback
48
![Page 46: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/46.jpg)
Updates on SCCharts SCCharts & Mindstorms SCCharts KIELER SCCharts Mindstorms Your Feedback
Environment Inputs/ Output Annotations
49
![Page 47: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/47.jpg)
Updates on SCCharts Additional Supporters
Astrid Flohr
Daniel Grevesmühl
Michael Cyruk
Nelson Tavares de Sousa
Francesca Rybicki
+ Andreas Stange helped with the Environment Snippet Project (PROM) + Nis Wechselberg helped with technical issues (Lego) + Carsten Sprung implemented the Incremental Update (Diagram View)
SCCharts KIELER SCCharts Mindstorms Your Feedback
The Robots 50
![Page 48: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/48.jpg)
Downloading Programs SCCharts KIELER SCCharts Mindstorms Your Feedback
use our Download Station use your laptop
• leJOS • USB driver • [Java 32]
51
!
no additional installations more convenient uploading
![Page 49: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/49.jpg)
Download Station SCCharts KIELER SCCharts Mindstorms Your Feedback
52
1. Copy SCT model file to USB stick 2. Insert model into Lego project 3. Possibly adapt model/file names 4. Upload to Mindstorms
![Page 50: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/50.jpg)
Exercise V
SCCharts & Mindstorms
1. Create SCCharts Project (6.1)
2. Modeling & Environment (6.2)
3. Download & Run (6.3)
53 SCCharts KIELER SCCharts Mindstorms Your Feedback
![Page 51: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/51.jpg)
SCCharts KIELER SCCharts Mindstorms Your Feedback
Exercise VI
SCCharts Path Finder
54
![Page 52: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/52.jpg)
Your Feedback
… is very important for us!
SCCharts KIELER SCCharts Mindstorms Your Feedback
55
![Page 53: Updates on SCCharts KIELER SCCharts - uni-bamberg.de · Updates on SCChartsKIELER SCCharts ... November, Bamberg Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and](https://reader030.vdocuments.net/reader030/viewer/2022020318/5c1ef3eb09d3f299388c6560/html5/thumbnails/53.jpg)
… Now Have Fun!
ThaT’s aLL
FOLKS!
Do not hesitate to ask us for help!
SCCharts KIELER SCCharts Mindstorms Your Feedback
56