kieler sccharts
play

KIELER SCCharts SCCharts KIELER SCCharts Mindstorms Your - PowerPoint PPT Presentation

Dec 26, 2023 •280 likes •821 views

Updates on SCCharts KIELER SCCharts SCCharts KIELER SCCharts Mindstorms Your Feedback Tutorial Workshop Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and Reinhard von Hanxleden SYNCHRON 2016 06. November, Bamberg 4

  1. Updates on SCCharts KIELER SCCharts SCCharts KIELER SCCharts Mindstorms Your Feedback Tutorial Workshop Christian Motika, Steven Smyth, Alexander Schulz- Rosengarten, and Reinhard von Hanxleden SYNCHRON 2016 06. November, Bamberg

  2. 4 SCCharts KIELER SCCharts Mindstorms Your Feedback SCCharts Intro Reinhard von Hanxleden KIELER SCCharts Tools Christian Motika Lego Mindstorms Steven Smyth

  3. 5 SCCharts KIELER SCCharts Mindstorms Your Feedback Part I SCCharts Intro

  4. 6 1980: Statecharts SCCharts KIELER SCCharts Mindstorms Your Feedback Harel Statecharts: A Visual Formalism for Complex Systems Science of Computer Programming‚ 1987

  5. 7 SCCharts KIELER SCCharts Mindstorms Your Feedback http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=9448

  6. 8 1991: ARGOS SCCharts KIELER SCCharts Mindstorms Your Feedback Florence Maraninchi The Argos language: Graphical Representation of Automata and Description of Reactive Systems IEEE Workshop on Visual Languages, Kobe, Japan, 1991

  7. 9 1995: SyncCharts SCCharts KIELER SCCharts Mindstorms Your Feedback a.k.a. Safe State Machines Charles André SyncCharts: A Visual Representation of Reactive Behaviors Research Report 95-52, I3S, Sophia Antipolis, 1995

  8. 10 Limitations of Strict SCCharts KIELER SCCharts Mindstorms Your Feedback Synchrony if (!x) { … x = true; } Forbidden for shared variables/signals in SyncCharts etc., but allowed in SCCharts

  9. 11 2013: SCCharts SCCharts KIELER SCCharts Mindstorms Your Feedback • Based on Sequentially Constructive Model of Computation (SC Moc) • Collaboration Kiel, Bamberg, Auckland, NI (& friends  ) • Funding from industry & DFG (PRETSY 1 / 2)

  10. 12 Interface declaration

  11. 13 Interface declaration Entry action Initialization

  12. 14 Interface declaration Entry action Initialization Superstate

  13. 15 Interface declaration Entry action Initialization Superstate Region

  14. 16 Interface declaration Entry action Initialization Superstate Region Initial state

  15. 17 Interface declaration Entry action Initialization Superstate Region Initial state

  16. 18 Interface declaration Entry action Initialization Superstate Region Initial state Final state

  17. 19 Interface Delayed declaration Transition (+ Trigger) Entry action Initialization Superstate Region Initial state Final state

  18. 20 Interface Delayed declaration Transition (+ Trigger) Entry action Initialization Strong Abort Superstate Region Initial state Final state

  19. 21 Interface Delayed declaration Transition (+ Trigger) Entry action Initialization Strong Abort Superstate Termination Region Initial state Immediate Transition Final state (+ Effect)

  20. 22 The Whole Menu Updates on SCCharts SCCharts KIELER SCCharts Mindstorms Your Feedback Interface Root state declaration Local Region ID declaration Transition Superstate trigger/effect Anonymous Initial state simple state Termination Immediate transition Named simple state Transition priority Final state Signal Suspension Initialization Connector 1: y > -10 Entry/During/E Count delay 2: x <= xit actions 0 3 History transition Deferred transition 1: y > 0 Conditional Strong abort termination Pre operator Complex final state Weak abort SCCharts = SyncCharts Syntax + Sequential Constructive Semantics Core-SCCharts Extended-SCCharts Small set of simple Rich set of advanced features ease features ease modeling down stream compilation

  21. 23 SCCharts Ecosystem SCCharts KIELER SCCharts Mindstorms Your Feedback • Papers • Teaching materials • On-line compiler • Question/discussion forum • Prototype compiler/editor in KIELER

  22. • Starting point: 24 SCCharts Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen KIELER SCCharts Mercer, Owen O’Brien. Mindstorms SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation ( PLDI’14 ), Edinburgh, UK, June 2014. Your Feedback 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.

  23. 25 SCCharts KIELER SCCharts Mindstorms Your Feedback http://www.rtsys.informatik.uni-kiel.de/ en/teaching • Slides and exercises available • Ask rvh for sources

  24. 26 SCCharts KIELER SCCharts Mindstorms Your Feedback www.sccharts.com Synthesizes SCCharts, circuits, C-code, ...

  25. 27 SCCharts KIELER SCCharts 27 Mindstorms Your Feedback https://rtsys.informatik.uni- kiel.de/confluence/questions

  26. 28 SCCharts in KIELER SCCharts KIELER SCCharts Mindstorms Your Feedback • K iel I ntegrated E nvironment for L ayout E clipse R ich client • An academic prototype, for – Experimenting with language, synthesis and modeling pragmatics – Teaching synchronous modeling/programming • Not industry-strength, but with active support (kieler@informatik.uni-kiel.de) • 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

  27. 29 SCCharts Roadmap SCCharts KIELER SCCharts Mindstorms Your Feedback 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 ...

  28. 30 SCCharts KIELER SCCharts Mindstorms Your Feedback Part II KIELER SCCharts Tools

  29. 31 SCCharts The Project KIELER SCCharts Mindstorms Your Feedback KLighD • Eclipse based • Since Feb 2008 • 64 committers • Pragmatics/Layout + Semantics • 12,579 commits } Semantics • 18,952 files

  30. 32 KIELER SCCharts SCCharts KIELER SCCharts Mindstorms Your Feedback 2009 Version: • Eclipse based modeling (EMF) • SyncCharts (subset) • Graphical model editor (GMF) • Generate Ptolemy models • Ptolemy simulator

  31. 34 KIELER SCCharts SCCharts KIELER SCCharts Mindstorms Your Feedback

  32. 35 Textical Modeling SCCharts KIELER SCCharts Mindstorms Your Feedback 1. Learning Curve 2. Overview 3. (Error) Visualizations 4. Focus & Context … “Graphical Modeling”

  33. 36 Textical Modeling SCCharts KIELER SCCharts Mindstorms Your Feedback 1. Copy & Paste 2. Code Completion 3. Version Control 4. Tool Interchange … “Textual Modeling”

  34. 37 Textical Modeling SCCharts KIELER SCCharts Mindstorms Your Feedback (2) Textual (1) view Graphical SCChart and editing view Transition State (3) Abstract model

  35. 38 Interactive Compilation SCCharts KIELER SCCharts Mindstorms Your Feedback Modeled Diagram Compiler Textual (Intermediate) Modeling Transformed Diagram / Select Code Transformation Intermediate Additional Input => Results 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

Recommend

1 Agenda Agenda Agenda Wie sieht die HW aus? IP Telefon Voice Gateway Was Was

1 Agenda Agenda Agenda Wie sieht die HW aus? IP Telefon Voice Gateway Was Was

Voice over IP Voice over IP Erfahrungsbericht Cisco &amp; Voice over IP Compaq Computer GmbH Jrgen Wedler Consultant Network Services Kieler Str. 147, D-22769 Hamburg Tel: +49 (40) 85361 145 Fax: +49 (40) 85361 322 Mobil: +49 (175)

740 views • 28 slides
Determinate and Timing-Predictable Concurrency in Reactive Systems The Synchronous

Determinate and Timing-Predictable Concurrency in Reactive Systems The Synchronous

Determinate and Timing-Predictable Concurrency in Reactive Systems The Synchronous Approach and the SCCharts Language A r t Reinhard von Hanxleden 1 i * f a S C o m p * l t e n N t e e c t * s T i W s In

578 views • 38 slides
Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty 1 , Partha

Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty 1 , Partha

Part-I: Introduction Preliminaries Problem Def. Functional Def. Algorithm Application to SCCharts and Results Conclusions Runtime Enforcement of Reactive Systems using Synchronous Enforcers Srinivas Pinisetty 1 , Partha Roop 3 , Steven Smyth

665 views • 39 slides
Urban Building Usage Labeling by Geometric and Context Analyses of the Footprint Data Hai Huang,

Urban Building Usage Labeling by Geometric and Context Analyses of the Footprint Data Hai Huang,

Institute of Cartography and Geoinformatics | Leibniz Universitt Hannover Urban Building Usage Labeling by Geometric and Context Analyses of the Footprint Data Hai Huang, Birgit Kieler and Monika Sester Introduction The Usage (use and

915 views • 22 slides
NorPEN The Nordic Pharmacoepidemiological Netw ork for know ledge exchange, research and research

NorPEN The Nordic Pharmacoepidemiological Netw ork for know ledge exchange, research and research

NorPEN The Nordic Pharmacoepidemiological Netw ork for know ledge exchange, research and research training Helle Kieler Centre for Pharmacoepidemiology Karolinska Institutet Sweden Nordic countries and Nordic countries and

525 views • 28 slides
THE CHALLENGE OF TOO FEW JOBS FOR QUALIFIED NUCLEAR POWER GRADUATES: A TEXAS RESPONSE Rudolph

THE CHALLENGE OF TOO FEW JOBS FOR QUALIFIED NUCLEAR POWER GRADUATES: A TEXAS RESPONSE Rudolph

THE CHALLENGE OF TOO FEW JOBS FOR QUALIFIED NUCLEAR POWER GRADUATES: A TEXAS RESPONSE Rudolph Henry, M.S. Nuclear Power Technology, Wharton County Junior College 911 Boling Highway, Wharton, Texas 77488 USA Bruce Kieler, Dr.P.H., M.B.A.

753 views • 71 slides

More recommend