How to explicitly defines MoCCs within a model
|
|
- Antonia Patterson
- 5 years ago
- Views:
Transcription
1 How to explicitly defines MoCCs within a model AOSTE sophia I3S/UNS/INRIA Synchron
2 the RT-Simex project (or a mean to check an implementation against its specification ) AOSTE sophia I3S/UNS/INRIA Frederic Thomas, Étienne Juliot Obeo Jean-Philippe Babau UBO and more... Synchron
3 Logical work: How to explicitly defines MoCCs within a model AOSTE sophia I3S/UNS/INRIA Synchron
4 Logical Time... focuses on causal relations between events Is independent of the abstraction level Is multi-clock (polychronous) Provides a partial order between events After 23 starts of the computer, a disk check is done The computation duration is 156 processor ticks 4
5 Logical Time... focuses on causal relations between events Is independent of the abstraction level Is multi-clock (polychronous) Provides a partial order between events After 23 starts of the computer, a disk check is done The computation duration is 156 processor ticks In modern laptop, tick is logical since the processor speed depend on the battery level 5
6 Logical Time... focuses on causal relations between events Is independent of the abstraction level Is multi-clock (polychronous) Provides a partial order between events LOGICAL TIME Friedemann Mattern Darmstadt University of Technology 6
7 Physical Time... Can be seen as a special case of logical time After 5 secondes, it stops... After 5 events of the second clock, it stops 7
8 Modeling: an example Structure Behavior Platform-Based Software Design Flow for Heterogeneous MPSoC K. POPOVICI, X. GUERIN, F. ROUSSEAU, P. S. PAOLUCCI, A. JERRAYA ACM Transactions on Embedded Computing Systems, Vol. 7, No. 4, Article 39, Publication date : July
9 Modeling: an example Structure Elaboration phase (SystemC) Behavior Simulation Platform-Based Software Design Flow for Heterogeneous MPSoC K. POPOVICI, X. GUERIN, F. ROUSSEAU, P. S. PAOLUCCI, A. JERRAYA ACM Transactions on Embedded Computing Systems, Vol. 7, No. 4, Article 39, Publication date : July
10 Traditional modelling approach Structure Black-box + Interfaces (Ports, Data Types) Behavioral abstraction Messages + possibly period and performance requirements,... What we find missing: Detailed definition of timing and synchronization properties Communication protocol requirements This missing information is often deported elsewhere 10 10
11 Time & Semantics physical time Extra functional Single time (total order) Timing constraints to be satisfied at execution Simulation semantics possibly different from synthesis UML, SystemC HDLs 11 11
12 Time & Semantics Logical functional time physical time Functional: sequence of reaction steps Multiple times (local / global) Synchronization primitives constraints between local activation times Synthesis / Compilation Extra functional Single time (total order) Timing constraints to be satisfied at execution Simulation semantics possibly different from synthesis Process networks (SDF), synchronous reactive formalisms, statecharts UML, SystemC HDLs 12 12
13 Time as semantics physical time Logical functional time Extra functional Functional: sequence of reaction steps Multiple times (local / global) Synchronization primitives constraints between local activation times Synthesis / Compilation Single time (total order) Timing constraints to be satisfied at execution Our choice Simulation semantics possibly different from synthesis UML, SystemC Process networks (SDF), synchronous reactive formalisms, statecharts HDLs 13 13
14 Logical Time (in MARTE TIME MODEL) The main concept is the Clock. It is a way to specify a, possibly infinite, ordered set of instants It can be logical or chronometric, discrete or dense Its type is a ClockType itsresolution = 1 = TAI = discrete tick 14 14
15 MARTE TIME MODEL 1..* itsresolution = 1 = TAI Simplified view of the MARTE Time meta-model 15 15
16 An extension * AnyElement itsresolution = 1 = TAI Simplified view of the MARTE Time meta-model 16 16
17 MARTE TIME MODEL Sketchy example of its use User model Producer c1 Consumer 17 17
18 Logical time in models Sketchy example of its use User model Producer c1 sendevent Consumer receiveevent 18 18
19 Logical time in models Sketchy example of its use User model Producer c1 sendevent on c1.sendevent: LogicalClock Consumer receiveevent on c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete The ordered set of sendevent is bijective with the ordered set of instants of c1.sendevent 19 19
20 CCSL Clock Constraint Specification Language Firstly introduced in the MARTE TIME profile Declarative model-based language integrated with Eclipse Formal semantics (both denotational and operational) Tooled (TimeSquare) Explicitly represents / specifies relations between clocks 20 20
21 CCSL (Clock Constraint Specification Language) Relations: dependencies between clocks Coincidence Exclusion Precedence Alternance = # < ~ Expressions: a mean to create new clocks from others Delay Filtering Union Intersection Periodicity delayedfor X on aclock aclock filteredby abinaryword aclock union anotherclock aclock inter anotherclock periodicon aclock period X offset Y 21 21
22 CCSL (Clock Constraint Specification Language) Relations: dependencies between clocks Coincidence = Exclusion # Precedence < Alternance ~ Expressions: a mean to create new clocks from others Delay delayedfor X on aclock Filtering aclock filteredby abinaryword Union aclock union anotherclock Intersection aclock inter anotherclock Periodicity periodicon aclock period X offset Y Libraries: user-defined relations and expressions for a specific domain 22 22
23 CCSL Sketchy example of its use User model Producer c1 sendevent on c1.sendevent: LogicalClock Consumer receiveevent on c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete The ordered set of sendevent is bijective with the ordered set of instants of c1.sendevent 23 23
24 CCSL Sketchy example of its use User model Producer Consumer c1 sendevent receiveevent on on c1.sendevent: LogicalClock c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete left right R1 : Coincides 24 24
25 CCSL Sketchy example of its use User model Producer Consumer c1 sendevent receiveevent on on c1.sendevent: LogicalClock c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete left right R1 : Precedes 25 25
26 CCSL Sketchy example of its use User model Producer Consumer c1 sendevent receiveevent on on c1.sendevent: LogicalClock c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete left right R1 : Precedes bound:
27 CCSL Sketchy example of its use User model Producer c1 sendevent Consumer receiveevent on on c1.sendevent: LogicalClock c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete R1 : Precedes R1 : delay bound: 3 d: 3 R1 : period R1 : sample p:
28 CCSL Sketchy example of its use User model Producer c1 sendevent Consumer receiveevent on on c1.sendevent: LogicalClock c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete R1 : Precedes R1 : delay bound: 3 d: 3 com1 : MyComSemantics R1 : period p: 3 p: 5 d: 2 b: 3 R1 : sample 28 28
29 CCSL Sketchy example of its use User model Producer c1 sendevent Consumer receiveevent on on c1.sendevent: LogicalClock c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete R1 : Precedes R1 : delay bound: 3 d: 3 com1 : MyComSemantics R1 : period p: 3 p: 5 d: 2 b: 3 R1 : sample 29 29
30 CCSL Sketchy example of its use User model Producer c1 sendevent Consumer receiveevent on on c1.sendevent: LogicalClock c1.receiveevent: LogicalClock MARTE model LogicalClock : ClockType IsLogical : True Nature : discrete R1 : Precedes R1 : delay bound: 3 d: 3 com1 : MyComSemantics p: 5 d: 2 R1 : sample Means to define formally timed Models of b: 3 p: 3 Computations and Communications (MoCCs) R1 : period 30 30
31 Why CCSL? Means to define formally timed Models of Computations and Communications (MoCCs) Notation to describe semantic relations between timed behaviors (illustrated below) Specification of sophisticated synchronizations Polychronous system modeling Akin to Tagged Systems (Lee & Sangiovanni-Vincentelli) 31
32 Synchronous DataFlow Nodes are called actors SDF Meta-model Arcs have a delay Input/Output have a weight (Number of data samples consumed/produced) 32
33 Synchronous DataFlow SDF Metamodel SDF Model 33
34 Synchronous DataFlow SDF firing rules: Actor enabling = each incoming arc carries at least weight tokens Actor execution = atomic consumption/production of tokens by an enabled actor i.e., consume weight tokens on each incoming arcs and produce weight tokens on each outgoing arc Delay is an initial token load on an arc. How can CCSL express this semantics? 34
35 SDF Example Evolutions of the model Static schedule: A A BA A B CC 35
36 How to model SDF graphs in UML? Where is the semantics? Is that compatible with the UML semantics? CCSL makes the semantics explicit within the model 36
37 SDF semantics with CCSL (1/2) SDF CCSL Actor A Clock A; Token T Input i Output o Clock write, read; 37
38 SDF semantics with CCSL (2/2) SDF CCSL 38
39 Example 39
40 Simulate and animate the UML/MARTE model in TimeSquare (
41 Simulate and animate the UML/MARTE model in TimeSquare (
42 AOSTE s Tools TimeSquare Software environment dedicated to the Specification of CCSL constraints Resolution of CCSL constraints Simulation and generation of trace model Animation of UML models Exploration of augmented timing diagrams K-Passa Computation of static schedules for specific MoCCs Marked Graphs, Synchronous DataFlow, Latency-Insensitive Designs, Kperiodical Routed Graphs Analysis (deadlock freeness, safety) Optimization (latency, throughput, interconnect buffer size) Code generation (stand-alone simulator, co-simulation) 42
43 Tool download 43
44 work: the project AOSTE sophia I3S/UNS/INRIA Frédéric Thomas, Étienne Juliot Obeo Jean-Philippe Babau UBO and more... FSE
45 Retro-ingénierie de Traces d'analyse de SIMulation et d'exécution de systèmes temps-réel 45
46 Context : help the designer Designer Code Real time Multi-task execution Analysis of the execution 46 46
47 Context: execution traces Designer JumpShot, Vampir, Linux Tool Eclipse Project Code Real time Multi-task execution Exection analysis and reports Temporal execution traces OTF, VCD 47 47
48 observations Designer Model Code Real time Multi-task execution SDL, AADL... Execution analysis and report Temporal execution traces 48 48
49 RT-Simex objectives Designer Models UML MARTE Eclipse Execution analysis and report AT THE MODEL LEVEL Code Real time Multi-task execution Temporal execution traces 49 49
50 Processus RT-Simex 50 50
51 Processus RT-Simex 51 51
52 Processus RT-Simex CCSL specification 52 52
53 CCSL (Clock Constraint Specification Language) Relations: dependencies between clocks Coincidence = Exclusion # Precedence < Alternance ~ Expressions: a mean to create new clocks from others Delay delayedfor X on aclock Filtering aclock filteredby abinaryword Union aclock union anotherclock Intersection aclock inter anotherclock Periodicity periodicon aclock period X offset Y Libraries: user-defined relations and expressions for a specific domain 53 53
54 Graphical formal annotation over a UML model for RT-Simex
55 Processus RT-Simex CCSL specification 55 55
56 Processus RT-Simex Clock instant must be monitored at runtime CCSL specification 56 56
57 Processus RT-Simex CCSL specification For a specific platform, this is a total order
58 Processus RT-Simex CCSL specification For a specific platform, this is a total order... For two communicating platforms, the traces are multi-clocks and must be Synchronized... The result is a partial order 58 58
59 Processus RT-Simex CCSL specification If simulated, it replays the execution... CCSL specification 59 59
60 Processus RT-Simex CCSL specification If simulated it replays the execution... So you can have a timing diagram, animate the model and so on... CCSL specification 60 60
61 A specification and the actual execution 61 61
62 Processus RT-Simex CCSL specification CCSL specification 62 62
63 Processus RT-Simex CCSL assertions CCSL specification 63 63
64 Processus RT-Simex CCSL assertions CCSL You can simulation both together to see if a violation occurs specification 64 64
65 Processus RT-Simex You can simulation both together to see if a violation occurs CCSL Violation of Clk3b issubclockof clk3 assertions CCSL specification 65 65
66 Conclusion Two uses of CCSL: A formal language to specify MoCC explicitly within a model, MOCC library construction, No hidden rules or implementation Directly linked to the model A formal language to specify real-time properties AND to check the correctness of a specific implementation Possibility to specify construct for a specifict domain, Possibility to change the rolle of a CCSL model, from specification, to assertion
67 Some future ongoing works Heterogenenous systems Clocks and CCSL are a way to explicitly glue various MoCC Use of CCSL for Power Domain Add of user defined simulation policy EDF, RMA and all you can imagine (use of back-end) Optimization of the TimeSquare solver Optimize BDD depending on clock domains Instant refinement
68 Some future ongoing works Heterogenenous systems Clocks and CCSL are a way to explicitly glue various MoCC Use of CCSL for Power Domain Add of user defined simulation policy EDF, RMA and all you can imagine (use of back-end) Optimization of the TimeSquare solver Optimize BDD depending on clock domains Instant refinement
69 Some future ongoing works Heterogenenous systems Clocks and CCSL are a way to explicitly glue various MoCC Use of CCSL for Power Domain Add of user defined simulation policy EDF, RMA and all you can imagine (use of back-end) Optimization of the TimeSquare solver Optimize BDD depending on clock domains Instant refinement
70 Thank you! 70
Building 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 informationUML Profile for MARTE: Time Model and CCSL
UML Profile for MARTE: Time Model and CCSL Frédéric Mallet 1 Université Nice Sophia Antipolis, Aoste team INRIA/I3S, Sophia Antipolis, France Frederic.Mallet@unice.fr Abstract. This 90 minutes tutorial
More informationBy: Chaitanya Settaluri Devendra Kalia
By: Chaitanya Settaluri Devendra Kalia What is an embedded system? An embedded system Uses a controller to perform some function Is not perceived as a computer Software is used for features and flexibility
More informationModeling of immediate vs. delayed data communications: from AADL to UML MARTE
ECSI Forum on specification & Design Languages (FDL) (2007) 249-254 Modeling of immediate vs. delayed communications: from AADL to UML MARTE Charles André, Frédéric Mallet, Robert de Simone I3S, Université
More informationDealing with AADL end-to-end Flow Latency with UML Marte.
Dealing with AADL end-to-end Flow Latency with UML Marte. Su-Young Lee, Frédéric Mallet, Robert De Simone To cite this version: Su-Young Lee, Frédéric Mallet, Robert De Simone. Dealing with AADL end-to-end
More informationExecuting AADL models with UML/Marte
Executing AADL models with UML/Marte Frédéric Mallet, Charles André, Julien Deantoni To cite this version: Frédéric Mallet, Charles André, Julien Deantoni. Executing AADL models with UML/Marte. Int. Conf.
More informationCCSL: specifying clock constraints with UML/MARTE
CCSL: specifying clock constraints with UML/MARTE Frédéric Mallet To cite this version: Frédéric Mallet. CCSL: specifying clock constraints with UML/MARTE. Innovations in Systems and Software Engineering,
More informationSystem-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex)
System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex) AADL Standards Meeting June 6., 2011 Jean-Pierre Talpin, INRIA Parts of this presentation are joint work with Paul,
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 informationChapter 2 MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
Preface Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary
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 informationEmbedded Systems CS - ES
Embedded Systems - 1 - Synchronous dataflow REVIEW Multiple tokens consumed and produced per firing Synchronous dataflow model takes advantage of this Each edge labeled with number of tokens consumed/produced
More informationCombining CCSL and Esterel to specify and verify time requirements
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Combining CCSL and Esterel to specify and verify time requirements Charles André Frédéric Mallet N 6839 February 2009 Thème COM apport de
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 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 informationOverview of Dataflow Languages. Waheed Ahmad
Overview of Dataflow Languages Waheed Ahmad w.ahmad@utwente.nl The purpose of models is not to fit the data but to sharpen the questions. Samuel Karlins 11 th R.A Fisher Memorial Lecture Royal Society
More informationMain application of SDF: DSP hardware modeling
EE 144/244: Fundamental lgorithms for System Modeling, nalysis, and Optimization Fall 2014 Dataflow Timed SDF, Throughput nalysis Stavros Tripakis University of California, erkeley Stavros Tripakis (UC
More informationMARTE for time modeling and verification of real-time embedded system
MARTE for time modeling and verification of real-time embedded system Marie-Agnès Peraldi-Frati, Frédéric Mallet, Julien Deantoni, I3S Laboratory CNRS, University of Nice Sophia-Antipolis, INRIA Sophia-Antipolis,
More informationVerifying MARTE/CCSL Mode Behaviors using UPPAAL
Verifying MARTE/CCSL Mode Behaviors using UPPAAL Jagadish Suryadevara 1, Cristina Seceleanu 1, Frédéric Mallet 2 and Paul Pettersson 1 1 Mälardalen Real-Time Research Centre, Mälardalen University, Västerås,
More informationMarte CCSL to execute East-ADL Timing Requirements
Marte CCSL to execute East-ADL Timing Requirements Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André To cite this version: Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. Marte CCSL
More informationSystem-level Synthesis of Dataflow Applications for FPGAbased Distributed Platforms
System-level Synthesis of Dataflow Applications for FPGAbased Distributed Platforms Hugo A. Andrade, Kaushik Ravindran, Alejandro Asenjo, Casey Weltzin NI Berkeley, NI Austin National Instruments Corporation
More informationMoCC - Models of Computation and Communication SystemC as an Heterogeneous System Specification Language
SystemC as an Heterogeneous System Specification Language Eugenio Villar Fernando Herrera University of Cantabria Challenges Massive concurrency Complexity PCB MPSoC with NoC Nanoelectronics Challenges
More informationfakultät für informatik informatik 12 technische universität dortmund Data flow models Peter Marwedel TU Dortmund, Informatik /10/08
12 Data flow models Peter Marwedel TU Dortmund, Informatik 12 2009/10/08 Graphics: Alexandra Nolte, Gesine Marwedel, 2003 Models of computation considered in this course Communication/ local computations
More informationToward understandable co-simulations in model driven engineering
Toward understandable co-simulations in model driven engineering University of Nice, I3S CNRS Julien.deantoni@polytech.unice.fr INRIA Aoste Embedded cyber-physical systems Application Concurrent application
More informationTKT-1527 Digital System Design Issues Tero Arpinen. Introduction to SoC modeling and Models of Computation
TKT-1527 Digital System Design Issues Tero Arpinen Introduction to SoC modeling and Models of Computation 1 Reference material A. Jantsch and I. Sander, Models of computation and languages for embedded
More informationCorrectness Issues on MARTE/CCSL constraints
Correctness Issues on MARTE/CCSL constraints Frédéric Mallet, Robert De Simone To cite this version: Frédéric Mallet, Robert De Simone. Correctness Issues on MARTE/CCSL constraints. Science of Computer
More informationTime modeling in MARTE
ECSI Forum on specification & Design Languages (FDL) (2007) 268-273 Time modeling in MARTE Charles André, Frédéric Mallet, Robert de Simone I3S, Université de Nice-Sophia Antipolis, CNRS, F-06903 Sophia
More informationProcess and data flow modeling
Process and data flow modeling Vince Molnár Informatikai Rendszertervezés BMEVIMIAC01 Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology
More informationHardware-Software Codesign. 6. System Simulation
Hardware-Software Codesign 6. System Simulation Lothar Thiele 6-1 System Design specification system simulation (this lecture) (worst-case) perf. analysis (lectures 10-11) system synthesis estimation SW-compilation
More informationLecture 4: Synchronous Data Flow Graphs - HJ94 goal: Skiing down a mountain
Lecture 4: Synchronous ata Flow Graphs - I. Verbauwhede, 05-06 K.U.Leuven HJ94 goal: Skiing down a mountain SPW, Matlab, C pipelining, unrolling Specification Algorithm Transformations loop merging, compaction
More informationProject-Team ESPRESSO
IN PARTNERSHIP WITH: CNRS Université Rennes 1 Activity Report 2011 Project-Team ESPRESSO Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
More informationSDL. Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik 年 10 月 18 日. technische universität dortmund
12 SDL Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik 12 2017 年 10 月 18 日 Springer, 2010 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Models
More informationProgramming Heterogeneous Embedded Systems for IoT
Programming Heterogeneous Embedded Systems for IoT Jeronimo Castrillon Chair for Compiler Construction TU Dresden jeronimo.castrillon@tu-dresden.de Get-together toward a sustainable collaboration in IoT
More informationModelling, Analysis and Scheduling with Dataflow Models
technische universiteit eindhoven Modelling, Analysis and Scheduling with Dataflow Models Marc Geilen, Bart Theelen, Twan Basten, Sander Stuijk, AmirHossein Ghamarian, Jeroen Voeten Eindhoven University
More informationAn Efficient Modeling and Execution Framework for Complex Systems Development
An Efficient Modeling and Execution Framework for Complex Systems Development Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen,
More informationHybrid System Modeling: Operational Semantics Issues
Hybrid System Modeling: Operational Semantics Issues Edward A. Lee Professor UC Berkeley OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA Special thanks to Jie Liu, Xiaojun Liu, Steve Neuendorffer,
More informationMeta-Data-Enabled Reuse of Dataflow Intellectual Property for FPGAs
Meta-Data-Enabled Reuse of Dataflow Intellectual Property for FPGAs Adam Arnesen NSF Center for High-Performance Reconfigurable Computing (CHREC) Dept. of Electrical and Computer Engineering Brigham Young
More informationInvestigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models
Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 2004 by Carnegie Mellon University
More informationSystem-on-Chip. 4l1 Springer. Embedded Software Design and Programming of Multiprocessor. Simulink and SystemC. Case Studies
Katalin Popovici Frederic Rousseau Ahmed A. Jerraya Marilyn Wolf Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and SystemC Case Studies 4l1 Springer Contents 1 Embedded
More informationSoftware Synthesis from Dataflow Models for G and LabVIEW
Software Synthesis from Dataflow Models for G and LabVIEW Hugo A. Andrade Scott Kovner Department of Electrical and Computer Engineering University of Texas at Austin Austin, TX 78712 andrade@mail.utexas.edu
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 informationModHel X: A Component-Oriented Approach to Multi-Formalism Modeling
MODELS 2007 Workshop on Multi-Paradigm Modeling: Concepts and Tools ModHel X: A Component-Oriented Approach to Multi-Formalism Modeling Cécile Hardebolle 1 Frédéric Boulanger 2 Supélec Départment Informatique
More informationChapter 4. Capturing the Requirements. 4th Edition. Shari L. Pfleeger Joanne M. Atlee
Chapter 4 Capturing the Requirements Shari L. Pfleeger Joanne M. Atlee 4th Edition It is important to have standard notations for modeling, documenting, and communicating decisions Modeling helps us to
More informationPetri Nets ee249 Fall 2000
Petri Nets ee249 Fall 2000 Marco Sgroi Most slides borrowed from Luciano Lavagno s lecture ee249 (1998) 1 Models Of Computation for reactive systems Main MOCs: Communicating Finite State Machines Dataflow
More informationApproaches of using UML for Embedded System Design
Approaches of using UML for Embedded System Design Sudeep D. Thepade Lecturer, Dept. of Information Technology, Thadomal Shahani Engg. College, Bandra, Mumbai sudeepthepade@gmail.com Abstract New approaches
More informationUML Framework for Intensive Signal Processing Embedded Applications
LIFL 2002-n 07 Juillet 2002 Publication LIFL 2002-n 07 UML Framework for Intensive Signal Processing Embedded Applications Cédric Dumoulin, Jean-Luc Dekeyser Laboratoire d'informatique Fondamentale de
More informationA Verification Approach for GALS Integration of Synchronous Components
GALS 2005 Preliminary Version A Verification Approach for GALS Integration of Synchronous Components F. Doucet, M. Menarini, I. H. Krüger and R. Gupta 1 Computer Science and Engineering University of California,
More informationSysteMoC. Verification and Refinement of Actor-Based Models of Computation
SysteMoC Verification and Refinement of Actor-Based Models of Computation Joachim Falk, Jens Gladigau, Christian Haubelt, Joachim Keinert, Martin Streubühr, and Jürgen Teich {falk, haubelt}@cs.fau.de Hardware-Software-Co-Design
More informationEmbedded Systems 7. Models of computation for embedded systems
Embedded Systems 7 - - Models of computation for embedded systems Communication/ local computations Communicating finite state machines Data flow model Computational graphs Von Neumann model Discrete event
More informationSimulation of LET Models in Simulink and Ptolemy
Simulation of LET Models in Simulink and Ptolemy P. Derler, A. Naderlinger, W. Pree, S. Resmerita, J. Templ Monterey Workshop 2008, Budapest, Sept. 24-26, 2008 C. Doppler Laboratory Embedded Software Systems
More informationUnit 2: High-Level Synthesis
Course contents Unit 2: High-Level Synthesis Hardware modeling Data flow Scheduling/allocation/assignment Reading Chapter 11 Unit 2 1 High-Level Synthesis (HLS) Hardware-description language (HDL) synthesis
More informationReal-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages Matthew W. Kracht Thesis submitted to the Faculty of the Virginia Polytechnic Institute and State University in
More informationMODELING LANGUAGES AND ABSTRACT MODELS. Giovanni De Micheli Stanford University. Chapter 3 in book, please read it.
MODELING LANGUAGES AND ABSTRACT MODELS Giovanni De Micheli Stanford University Chapter 3 in book, please read it. Outline Hardware modeling issues: Representations and models. Issues in hardware languages.
More informationOutline. SLD challenges Platform Based Design (PBD) Leveraging state of the art CAD Metropolis. Case study: Wireless Sensor Network
By Alberto Puggelli Outline SLD challenges Platform Based Design (PBD) Case study: Wireless Sensor Network Leveraging state of the art CAD Metropolis Case study: JPEG Encoder SLD Challenge Establish a
More informationMARTE Based Modeling Tools Usage Scenarios in Avionics Software Development Workflows
MARTE Based Modeling Tools Usage Scenarios in Avionics Software Development Workflows Alessandra Bagnato, Stefano Genolini Txt e-solutions FMCO 2010, Graz, 29 November 2010 Overview MADES Project and MADES
More informationPetri Nets. Petri Nets. Petri Net Example. Systems are specified as a directed bipartite graph. The two kinds of nodes in the graph:
System Design&Methodologies Fö - 1 System Design&Methodologies Fö - 2 Petri Nets 1. Basic Petri Net Model 2. Properties and Analysis of Petri Nets 3. Extended Petri Net Models Petri Nets Systems are specified
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 informationFSMs & message passing: SDL
12 FSMs & message passing: SDL Peter Marwedel TU Dortmund, Informatik 12 Springer, 2010 2012 年 10 月 30 日 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Models of computation
More informationModeling Hybrid Systems with Petri Nets
Modeling Hybrid Systems with Petri Nets Debjyoti Bera, Kees van Hee and Henk Nijmeijer Abstract The behavior of a hybrid system is a mixture of continuous behavior and discrete event behavior. The Simulink/Stateflow
More informationProgramming Languages for Real-Time Systems. LS 12, TU Dortmund
Programming Languages for Real-Time Systems Prof. Dr. Jian-Jia Chen LS 12, TU Dortmund 20 June 2016 Prof. Dr. Jian-Jia Chen (LS 12, TU Dortmund) 1 / 41 References Slides are based on Prof. Wang Yi, Prof.
More informationProperty-based design with HORUS / SYNTHORUS
Property-based design with HORUS / SYNTHORUS Dominique Borrione, Negin Javaheri, Katell Morin-Allory, Yann Oddos, Alexandre Porcher Radboud University, Nijmegen 1 March 27, 2013 Functional specifications
More informationSupply Tank 1. Storage Tank 1 TE1. Supply Tank 2. Storage Tank 2 TE2
AN APPROACH BASED ON DYNAMIC UML DIAGRAMS AND ON A TOKEN PLAYER ALGORITHM FOR THE SCENARIO VERIFICATION OF REAL TIME SYSTEMS Stéphane Julia, Elis^angela Mieko Kanacilo Faculdade de Ci^encia da Computaοc~ao,
More informationIntroduction to Electronic Design Automation. Model of Computation. Model of Computation. Model of Computation
Introduction to Electronic Design Automation Model of Computation Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Spring 03 Model of Computation In system design,
More informationCompositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs
Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs Stavros Tripakis Dai Bui Marc Geilen Bert Rodiers Edward A. Lee Electrical Engineering and Computer Sciences
More informationComponent-based Engineering for Embedded Systems USA EU workshop
July 7, 2005 Component-based Engineering for Embedded Systems USA EU workshop Philippe Kajfasz philippe.kajfasz@fr.thalesgroup.com July 7, 2005 Software part in RT/E Systems is increasing RT/E Systems
More informationPortland State University ECE 588/688. Dataflow Architectures
Portland State University ECE 588/688 Dataflow Architectures Copyright by Alaa Alameldeen and Haitham Akkary 2018 Hazards in von Neumann Architectures Pipeline hazards limit performance Structural hazards
More informationDesign of Embedded Systems: Formal Models, Validation, and Synthesis
Design of Embedded Systems: Formal Models, Validation, and Synthesis STEPHEN EDWARDS, MEMBER, IEEE, LUCIANO LAVAGNO, MEMBER, IEEE, EDWARD A. LEE, FELLOW, IEEE, AND ALBERTO SANGIOVANNI VINCENTELLI, MEMBER,
More informationThe Behavioral Coordination Operator Language
The Operator Language GL/\CE Day, May 10th, 2016 Julien Deantoni University of Nice, I3S CNRS, INRIA AOSTE Julien.deantoni@polytech.unice.fr Discrete Time Behavior xdsml 1 ADAPTIVE CRUISE CONTROL SYSTEM
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 informationDIGITAL VS. ANALOG SIGNAL PROCESSING Digital signal processing (DSP) characterized by: OUTLINE APPLICATIONS OF DIGITAL SIGNAL PROCESSING
1 DSP applications DSP platforms The synthesis problem Models of computation OUTLINE 2 DIGITAL VS. ANALOG SIGNAL PROCESSING Digital signal processing (DSP) characterized by: Time-discrete representation
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 informationModeling Time(s) Charles André, Frédéric Mallet, Robert De Simone. HAL Id: inria
Modeling Time(s) Charles André, Frédéric Mallet, Robert De Simone To cite this version: Charles André, Frédéric Mallet, Robert De Simone. Modeling Time(s). ACM/IEEE Int. Conf. on Model Driven Engineering
More informationSchedulability Analysis of AADL Models
Schedulability Analysis of AADL Models Oleg Sokolsky Insup Lee University of Pennsylvania Duncan Clarke Fremont Associates Overview AADL modeling language Why is it useful and what it has Formal schedulability
More informationComposition and concurrent execution of heterogeneous domain-specific models
Composition and concurrent execution of heterogeneous domain-specific models A work part of the GEMOC initiative Benoit Combemale Associate Professor, University of Rennes 1 Research Scientist, INRIA benoit.combemale@irisa.fr
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 informationAnalysis of the combined use of SCADE and UML 2.x models. Project description. Ramin Hedayati. Member of GRADUIERTENKOLLEG EINGEBETTETE SYSTEME
Analysis of the combined use of SCADE and UML 2.x s Project description Ramin Hedayati Member of GRADUIERTENKOLLEG EINGEBETTETE SYSTEME 25.11.2007 GESy of combining both s Advantages and disadvatages of
More informationAMAJOR impediment to further progress in modeling
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 17, NO. 12, DECEMBER 1998 1217 A Framework for Comparing Models of Computation Edward A. Lee, Fellow, IEEE, and Alberto
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 informationSimulink -based Programming Environment for Heterogeneous MPSoC
Simulink -based Programming Environment for Heterogeneous MPSoC Katalin Popovici katalin.popovici@mathworks.com Software Engineer, The MathWorks DATE 2009, Nice, France 2009 The MathWorks, Inc. Summary
More informationModeling and Simulating Discrete Event Systems in Metropolis
Modeling and Simulating Discrete Event Systems in Metropolis Guang Yang EECS 290N Report December 15, 2004 University of California at Berkeley Berkeley, CA, 94720, USA guyang@eecs.berkeley.edu Abstract
More informationSystem level modelling with open source tools
System level modelling with open source tools Mikkel Koefoed Jakobsen (mkoe@imm.dtu.dk) Jan Madsen (jan@imm.dtu.dk) Seyed Hosein Attarzadeh Niaki (shan2@kth.se) Ingo Sander (ingo@kth.se) Jan Hansen (jan@real-ear.com)
More informationActors and their composition. Jörn W. Janneck
Actors and their composition Jörn W. Janneck Memorandum No. UCB/ERL M02/37 Electronics Research Laboratory University of California at Berkeley 18 December 2002 Actors and their composition Jörn W. Janneck
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 informationMARTE extensions and modeling Mixed-Criticalities
MARTE extensions and modeling Mixed-Criticalities A synthesis of modeling needs of the Contrex Project and the solutions proposed using minor extensions to MARTE Julio Medina, Fernando Herrera, Eugenio
More informationEmbedded Systems 8. Identifying, modeling and documenting how data moves around an information system. Dataflow modeling examines
Embedded Systems 8 - - Dataflow modeling Identifying, modeling and documenting how data moves around an information system. Dataflow modeling examines processes (activities that transform data from one
More informationSpecifying and Proving Broadcast Properties with TLA
Specifying and Proving Broadcast Properties with TLA William Hipschman Department of Computer Science The University of North Carolina at Chapel Hill Abstract Although group communication is vitally important
More information2. Time and Global States Page 1. University of Freiburg, Germany Department of Computer Science. Distributed Systems
2. Time and Global States Page 1 University of Freiburg, Germany Department of Computer Science Distributed Systems Chapter 3 Time and Global States Christian Schindelhauer 12. May 2014 2. Time and Global
More informationjunit RV Adding Runtime Verification to junit
junit RV Adding Runtime Verification to junit Normann Decker, Martin Leucker, and Daniel Thoma Institute for Software Engineering and Programming Languages Universität zu Lübeck, Germany {decker, leucker,
More informationReal-Time Component Software. slide credits: H. Kopetz, P. Puschner
Real-Time Component Software slide credits: H. Kopetz, P. Puschner Overview OS services Task Structure Task Interaction Input/Output Error Detection 2 Operating System and Middleware Application Software
More informationTokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware
DOI 10.1007/s11265-015-0971-y Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware Stavros Tripakis Rhishikesh Limaye Kaushik Ravindran Guoqiang Wang Hugo Andrade Arkadeb Ghosal
More informationDynamic Response Time Optimization for SDF Graphs
Dynamic Response Time Optimization for SDF Graphs Dirk Ziegenbein, Jan Uerpmann, Rolf Ernst TU Braunschweig ziegenbein, uerpmann, ernst @ida.ing.tu-bs.de Abstract Synchronous Data Flow (SDF) is a well-known
More informationConservative and compositional modeling in the CompSOC platform
Eindhoven University of Technology MASTER Conservative and compositional modeling in the CompSOC platform Milea, T.Y. Award date: 2012 Link to publication Disclaimer This document contains a student thesis
More informationProcess-Based Software Components Final Mobies Presentation
Process-Based Software Components Final Mobies Presentation Edward A. Lee Professor UC Berkeley PI Meeting, Savannah, GA January 21-23, 2004 PI: Edward A. Lee, 510-642-0455, eal@eecs.berkeley.edu Co-PI:
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 informationClock refinement in imperative synchronous languages
Gemünde et al. EURASIP Journal on Embedded Systems 2013, 2013:3 REVIEW OpenAccess Clock refinement in imperative synchronous languages Mike Gemünde *, Jens Brandt and Klaus Schneider Abstract The synchronous
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 informationModelling and simulation of guaranteed throughput channels of a hard real-time multiprocessor system
Modelling and simulation of guaranteed throughput channels of a hard real-time multiprocessor system A.J.M. Moonen Information and Communication Systems Department of Electrical Engineering Eindhoven University
More informationDataflow Languages. Languages for Embedded Systems. Prof. Stephen A. Edwards. March Columbia University
Dataflow Languages Languages for Embedded Systems Prof. Stephen A. Edwards Columbia University March 2009 Philosophy of Dataflow Languages Drastically different way of looking at computation Von Neumann
More informationA Heterogeneous and Distributed Co-Simulation Environment
XVII SIM - South Symposium on Microelectronics 1 A Heterogeneous and Distributed Co-Simulation Environment Alexandre Amory, Leandro Oliveira, Fernando Moraes {amory, laugusto, moraes}@inf.pucrs.br Abstract
More informationEE213A - EE298-2 Lecture 8
EE3A - EE98- Lecture 8 Synchronous ata Flow Ingrid Verbauwhede epartment of Electrical Engineering University of California Los Angeles ingrid@ee.ucla.edu EE3A, Spring 000, Ingrid Verbauwhede, UCLA - Lecture
More information