Synchronous Statecharts. Christian Motika
|
|
- Alban Miller
- 5 years ago
- Views:
Transcription
1 Execution (KlePto) Esterel to transformation (KIES) Synchronous Statecharts for executing Esterel with Ptolemy Christian Motika Real-Time Systems and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität zu Kiel, Germany KIEL ER DREAMS Seminar, 03. OCT 2011 Christian Motika Synchronous Statecharts 1 / 36
2 Execution (KlePto) Esterel to transformation (KIES) Motivation Embedded Systems Designed for dedicated applications inside a surrounding system A computer that is not perceived as such Often non-terminating SW, continuous interaction w/ HW Reactive Systems Often safety-critical systems Christian Motika Synchronous Statecharts 2 / 36
3 Execution (KlePto) Esterel to transformation (KIES) Motivation Reactive Systems surrounding system (mechanic, electronic, pneumatic,...) analog hardware (actors) software digitale hardware analog hardware (sensors) Continuous, non-terminating interaction Pace is controlled by the environment Computation (output) of steps of the reactive system Reaction vs. interaction When to produce outputs? In real-time! WCRT Christian Motika Synchronous Statecharts 3 / 36
4 Execution (KlePto) Esterel to transformation (KIES) Motivation Synchronous Languages Separate concerns 1. Functionality 2. Timing Specify functionality, logical timing only (order) Goal: Fully deterministic behavior Assume zero reaction time perfect synchrony w/ interaction Christian Motika Synchronous Statecharts 4 / 36
5 Execution (KlePto) Esterel to transformation (KIES) Motivation Motivation Synchronous model of computation (MoC): Esterel,, SC (control flow) Lustre, Signal, SCADE (data flow) Ptolemy (SR domain) a synchronous statechart dialect Primary example for KIELER framework KlePto: Executing w/ Ptolemy KIES: Esterel to transformation Execute Esterel w/ Ptolemy Christian Motika Synchronous Statecharts 5 / 36
6 Execution (KlePto) Esterel to transformation (KIES) Motivation Esterel Execution (KlePto) Esterel to transformation (KIES) Demo Summary Christian Motika Synchronous Statecharts 6 / 36
7 Execution (KlePto) Esterel to transformation (KIES) Synchrony Concepts ABRO Example What is Esterel? Synchronous language Imperative Control flow oriented Deterministic programs History Developed by J.-P. Marmorat and J.-P. Rigault (at Ecole des Mines de Paris) G. Berry developed a formal semantics for Esterel in 1983 Esterel v5: Has been stable since late 1990s Esterel v7: same principles as in v5, several extensions Christian Motika Synchronous Statecharts 7 / 36
8 Execution (KlePto) Esterel to transformation (KIES) Synchrony Concepts ABRO Example Synchrony in Esterel Definition[Perfect Synchrony] A system works in perfect synchrony, if all reactions of the system are executed in zero time. Hence, outputs are generated at the same time, when the inputs are read. In practice, zero time means before the next interaction Macro steps consist of only finitely many micro steps No data dependent loops in a macro step WCET (high-level, low-level) to meet real-time constraints Christian Motika Synchronous Statecharts 8 / 36
9 Execution (KlePto) Esterel to transformation (KIES) Synchrony Concepts ABRO Example Basic Concepts Imperative language Statement (mostly instantanous) Sequence of statements is a statement s1 ;s 2 Control flow oriented pause statement Modules Signals Esterel programs are a list of modules Module body is a statement Communication Emission, Test emit S, present S, await S Concurrency [ s 1 s 2... s n ] Preemption [weak] abort s when S Christian Motika Synchronous Statecharts 9 / 36
10 Execution (KlePto) Esterel to transformation (KIES) Synchrony Concepts ABRO Example Signals Definition[Signal Coherence] A signal is either present or absent within a macro tick but never both. Present iff emitted, absent otherwise iff emitted means iff an emit statement must be executed Constructiveness Speculative executions are not allowed E.g., present S then emit S else emit S Christian Motika Synchronous Statecharts 10 / 36
11 Execution (KlePto) Esterel to transformation (KIES) Synchrony Concepts ABRO Example Example: ABRO module ABRO: input A, B, R; output O; loop abort [ await A await B ]; emit O; halt when R end loop The system has boolean valued inputs A, B, R, and an output O. Output O shall be true as soon as both inputs A and B have been true. This behavior should be restarted if R is true. end module Christian Motika Synchronous Statecharts 11 / 36
12 Execution (KlePto) Esterel to transformation (KIES) Concepts vs. Statecharts ABRO Example Esterel Execution (KlePto) Esterel to transformation (KIES) Demo Summary Christian Motika Synchronous Statecharts 12 / 36
13 Execution (KlePto) Esterel to transformation (KIES) Concepts vs. Statecharts ABRO Example What are? Statechart dialect (Statecharts proposed by David Harel [1987]) Built on Esterel semantics Invented by Charles André Safe State Machines Was supported by the commercial tool Esterel Studio, which uses Esterel as intermediate step in code generation Christian Motika Synchronous Statecharts 13 / 36
14 Execution (KlePto) Esterel to transformation (KIES) Concepts vs. Statecharts ABRO Example Statechart dialect Mealy machine with Parallelism, hierarchy, compound events, broadcast Synchrony hypothesis Discrete ticks Computations take no time Christian Motika Synchronous Statecharts 14 / 36
15 Execution (KlePto) Esterel to transformation (KIES) Concepts vs. Statecharts ABRO Example Harel-Statecharts vs. Similarities are made up of elements common to most Statecharts dialects: States Initial/terminal states Transitions Signals/Events Hierarchy Modularity Parallelism Christian Motika Synchronous Statecharts 15 / 36
16 Execution (KlePto) Esterel to transformation (KIES) Concepts vs. Statecharts ABRO Example Harel-Statecharts vs. Differences differ from other implementations of Statecharts: Synchronous framework Determinism Compilation into backend language Esterel No interpretation for simulations No hidden behaviour Multiple events Negation of events No inter-level transitions Christian Motika Synchronous Statecharts 16 / 36
17 Execution (KlePto) Esterel to transformation (KIES) Concepts vs. Statecharts ABRO Example Example: ABRO module ABRO: input A, B, R; output O; loop abort [ await A await B ]; emit O; halt when R end loop end module Christian Motika Synchronous Statecharts 17 / 36
18 Execution (KlePto) Esterel to transformation (KIES) in KIELER in Ptolemy Esterel Execution (KlePto) Esterel to transformation (KIES) Demo Summary Christian Motika Synchronous Statecharts 18 / 36
19 Execution (KlePto) Esterel to transformation (KIES) in KIELER in Ptolemy What is KIELER? Kiel Integrated Environment for Layout Eclipse Rich Client Modeling platform and test bed Improve pragmatics Open source and Eclipse based (plug-ins) General concepts: Generic approaches Symbiosis w/ Eclipse technologies (e.g., EMF, GMF, TMF, Xpand, Xtend) Interfaces to other tools (Ptolemy, Papyrus) Christian Motika Synchronous Statecharts 19 / 36
20
21 Execution (KlePto) Esterel to transformation (KIES) in KIELER in Ptolemy Execution in KIELER KIES Xtend2 Xtend2 Xtend2 KlePto S Xtend2 Xpand2/ Xtend2 Esterel RC Ptolemy SC SJ Christian Motika Synchronous Statecharts 21 / 36
22 Execution (KlePto) Esterel to transformation (KIES) KlePto in KIELER in Ptolemy M2M description dsl2moml.xtend produce moml.ecore Xtend M2M model.pto dsl.ecore metamodels model.dsl model to simulate Ptolemy Simulator Data Producer Data Observer load & execute simulation data, model outputs commands, model inputs Execution Manager [Semantics and Execution of Domain Specific Models, MEMWe 2010] Christian Motika Synchronous Statecharts 22 / 36
23 Execution (KlePto) Esterel to transformation (KIES) in KIELER in Ptolemy Ptolemy The Ptolemy project studies heterogeneous modeling, simulation, and design of concurrent systems. Introduction to Ptolemy II, UC Berkeley Executable Models to describe behavior of reactive systems Ptolemy models are a set of interacting components Actor-Oriented Design Christian Motika Synchronous Statecharts 23 / 36
24 Execution (KlePto) Esterel to transformation (KIES) in KIELER in Ptolemy in Ptolemy - Today m Christian Motika Synchronous Statecharts 24 / 36
25 Execution (KlePto) Esterel to transformation (KIES) in KIELER in Ptolemy in Ptolemy - ModalModels and SR ModalModels do cannot analysis to expose signals that cannot be emitted Signals can then be set to absent ModalModels can do this hierarchically Ptolemy models can be heterogeneous: State refinement does not need to be a state machine (e.g., SR) Currently limits this approach Ptolemy Control Flow Domain (w/ Chris Shaver) Christian Motika Synchronous Statecharts 25 / 36
26 Execution (KlePto) Esterel to transformation (KIES) Motivation Concept Transformation Rules Optimization Esterel Execution (KlePto) Esterel to transformation (KIES) Demo Summary Christian Motika Synchronous Statecharts 26 / 36
27 Execution (KlePto) Esterel to transformation (KIES) Motivation Concept Transformation Rules Optimization Model transformations Applications Drawbacks Synthesize multiple (graphical/textual) views from one model Edit a model (refactoring, optimization) Code generation Simulation desires Large and inflexible Hard to visualize Hard to debug Not interactive Goal of KIES: Address the above drawbacks Use case: KIELER Esterel to transformation Christian Motika Synchronous Statecharts 27 / 36
28 Execution (KlePto) Esterel to transformation (KIES) Motivation Concept Transformation Rules Optimization Esterel to [ await A aw emit O each R Transformation end module Optimization Christian Motika Synchronous Statecharts 28 / 36
29 Execution (KlePto) Esterel to transformation (KIES) Motivation Concept Transformation Rules Optimization Transformation Rule A transformation rule is a description of how one or more constructs in the source language can be transformed into one or more constructs in the target language (Mens and Gorp) Esterel to One rule for each Esterel statement Optimization One rule for a certain state Rules presented by Lars Kühl (also formal proofs for Esterel to ) Christian Motika Synchronous Statecharts 29 / 36
30 Execution (KlePto) Esterel to transformation (KIES) Motivation Concept Transformation Rules Optimization Implementation ButtonTrigger XtendFacade current model Xtend rule Combination XtendTransformationContext Transformation- Descriptor model elements name binding step step Transformation- Effect [Interactive Transformations for Visual Models, MEMWe 2011] Christian Motika Synchronous Statecharts 30 / 36
31 Execution (KlePto) Esterel to transformation (KIES) Motivation Concept Transformation Rules Optimization Esterel to emit loop-each Christian Motika Synchronous Statecharts 31 / 36
32 Execution (KlePto) Esterel to transformation (KIES) Motivation Concept Transformation Rules Optimization Optimization Christian Motika Synchronous Statecharts 32 / 36
33 Execution (KlePto) Esterel to transformation (KIES) Summary To Go Further The End KIELER Demo LIVE DEMO Christian Motika Synchronous Statecharts 33 / 36
34 Execution (KlePto) Esterel to transformation (KIES) Summary To Go Further The End Summary Reasearch goals (long term) Investigate on synchronous languages Bringing together graphical and textual syntax Integrate Esterel in KIELER Improve pragmatics Validation purposes (SC and ControlFlow Domain) Reasearch goals (near term) Modular and interactive transformations Understand Debug Teaching Acknowledgements: Reinhard v. Hanxleden, Ulf Rüegg Christian Motika Synchronous Statecharts 34 / 36
35 Execution (KlePto) Esterel to transformation (KIES) Summary To Go Further The End To Go Further CHARLES ANDRÉ. Semantics of, GÉRARD BERRY. The Esterel v5 Language Primer, MOTIKA, C. Semantics and execution of domain specific models KlePto and an execution framework. UC BERKELEY, EECS DEPT. Ptolemy webpage. UNI KIEL, REAL-TIME AND EMBEDDED SYSTEMS GROUP. KIELER webpage. Christian Motika Synchronous Statecharts 35 / 36
36 Execution (KlePto) Esterel to transformation (KIES) Summary To Go Further The End Thank you for your attention and participation! Any questions or suggestions? Christian Motika Synchronous Statecharts 36 / 36
Interactive Esterel to SyncCharts Transformation. Christian Motika
Interactive Esterel to SyncCharts Transformation for executing Esterel with Ptolemy Christian Motika Real-Time Systems and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität
More informationExecuting SyncCharts with Ptolemy
Executing SyncCharts with Christian Motika Real-Time Systems and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität zu Kiel, Germany KIEL ER SYNCHRON Workshop 2010 Frejús,
More informationSCCharts. Sequentially Constructive Charts
SCCharts Sequentially Constructive Charts Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquin Aguado, Stephen Mercer, and Owen O Brien Real-Time Systems and
More informationUpdates on SCCharts Christian Motika Steven Smyth
Updates on SCCharts Updates on SCCharts Christian Motika Steven Smyth SYNCHRON 2015 04. DEC 2015, Kiel 1 Reactive System Updates on SCCharts Safety-critical systems State based reactions Concurrency Synchronous
More informationSynchronous Dataflow Processong
Synchronous Dataflow Processong Claus Traulsen and Reinhard von Hanxleden Christian-Albrechts Universität zu Kiel Echtzeitsysteme / Eingebettete Systeme March 00 CAU Claus Traulsen / 8 Outline Motivation
More informationConcurrent Models of Computation
Concurrent Models of Computation Edward A. Lee Robert S. Pepper Distinguished Professor, UC Berkeley EECS 219D Concurrent Models of Computation Fall 2011 Copyright 2009-2011, Edward A. Lee, All rights
More informationProf. Dr. Reinhard von Hanxleden. Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and Embedded Systems Group
Design of Embedded Systems: Models, Validation and Synthesis (EE 249) Lecture 4a Prof. Dr. Reinhard von Hanxleden Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and
More informationThe Esterel language
Pascal Raymond, Verimag-CNRS Introduction 2 The first synchronous language (early 80 s) Gérard Berry and his team (École des Mines de Paris / INRIA Sophia-Antipolis) Imperative, sequential style (i.e.
More informationIntroduction 2 The first synchronous language (early 80 s) Gérard Berry and his team (École des Mines de Paris / INRIA Sophia-Antipolis) Imperative, s
Pascal Raymond, Verimag-CNRS Introduction 2 The first synchronous language (early 80 s) Gérard Berry and his team (École des Mines de Paris / INRIA Sophia-Antipolis) Imperative, sequential style (i.e.
More informationCompiling SCCharts A Case-Study on Interactive Model-Based Compilation
Compiling SCCharts A Case-Study on Interactive Model-Based Compilation Christian Motika, Steven Smyth, and Reinhard von Hanxleden Real-Time and Embedded Systems Group, Department of Computer Science Christian-Albrechts-Universität
More informationInteractive Transformations for Visual Models
Interactive Transformations for Visual Models Ulf Rüegg, Christian Motika, Reinhard von Hanxleden Christian-Albrechts-Universität zu Kiel {uru,cmot,rvh}@informatik.uni-kiel.de Abstract: Model transformations
More informationStates Transitions Connectors Esterel Studio
Time in Differences SyncCharts differ from other implementations of : Synchronous framework Determinism Compilation into backend language Esterel No interpretation for simulations No hidden behaviour Multiple
More informationOverview. Synchronous Languages Lecture 12. Code Generation for Sequential Constructiveness. Compilation Overview. The 5-Minute Review Session
Synchronous Languages Lecture 12 Overview Prof. Dr. Reinhard von Hanxleden Steven Smyth Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and Embedded Systems Group
More informationReinhard v. Hanxleden 1, Michael Mendler 2, J. Aguado 2, Björn Duderstadt 1, Insa Fuhrmann 1, Christian Motika 1, Stephen Mercer 3 and Owen Brian 3
Sequentially Constructive Concurrency * A conservative extension of the Synchronous Model of Computation Reinhard v. Hanxleden, Michael Mendler 2, J. Aguado 2, Björn Duderstadt, Insa Fuhrmann, Christian
More informationModal Models in Ptolemy
Modal Models in Ptolemy Edward A. Lee Stavros Tripakis UC Berkeley Workshop on Equation-Based Object-Oriented Modeling Languages and Tools 3rd International Workshop on Equation-Based Object-Oriented Modeling
More informationSequential Constructiveness, SCL and SCCharts
Sequential Constructiveness, SCL and SCCharts Incorporating synchrony in conventional languages Reinhard von Hanxleden (U Kiel) 14 March 2018, Collège de France Reactive Systems pause input I output O
More informationPredictable Timing of Cyber-Physical Systems Future Research Challenges
Predictable Timing of Cyber- Systems Future Research Challenges DREAMS Seminar, EECS, UC Berkeley January 17, 2012 David Broman EECS Department UC Berkeley, USA Department of Computer and Information Science
More informationSynchronous Languages Lecture 07
Synchronous Languages Lecture 07 Prof. Dr. Reinhard von Hanxleden Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and Embedded Systems Group 27 May 2015 Last compiled:
More informationEE382N.23: Embedded System Design and Modeling
EE382N.23: Embedded System Design and Modeling Lecture 3 Language Semantics Andreas Gerstlauer Electrical and Computer Engineering University of Texas at Austin gerstl@ece.utexas.edu Lecture 3: Outline
More informationSynchronous C + WCRT Algebra 101
Synchronous C + 101 Reinhard von Hanxleden Joint work with Michael Mendler, Claus Traulsen,... Real-Time and Embedded Systems Group (RTSYS) Department of Computer Science Christian-Albrechts-Universität
More informationInteractive Incremental Hardware Synthesis
Interactive Incremental Hardware Synthesis for SCCharts Francesca Rybicki Bachelor Thesis March 2016 Kiel University Prof. Dr. von Hanxleden Real-Time and Embedded Systems Advised by: Dipl.-Inf. Christian
More informationSpecifications Part 1
pm3 12 Specifications Part 1 Embedded System Design Kluwer Academic Publisher by Peter Marwedel TU Dortmund 2008/11/15 ine Marwedel, 2003 Graphics: Alexandra Nolte, Ges Introduction 12, 2008-2 - 1 Specification
More informationSyncCharts in C. Reinhard von Hanxleden
SyncCharts in C Reinhard von Hanxleden Real-Time and Embedded Systems Group (RTSYS) Department of Computer Science Christian-Albrechts-Universität zu Kiel www.informatik.uni-kiel.de/rtsys EMSOFT 09, Grenoble,
More informationA SyncCharts Editor based on YAKINDU SCT
Christian-Albrechts-Universität zu Kiel Master Thesis A SyncCharts Editor based on YAKINDU SCT cand. inform. Wahbi Haribi March 14, 2013 Department of Computer Science Real-Time and Embedded Systems Group
More informationCyber Physical System Verification with SAL
Cyber Physical System Verification with July 22, 2013 Cyber Physical System Verification with Outline 1 2 3 4 5 Cyber Physical System Verification with Table of Contents 1 2 3 4 5 Cyber Physical System
More informationReactive Web Programming
Reactive Web Programming Colin Vidal colin.vidal@inria.fr INRIA Sophia Antipolis Supervisors : Manuel Serrano Gérard Berry December 2, 2015 1 / 14 JavaScript language A mainstream language to write web
More informationEmbedded Software Engineering
Embedded Software Engineering 3 Unit Course, Spring 2002 EECS Department, UC Berkeley Christoph Kirsch www.eecs.berkeley.edu/~fresco/giotto/course-2002 It s significant $4 billion development effort >
More informationHierarchical FSMs with Multiple CMs
Hierarchical FSMs with Multiple CMs Manaloor Govindarajan Balasubramanian Manikantan Bharathwaj Muthuswamy (aka Bharath) Reference: Hierarchical FSMs with Multiple Concurrency Models. Alain Girault, Bilung
More informationINSTITUT FÜR INFORMATIK
INSTITUT FÜR INFORMATIK A Sequentially Constructive Circuit Semantics for Esterel Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler Bericht Nr. 1801 February 2018 ISSN
More informationUsing and Compiling Esterel
Using and Compiling Esterel Stephen A. Edwards Columbia University Department of Computer Science sedwards@cs.columbia.edu http://www.cs.columbia.edu/ sedwards/ Memocode Tutorial, July 11, 2005 The Esterel
More informationPRET-C: A New Language for Programming Precision Timed Architectures (extended abstract)
PRET-C: A New Language for Programming Precision Timed Architectures (extended abstract) Sidharta Andalam 1, Partha S Roop 1, Alain Girault 2, and Claus Traulsen 3 1 University of Auckland, New Zealand
More informationCompositionality in system design: interfaces everywhere! UC Berkeley
Compositionality in system design: interfaces everywhere! Stavros Tripakis UC Berkeley DREAMS Seminar, Mar 2013 Computers as parts of cyber physical systems cyber-physical ~98% of the world s processors
More informationA Data-Flow Approach for Compiling the Sequentially Constructive Language (SCL)
A Data-Flow Approach for Compiling the Sequentially Constructive Language (SCL) Steven Smyth, Christian Motika, and Reinhard von Hanxleden Real-Time and Embedded Systems Group, Department of Computer Science
More informationHardware Description Languages & System Description Languages Properties
Hardware Description Languages & System Description Languages Properties There is a need for executable specification language that is capable of capturing the functionality of the system in a machine-readable
More informationRemoving Cycles in Esterel Programs
Removing Cycles in Esterel Programs Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) der Technischen Fakultät der Christian-Albrechts-Universität zu Kiel
More informationPredictable multithreading of embedded applications using PRET-C
Predictable multithreading of embedded applications using PRET-C Sidharta Andalam University of Auckland New Zealand Interactive Presentation March 2010 Andalam (UoA) PRET DATE'10 1 / 20 Layout 1 Introduction
More informationWorld Wide Web Server.
World Wide Web Server Complete distribution of version 0.5.2, including all source code. Distribution of Ptiny Ptolemy, a small demonstration version. An evolving quick tour of Ptolemy with animations
More informationAnalyzing Robustness of UML State Machines
Analyzing Robustness of UML State Machines Reinhard von Hanxleden Department of Computer Science and Applied Mathematics Real-Time Systems and Embedded Systems Group Christian-Albrecht Universität zu Kiel
More informationRe-engineering engineering Home Service Robots Improving Software Reliability: A Case Study. Moonzoo Kim, etc
Re-engineering engineering Home Service Robots Improving Software Reliability: A Case Study Moonzoo Kim, etc Agenda Introduction Re-engineering engineering Software Architecture Control Plane Re-engineering
More informationThe Esterel Language. The Esterel Version. Basic Ideas of Esterel
The Synchronous Language Esterel OMS W4995-02 Prof. Stephen. Edwards Fall 2002 olumbia University epartment of omputer Science The Esterel Language eveloped by Gérard erry starting 1983 Originally for
More informationEsterel and the Synchronous Approach
Esterel and the Synchronous Approach Stephen A. Edwards Columbia University April 2009 The Big Picture The Digital Approach Discretize value to completely eliminate noise The Synchronous Approach Discretize
More informationSafe Reactive Programming: the FunLoft Proposal
Safe Reactive Programming: the FunLoft Proposal Frédéric Boussinot MIMOSA Project, Inria Sophia-Antipolis (Joint work with Frédéric Dabrowski) http://www.inria.fr/mimosa/rp With support from ALIDECS SYNCHRON
More informationLecture 2. The SCADE Language Data Flow Kernel. Daniel Kästner AbsInt GmbH 2012
Lecture 2 The SCADE Language Data Flow Kernel Daniel Kästner AbsInt GmbH 2012 2 Synchronous Programming Two simple ways of implementing reactive systems: Event-driven Foreach input_event
More informationA Simple Example. The Synchronous Language Esterel. A First Try: An FSM. The Esterel Version. The Esterel Version. The Esterel Version
The Synchronous Language Prof. Stephen. Edwards Simple Example The specification: The output O should occur when inputs and have both arrived. The R input should restart this behavior. First Try: n FSM
More informationSynchronous reactive programming
Synchronous reactive programming Marcus Sundman Department of Computer Science Åbo Akademi University, FIN-20520 Åbo, Finland e-mail: marcus.sundman@iki.fi URL: http://www.iki.fi/marcus.sundman/ Abstract
More informationOrccad, a Model Driven Architecture and Environment for Real-Time Control. Soraya Arias Florine Boudin Roger Pissard-Gibollet Daniel Simon
1 Orccad, a Model Driven Architecture and Environment for Real-Time Control Soraya Arias Florine Boudin Roger Pissard-Gibollet Daniel Simon 2 Orccad : status and motivations Model: Control design oriented
More informationReal-Time Programming Languages (ADA and Esterel as Examples)
Real-Time Programming Languages (ADA and Esterel as Examples) Real-Time Systems, 2008 RT Languages, 1 RT Language Classes HLL suitable for RT-Analysis (e.g., rms or time-driven) Synchronous HLL (clock
More informationA Multi-Threaded Reactive Processor
A Multi-Threaded Reactive Processor Xin Li Marian Boldt Reinhard v. Hanxleden Real-Time Systems and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität zu Kiel, Germany
More informationIntroduction to Embedded Systems
Introduction to Embedded Systems Sanjit A. Seshia UC Berkeley EECS 149/249A Fall 2015 2008-2015: E. A. Lee, A. L. Sangiovanni-Vincentelli, S. A. Seshia. All rights reserved. Chapter 3: Discrete Dynamics,
More informationCodesign Framework. Parts of this lecture are borrowed from lectures of Johan Lilius of TUCS and ASV/LL of UC Berkeley available in their web.
Codesign Framework Parts of this lecture are borrowed from lectures of Johan Lilius of TUCS and ASV/LL of UC Berkeley available in their web. Embedded Processor Types General Purpose Expensive, requires
More informationSynchronous Specification
Translation Validation for Synchronous Specification in the Signal Compiler Van-Chan Ngo Jean-Pierre Talpin Thierry Gautier INRIA Rennes, France FORTE 2015 Construct a modular translation validationbased
More informationAutomatic Code Generation from Stateflow Models
Automatic Code Generation from Stateflow Models Andres Toom IB Krates OÜ / Institute of Cybernetics at TUT Based on the Master s Thesis 05.2007 Supervisors: Tõnu Näks, Tarmo Uustalu TUT Department of Computer
More informationPtolemy II The automotive challenge problems version 4.1
Ptolemy II The automotive challenge problems version 4.1 Johan Eker Edward Lee with thanks to Jie Liu, Paul Griffiths, and Steve Neuendorffer MoBIES Working group meeting, 27-28 September 2001, Dearborn
More informationEsterel. Software Environment
Esterel Software Environment xesterel GUI(v5_9x) Visit //www.esterel-technologies.com for academic version 2 Project name Esterel Studio Strl file name Tree pane Textual Document pane Main Tool icons console
More informationSection 8. The Basic Step Algorithm
Section 8. The Basic Step Algorithm Inputs The status of the system The current time A list of external changes presented by the environment since the last step Comments Scheduled action appears in the
More informationA Generic Framework for Structure-Based Editing of Graphical Models in Eclipse
Christian-Albrechts-Universität zu Kiel Diploma Thesis A Generic Framework for Structure-Based Editing of Graphical Models in Eclipse cand.inform. Michael Matzen March 26, 2010 Department of Computer Science
More informationEarly design phases. Peter Marwedel TU Dortmund, Informatik /10/11. technische universität dortmund. fakultät für informatik informatik 12
12 Early design phases Peter Marwedel TU Dortmund, Informatik 12 2010/10/11 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Graphics: Alexandra Nolte, Gesine Marwedel, 2003
More informationA Multi-Threaded Reactive Processor
Introduction The Kiel Esterel Processor Experimental Results and Outlook A Multi-Threaded Reactive Processor Reinhard v. Hanxleden Joint work with Xin Li* and Marian Boldt Real-Time Systems and Embedded
More informationECL: A SPECIFICATION ENVIRONMENT FOR SYSTEM-LEVEL DESIGN
/ ECL: A SPECIFICATION ENVIRONMENT FOR SYSTEM-LEVEL DESIGN Gerard Berry Ed Harcourt Luciano Lavagno Ellen Sentovich Abstract We propose a new specification environment for system-level design called ECL.
More informationEsterel. Software Environment
Esterel Software Environment xesterel GUI(v5_9x) Visit //www.esterel-technologies.com for academic version 2 Project name Esterel Studio Strl file name Tree pane Textual Document pane Main Tool icons console
More informationSystem Level Design and Verification Using a Synchronous Language
System Level Design and Verification Using a Synchronous Language Gérard Berry Esterel Technologies France gerard.berry@estereltechnologies.com Michael Kishinevsky Intel Corp. Hillsboro, OR michael.kishinevsky@intel.com
More informationAdvanced Tool Architectures. Edited and Presented by Edward A. Lee, Co-PI UC Berkeley. Tool Projects. Chess Review May 10, 2004 Berkeley, CA
Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley Chess Review May 10, 2004 Berkeley, CA Tool Projects Concurrent model-based design Giotto (Henzinger) E machine & S
More informationSynchronous Estelle: Just Another Synchronous Language?
Electronic Notes in Theoretical Computer Science 88 (2003) URL: http://www.elsevier.nl/locate/entcs/volume88.html 15 pages Synchronous Estelle: Just Another Synchronous Language? Miguel Riesco 1 Javier
More informationINSTITUT FÜR INFORMATIK
INSTITUT FÜR INFORMATIK Automatic Layout of Data Flow Diagrams in KIELER and Ptolemy II Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden Bericht Nr. 0914 Juli 2009 CHRISTIAN-ALBRECHTS-UNIVERSITÄT
More informationThe etrice Eclipse Project Proposal
The etrice Eclipse Project Proposal Dipl.-Ing. Thomas Schütz, Protos Software GmbH Eclipse Embedded Day 2010, Stuttgart Agenda Motivation Scope of etrice ROOM Language Codegenerators Middleware Realization
More informationSeparate Translation of Synchronous Programs to Guarded Actions
Separate Translation of Synchronous Programs to Guarded Actions Jens Brandt and Klaus Schneider Embedded Systems Group Department of Computer Science University of Kaiserslautern http://es.cs.uni-kl.de
More informationSCXML State Chart XML
SCXML State Chart XML Previously, in this course... Previously, in this course... Running Example all actions omitted wasn t it supposed to help? Previously, in this course... Running Example all actions
More informationPrincipia lingua SystemJ
The Department of Electrical & Computer Engineering The University of Auckland New Zealand Principia lingua SystemJ Avinash Malik January 2010 Supervisor: Co-Supervisor: Prof. Zoran Salcic Dr. Partha S.
More informationIntroduction to Dependable Systems: Meta-modeling and modeldriven
Introduction to Dependable Systems: Meta-modeling and modeldriven development http://d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 3 Software development Automated software
More informationBehavioral Specification of a Circuit using SyncCharts: A Case Study
Behavioral Specification of a Circuit using SyncCharts: A Case Study Charles André, Marie-Agnès Peraldi-Frati I3S Laboratory - University of Nice Sophia-Antipolis / CNRS 2000 route des Lucioles, BP 121
More informationXEVE, an ESTEREL Verification Environment
XEVE, an ESTEREL Verification Environment Amar Bouali INRIA, B.P. 93, F-06902 Sophia-Antipolis cedex amar@sophia, inria, fr Abstract. We describe the verification methods and tools we are currently developing
More informationESUIF: An Open Esterel Compiler
ESUIF: An Open Esterel Compiler Stephen A. Edwards Department of Computer Science Columbia University www.cs.columbia.edu/ sedwards Not Another One... My research agenda is to push Esterel compilation
More informationUC Berkeley Mobies Technology Project
UC Berkeley Mobies Technology Project Process-Based Software Components for Networked Embedded Systems PI: Edward Lee CoPI: Tom Henzinger Heterogeneous Modeling Discrete-Event RAM mp I/O DSP DXL ASIC Hydraulic
More informationCompiling Esterel. Dumitru Potop-Butucaru. Stephen A. Edwards Gérard Berry
Compiling Esterel Compiling Esterel Dumitru Potop-Butucaru Stephen A. Edwards Gérard Berry A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN 978-0-387-70626-9 (HB)
More informationPredictable Execution with IEC 61499
Predictable Execution with IEC 61499 Li Hsien Yoong The University of Auckland Sequence of presentation What has been achieved: Deterministic behaviour of centralized IEC 61499 systems Current goal: Deterministic
More informationThe Synchronous Languages 12 Years Later
The Synchronous Languages 12 Years Later Tawatchai Siripanya Seminar in Programming Language(19666) Advisor: Lilit Hakobyan Supervisor: Prof. Dr. Elfriede Fehr Institute of Computer Science Freie Universität
More informationRemote Control. IMMS.de
Remote Control Statecharts Kurzdefinition [Harel88]: Statecharts = state-diagrams + depth + orthogonality + broadcast communication Statecharts Elements (1) Events (e.g. txt)» Typeless» no value (it exists
More informationA PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING
A PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING Frédéric Boulanger Supélec Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France Email: Frederic.Boulanger@supelec.fr Guy
More informationDeterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach Joaquín Aguado 1, Michael Mendler 1, Marc Pouzet 2, Partha Roop 3, and Reinhard von Hanxleden 4 1 Otto-Friedrich-Universität Bamberg,
More informationCIS 1.5 Course Objectives. a. Understand the concept of a program (i.e., a computer following a series of instructions)
By the end of this course, students should CIS 1.5 Course Objectives a. Understand the concept of a program (i.e., a computer following a series of instructions) b. Understand the concept of a variable
More informationProgramming Deterministic Reactive Systems with Synchronous Java
Programming Deterministic Reactive Systems with Synchronous Java Christian Motika and Reinhard von Hanxleden and Mirko Heinold Dept. of Computer Science Christian-Albrechts-Unversität zu Kiel 24098 Kiel,
More informationAn Introduction to Lustre
An Introduction to Lustre Monday Oct 06, 2014 Philipp Rümmer Uppsala University Philipp.Ruemmer@it.uu.se 1/35 ES Programming languages Which language to write embedded software in? Traditional: low-level
More informationTsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems Huafeng Zhang 1, Yu Jiang 1, Han Liu 1, Ming Gu 1, and Jiaguang Sun 1 School of Software, Tsinghua University, China Abstract.
More informationEmbedded software design with Polychrony
Embedded software design with Polychrony DATE 09 tutorial on Correct-by-Construction Embedded Software Synthesis: Formal Frameworks, Methodologies, and Tools Jean-Pierre Talpin, RIA List of contributors
More informationBuilding Synchronous DataFlow graphs with UML & MARTE/CCSL
Building Synchronous DataFlow graphs with UML & MARTE/CCSL F. Mallet, J. DeAntoni, C. André, R. de Simone Aoste - INRIA/I3S Université de Nice Sophia Antipolis UML & Formal methods Ambiguity and structural
More informationŁabiak G., Miczulski P. (IIE, UZ, Zielona Góra, Poland)
UML STATECHARTS AND PETRI NETS MODEL COMPARIS FOR SYSTEM LEVEL MODELLING Łabiak G., Miczulski P. (IIE, UZ, Zielona Góra, Poland) The system level modelling can be carried out with using some miscellaneous
More informationReactive Parallel Processing for Synchronous Dataflow
Reactive Parallel Processing for Synchronous Dataflow Claus Traulsen and Reinhard von Hanxleden Real-Time and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität zu Kiel
More informationCompilation of Imperative Synchronous Programs with Refined Clocks
Compilation of Imperative Synchronous Programs with Refined Clocks Mike Gemünde, Jens Brandt and Klaus Schneider Embedded Systems Group Department of Computer Science University of Kaiserslautern, Germany
More informationThe Synchronous Hypothesis and Synchronous Languages
The Synchronous Hypothesis and Synchronous Languages Dumitru Potop-Butucaru Λ IRISA, Rennes, France Robert de Simone INRIA, Sophia-Antipolis, France November 2, 2004 Jean-Pierre Talpin IRISA, Rennes, France
More informationConcurrent Models of Computation for Embedded Software
Concurrent Models of Computation for Embedded Software Edward A. Lee Professor, UC Berkeley EECS 219D Concurrent Models of Computation Fall 2011 Copyright 2009-2011, Edward A. Lee, All rights reserved
More informationHardware Description Languages & System Description Languages Properties
Hardware Description Languages & System Description Languages Properties There is a need for executable specification language that is capable of capturing the functionality of the system in a machine-readable
More informationRemoving Cycles in Esterel Programs
Removing Cycles in Esterel Programs Jan Lukoschus 1, Reinhard von Hanxleden 2 1 Christian-Albrechts-Universität zu Kiel, Institut für Informatik 24098, Kiel, Olshausenstr. 40, Germany jlu@informatik.uni-kiel.de
More informationSimulink/Stateflow. June 2008
Simulink/Stateflow Paul Caspi http://www-verimag.imag.fr/ Pieter Mosterman http://www.mathworks.com/ June 2008 1 Introduction Probably, the early designers of Simulink in the late eighties would have been
More informationFROM SYNCHRONOUS SPECIFICATIONS TO ASYNCHRONOUS DISTRIBUTED IMPLEMENTATIONS Technische Universitiit Miinchen Peter Scholz
FROM SYNCHRONOUS SPECIFICATIONS TO ASYNCHRONOUS DISTRIBUTED IMPLEMENTATIONS Technische Universitiit Miinchen Peter Scholz In this contribution, we sketch a design process for reactive systems, specified
More informationChapter 2 Synchronous Programming: Overview
Chapter 2 Synchronous Programming: Overview Abstract This chapter gives an overview of synchronous programming through the presentation of the main existing languages together with their associated tools.
More informationBuilding Unreliable Systems out of Reliable Components: The Real Time Story
Building Unreliable Systems out of Reliable Components: The Real Time Story Edward A. Lee Professor, Chair of EE, and Associate Chair of EECS CHESS: Center for Hybrid and Embedded Software Systems UC Berkeley
More informationConcurrent Models of Computation
Chapter 5 Concurrent Models of Computation Contents 5.1 Structure of Models....................... 117 5.2 Synchronous-Reactive Models................. 118 Sidebar: Actor Networks as a System of Equations.......
More informationModular code generation from synchronous models:
Modular code generation from synchronous models: modularity vs. reusability vs. code size Stavros Tripakis Joint work with Roberto Lublinerman, Penn State CHESS seminar, Berkeley, Feb 2009 1 Semantics-preserving
More informationHW/SW Design Space Exploration on the Production Cell Setup
HW/SW Design Space Exploration on the Production Cell Setup Communicating Process Architectures 2009, Formal Methods Week Eindhoven University of Technology, The Netherlands, 04-11-2009 Marcel A. Groothuis,
More informationFusing Dataflow with Finite State Machines
May 3, 1996 U N T H E I V E R S I T Y A O F LE T TH E R E B E 1 8 6 8 LIG H T C A L I A I F O R N Fusing Dataflow with Finite State Machines Department of Electrical Engineering and Computer Science Bilung
More information