Linking FMI-based Components with Ptolemy II’s Discrete Event Domain Introduction In the simulation of cyber-physical systems, event driven models with.

Slides:



Advertisements
Similar presentations
ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.
Advertisements

Priority Research Direction (I/O Models, Abstractions and Software) Key challenges What will you do to address the challenges? – Develop newer I/O models.
Activity Diagrams [Arlow and Neustadt, 2005] CS 425 / 625 Seminar on Software Engineering University of Nevada, Reno Department of Computer Science & Engineering.
User Driven Modelling and Systematic Interaction for End-User Programming Peter Hale, Tony Solomonides, Ian Beeson UWE, Bristol.
Page 1 Building Reliable Component-based Systems Chapter 16 - Component based embedded systems Chapter 16 Component based embedded systems.
PTIDES: Programming Temporally Integrated Distributed Embedded Systems Yang Zhao, EECS, UC Berkeley Edward A. Lee, EECS, UC Berkeley Jie Liu, Microsoft.
The Rhapsody in C++ Tool Training "Essential" © I-Logix v2.3 25/9/2000 EI-1 “Essential” Rhapsody in C++ Introduction.
Type System, March 12, Data Types and Behavioral Types Yuhong Xiong Edward A. Lee Department of Electrical Engineering and Computer Sciences University.
An framework for model-driven product design and development using Modelica Adrian Pop, Olof Johansson, Peter Fritzson Programming Environments Laboratory.
February 12, 2009 Center for Hybrid and Embedded Software Systems Encapsulated Model Transformation Rule A transformation.
Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.
© Andy Wellings, 2003 Roadmap  Introduction  Concurrent Programming  Communication and Synchronization  Completing the Java Model  Overview of the.
Technion – Israel Institute of Technology Department of Electrical Engineering High Speed Digital Systems Lab Project performed by: Naor Huri Idan Shmuel.
February 12, 2009 Center for Hybrid and Embedded Software Systems Model Transformation Using ERG Controller Thomas H. Feng.
CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.
Visual Debugging Tools for Concurrent Models of Computation Elaine Cheong 15 May 2002 EE290N: Advanced Topics in System Theory.
Model-based Analysis of Distributed Real-time Embedded System Composition Gabor Madl Sherif Abdelwahed
Presenter : Cheng-Ta Wu Antti Rasmus, Ari Kulmala, Erno Salminen, and Timo D. Hämäläinen Tampere University of Technology, Institute of Digital and Computer.
Tool Integration of Ptolemy II EE290N Class Project Haiyang Zheng May
End-to-End Design of Embedded Real-Time Systems Kang G. Shin Real-Time Computing Laboratory EECS Department The University of Michigan Ann Arbor, MI
MOBIES Project Progress Report Engine Throttle Controller Design Using Multiple Models of Computation Edward Lee Haiyang Zheng with thanks to Ptolemy Group.
System-Level Types for Component-Based Design Paper by: Edward A. Lee and Yuhong Xiong Presentation by: Dan Patterson.
Router modeling using Ptolemy Xuanming Dong and Amit Mahajan May 15, 2002 EE290N.
Department of Electrical Engineering and Computer Sciences University of California at Berkeley The Ptolemy II Framework for Visual Languages Xiaojun Liu.
Microsoft Visual Basic 2005 CHAPTER 1 Introduction to Visual Basic 2005 Programming.
Software Reuse Course: # The Johns-Hopkins University Montgomery County Campus Fall 2004 Session 6 Lecture # 5 – October 12, 2004.
(C) 2009 J. M. Garrido1 Object Oriented Simulation with Java.
System models Abstract descriptions of systems whose requirements are being analysed Abstract descriptions of systems whose requirements are being analysed.
1. 2 Purpose of This Presentation ◆ To explain how spacecraft can be virtualized by using a standard modeling method; ◆ To introduce the basic concept.
Designing a Discrete Event Simulation Tool Peter L. Jackson School of Operations Research and Industrial Engineering March 15, 2003 Cornell University.
Automatic Software Testing Tool for Computer Networks ADD Presentation Dudi Patimer Adi Shachar Yaniv Cohen
BTS430 Systems Analysis and Design using UML Domain Model Part 1—Finding Conceptual Classes.
Tech Talk Go4 Factory Patterns Presented By: Matt Wilson.
Odyssey A Reuse Environment based on Domain Models Prepared By: Mahmud Gabareen Eliad Cohen.
Instructore: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Concurrent and.
Chapter 7 System models.
Selected Topics in Software Engineering - Distributed Software Development.
Abstract We present two Model Driven Engineering (MDE) tools, namely the Eclipse Modeling Framework (EMF) and Umple. We identify the structure and characteristic.
Pertemuan 19 PEMODELAN SISTEM Matakuliah: D0174/ Pemodelan Sistem dan Simulasi Tahun: Tahun 2009.
C. André, J. Boucaron, A. Coadou, J. DeAntoni,
Baris Baykant Alagoz, Cemal Keles, Asim Kaygusuz Electrical Electronics Engineering Department Inonu University Malatya, Turkey 3rd International Istanbul.
A Goal Based Methodology for Developing Domain-Specific Ontological Frameworks Faezeh Ensan, Weichang Du Faculty of Computer Science, University of New.
ModelPedia Model Driven Engineering Graphical User Interfaces for Web 2.0 Sites Centro de Informática – CIn/UFPe ORCAS Group Eclipse GMF Fábio M. Pereira.
Functional Mockup Interface 2.0 John Colley 26 th November 2012 Düsseldorf.
I ndustrial Cy ber- Ph ysical Systems October 16, 2015 CyPhySim CyPhySim is an open-source simulator for cyber-physical systems. The.
Development of a Software Renderer for utilizing 3D Contents on a 2D-based Mobile System Sungkwan Kang 1, Joonseub Cha 2, Jimin Lee 1 and Jongan Park 1,
FMI Suite Simulation of Simulator independent Models.
DESIGN OF SOFTWARE ARCHITECTURE
Incremental Checkpointing with Application to Distributed Discrete Event Simulation Thomas Huining Feng and Edward A. Lee {tfeng,
Building a contactless university examination system using NFC Speaker : Chih-Ching Chen Advisor : Dr. Ho-Ting Wu 2013/12/2 1.
Computer Simulation of Networks ECE/CSC 777: Telecommunications Network Design Fall, 2013, Rudra Dutta.
PTII Model  VHDL Codegen Verification Project Overview 1.Generate VHDL descriptions for Ptolemy models. 2.Maintain bit and cycle accuracy in implementation.
© Drexel University Software Engineering Research Group (SERG) 1 The OASIS SOA Reference Model Brian Mitchell.
Building Industrial grade Modelica compiler
Satisfying Requirements BPF for DRA shall address: –DAQ Environment (Eclipse RCP): Gumtree ISEE workbench integration; –Design Composing and Configurability,
INFSO-RI Enabling Grids for E-sciencE Using of GANGA interface for Athena applications A. Zalite / PNPI.
Object Oriented Analysis & Design By Rashid Mahmood.
Institute for Software Integrated Systems Vanderbilt University Virtual Prototyping Test Bed for CPS Janos Sztipanovits Institute for Software Integrated.
Fermilab Scientific Computing Division Fermi National Accelerator Laboratory, Batavia, Illinois, USA. Off-the-Shelf Hardware and Software DAQ Performance.
SysML and Modelica Integration using FMI\System of Systems March The seventh National Conference INCOSE_IL 2013 System of Systems "SysML and Modelica.
Elaine Cheong Yang Zhao December 8, 2001
Introduction to Visual Basic 2008 Programming
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
Implementation and Experimentation of Producer- Consumer Synchronization Problem 呂鴻洋 Introduction Producer-consumer problem is one classical.
Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt
Computer Simulation of Networks
The Extensible Tool-chain for Evaluation of Architectural Models
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
System Concept Simulation for Concurrent Engineering
Introduction to Modelica and FMI
Presentation transcript:

Linking FMI-based Components with Ptolemy II’s Discrete Event Domain Introduction In the simulation of cyber-physical systems, event driven models with continuous subparts are often the obvious choice. An approach for handling this situation is presented, using Ptolemy II's Discrete Event (DE) domain and continuous submodels generated by other tools. The variety of tools in modeling and simulation has led to the Functional Mock-up Interface (FMI) specification. It provides the facilities for exporting models as Functional Mock-up Units (FMUs). For the event handling of the FMUs a library has been developed, which provides a higher level abstraction of the FMI. A Ptolemy II actor can use this library to directly integrate continuous FMUs in the DE domain. Conclusions FMI-based components in Ptolemy II enable the use of models designed by other tools. Another benefit is shorter runtime and better scalability. The use of the FMI++ library enables the easier use of FMUs and provides the capabilities needed for the necessary lookahead. Ptolemy II and its abstract semantics provide a framework that can be used for co-simulation needed e.g. for cyber-physical systems. Wolfgang Müller, Edmund Widl, Atiyah Elsheikh, Peter Palensky Austrian Institute of Technology Used Software Ptolemy II is used as simulation framework. For interfacing FMUs and event handling the FMI++ library is used (openly available via The FMUs are generated according to the FMI 1.0 specification (openly accessible via The homepage of the FMI standard lists software supporting the FMI. The FMUs used for the studies presented here were generated with OpenModelica (openly available via Fig. 1. Ptolemy II and FMI access. Fig. 3. Illustration of the lookahead process. (a) Calculated lookahead.(b) Event during the lookahead.(c) Result at event time accepted.. Fig. 4. Single FMU actor connected to a random timer and a plotter. The dependency of the execution time on the chosen lookahead length is shown in Fig. 6. Using the same example as above, the optimal choice for the lookahead length turns out to be the expected value of the timespan between two consecutive events. (which is in this case the parameter of the Poisson clock). Fig. 2. UML activity diagram of the prediction process. Fig. 6.Runtimes for different lookahead lengths. References [1] W. Müller and E. Widl, “Linking FMI-based Components with Discrete Event Systems,” in Proceedings of the International IEEE Sytems Conference (SysCon), [2] E. Widl, W. Müller, A. Elsheikh, M. Hörtenhuber, and P. Palensky, “The FMI++ Library: A High-level Utility Package for FMI for Model Exchange,” in Proceedings of the IEEE Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, [3] E. A. Lee, “Modeling concurrent real-time processes using discrete events.” Ann. Software Eng., vol. 7, pp. 25–45, [Online]. Method & Results For embedding continuous FMUs as actors in Ptolemy II's DE domain, the following prediction process is used: 1.A lookahead is calculated and intermediate values are stored (Fig. 2). This process is stopped either by an event or a given time (Fig. 3a). 2.If an event happens and the actor is fired, its new state is calculated by the saved values (Fig. 3b and 3c). This process is implemented in the FMI++ library. Fig. 5. Runtimes of Ptolemy II. As simple example an FMU was fired by a Poisson clock (Fig. 4). Later a greater number of actors (representing a simple thermal system each) were generated and the FMU variant was compared with an implementation in pure Ptolemy II (Fig. 5).