1 of 14 1 Integrating Embedded System Design Tools in the Generic Modeling Environment Peter Tureby, Fredrik Wester Final Project at the Embedded Systems.

Slides:



Advertisements
Similar presentations
Comparison of Several Meta-modeling Tools 2 Yi Lu Computer Science Department McGill University
Advertisements

WEBQUEST Let’s Begin TITLE AUTHOR:. Let’s continue Return Home Introduction Task Process Conclusion Evaluation Teacher Page Credits Introduction This.
Internal Logic Analyzer Final presentation-part B
Overview UML Extensions for Agents UML UML Agent UML (AUML) Agent UML (AUML) Agent Interaction Protocols Agent Interaction Protocols Richer Role Specification.
1 of 14 1 Analysis of Mixed Time-/Event-Triggered Distributed Embedded Systems Paul Pop, Traian Pop, Petru Eles, Zebo Peng Embedded Systems Laboratory.
Lab Meeting Performance Analysis of Distributed Embedded Systems Lothar Thiele and Ernesto Wandeler Presented by Alex Cameron 17 th August, 2012.
1 of 16 April 25, 2006 Minimizing System Modification in an Incremental Design Approach Paul Pop, Petru Eles, Traian Pop, Zebo Peng Department of Computer.
1 of 14 1/14 Design Optimization of Time- and Cost-Constrained Fault-Tolerant Distributed Embedded Systems Viaceslav Izosimov, Paul Pop, Petru Eles, Zebo.
Communication Scheduling for Time-Triggered SystemsSlide 1 Communication Scheduling for Time-Triggered Systems Paul Pop, Petru Eles and Zebo Peng Dept.
1 of 30 June 14, 2000 Scheduling and Communication Synthesis for Distributed Real-Time Systems Paul Pop Department of Computer and Information Science.
1 of 10 April 25, 2001 Minimizing System Modification in an Incremental Design Approach Paul Pop, Petru Eles, Traian Pop, Zebo Peng Department of Computer.
Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems Slide 1 Process Scheduling for Performance Estimation and Synthesis.
1 of 14 1/15 Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems Paul Pop, Petru Eles, Zebo Peng Embedded.
1 of 14 1 Fault-Tolerant Embedded Systems: Scheduling and Optimization Viacheslav Izosimov, Petru Eles, Zebo Peng Embedded Systems Lab (ESLAB) Linköping.
Scheduling with Optimized Communication for Time-Triggered Embedded Systems Slide 1 Scheduling with Optimized Communication for Time-Triggered Embedded.
1 of 16 March 30, 2000 Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis Paul Pop, Petru Eles, Zebo Peng Department.
1 of 12 May 3, 2000 Performance Estimation for Embedded Systems with Data and Control Dependencies Paul Pop, Petru Eles, Zebo Peng Department of Computer.
1 Oct 2, 2003 Design Optimization of Mixed Time/Event-Triggered Distributed Embedded Systems Traian Pop, Petru Eles, Zebo Peng Embedded Systems Laboratory.
1 of 14 1 Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems Paul Pop Computer and Information Science Dept. Linköpings.
1 of 14 1/15 Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications Paul Pop, Petru Eles, Zebo Peng, Viaceslav Izosimov Embedded.
C++ Training Datascope Lawrence D’Antonio Lecture 11 UML.
© Copyright Eliyahu Brutman Programming Techniques Course.
Holistic Scheduling and Analysis of Mixed Time/Event-Triggered Distributed Embedded System Traian Pop, Petru Eles, Zebo Peng EE249 Discussion Paper Review.
1 of 14 1 Scheduling and Optimization of Fault- Tolerant Embedded Systems Viacheslav Izosimov Embedded Systems Lab (ESLAB) Linköping University, Sweden.
1 of 16 June 21, 2000 Schedulability Analysis for Systems with Data and Control Dependencies Paul Pop, Petru Eles, Zebo Peng Department of Computer and.
Swiss Federal Institute of Technology Computer Engineering and Networks Laboratory Influence of different system abstractions on the performance analysis.
1 of 14 1 / 18 An Approach to Incremental Design of Distributed Embedded Systems Paul Pop, Petru Eles, Traian Pop, Zebo Peng Department of Computer and.
EKT303/4 PRINCIPLES OF PRINCIPLES OF COMPUTER ARCHITECTURE (PoCA)
Assignment 3: A Team-based and Integrated Term Paper and Project Semester 1, 2012.
Typical Software Documents with an emphasis on writing proposals.
Framework: ISA-95 WG We are here User cases Studies
C++ Code Analysis: an Open Architecture for the Verification of Coding Rules Paolo Tonella ITC-irst, Centro per la Ricerca Scientifica e Tecnologica
Analysis Methods for Mixed-Criticality Applications on TTEthernet-based Distributed Architectures Sorin Ovidiu Marinescu Technical University of Denmark.
Using a Project Model for Assessment of CDIO skills Tomas Svensson, Svante Gunnarsson Linköping University Sweden June
第十四章 J2EE 入门 Introduction What is J2EE ?
12 Systems Analysis and Design in a Changing World, Fifth Edition.
1 ITEC 3010 “Systems Analysis and Design, I” LECTURE 10: Use Case Realizations [Prof. Peter Khaiter]
1 of 14 1/15 Synthesis-driven Derivation of Process Graphs from Functional Blocks for Time-Triggered Embedded Systems Master thesis Student: Ghennadii.
Component frameworks Roy Kensmil. Historical trens in software development. ABSTRACT INTERACTIONS COMPONENT BUS COMPONENT GLUE THIRD-PARTY BINDING.
Systems Analysis and Design in a Changing World, 3rd Edition
Jump to first page One-gigabit Router Oskar E. Bruening and Cemal Akcaba Advisor: Prof. Agarwal.
CS 4850: Senior Project Fall 2014 Object-Oriented Design.
Undergraduate course on Real-time Systems Linköping 1 of 45 Autumn 2009 TDDC47: Real-time and Concurrent Programming Lecture 5: Real-time Scheduling (I)
1 reTHINK Deliverables, How To Read reThink deliverables quick starter.
The UML Formal Methods for SoC Design Sorin Manolache
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
Module: Software Engineering of Web Applications Chapter 2: Technologies 1.
1 of 14 1/34 Embedded Systems Design: Optimization Challenges Paul Pop Embedded Systems Lab (ESLAB) Linköping University, Sweden.
Computer Simulation of Networks ECE/CSC 777: Telecommunications Network Design Fall, 2013, Rudra Dutta.
1 Semi-partitioned Model on Dual-core Mixed Criticality System Hao Xu.
© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.:
Reports An General Introduction. Reports are Important Because: They identify a problem and reason for writing. They give a more in-depth look at an issue.
1 of 14 1/15 Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems Paul Pop, Petru Eles, Zebo Peng Embedded Systems Lab (ESLAB)
CSIS 4850: CS Senior Project – Spring 2009 CSIS 4850: Senior Project Spring 2009 Object-Oriented Design.
Chalmers University of Technology, Göteborg, Sweden, CDIO conference 2009 Lessons learned from developing and operating a large-scale project course.
Creating a Work Breakdown Structure with Microsoft Project.
UML Diagrams By Daniel Damaris Novarianto S..
Unified Modeling Language
Paul Pop, Petru Eles, Zebo Peng
UML Diagrams Jung Woo.
Dynamic Modeling: Defining Classes
Gabor Madl Nikil Dutt Domain-specific Modeling of Power Aware Distributed Real-time Embedded Systems Gabor Madl
Computer Simulation of Networks
VISUAL BASIC – CHAPTER ONE NOTES An Introduction to Visual Basic
Timing Analysis of Mixed-Criticality Hard Real-Time Applications Implemented on Distributed Partitioned Architectures Sorin Ovidiu Marinescu, Domițian.
Evaluating Compuware OptimalJ as an MDA tool
Using JDeveloper.
Review CSE116 2/21/2019 B.Ramamurthy.
CS565: Intelligent Systems and Interfaces
Research Topics Embedded, Real-time, Sensor Systems Frank Mueller moss
Presentation transcript:

1 of 14 1 Integrating Embedded System Design Tools in the Generic Modeling Environment Peter Tureby, Fredrik Wester Final Project at the Embedded Systems Lab Linköping University, Sweden

2 of 14 2 Work Packages  WP1: SymTA/S model   WP2: Interface to holistic analysis   WP3: Worst-case scenario visualization  : Can it be done in GME?  WP4: Complex modeling  Model to be received from Paul:   WP5: Interface to Traian’s analysis tool   WP6: Documentation  Start latest on

3 of 14 3 Work Package #1  SymTA/S model  Implement the SymTA/S model in GME  Same entities and attributes  Specify the architecture separately  What are the constraints and how to write them?  Examples  Model Kai Richter’s RTSS example  Model a more complex example

4 of 14 4 WP1 Model: Process  Process  Name (process name, or “identifier”)  BCET (best case execution time on the resource it is mapped to, in milliseconds)  WCET (worst case execution time on the resource it is mapped to, in milliseconds)  Priority (process priority, natural number)  Period (how often is the process executed, natural number)  Jitter (optional; natural number)  Offset (optional; natural number)  Deadline (optional; natural number)  Note  See my thesis (page 144) for a definition of these terms

5 of 14 5 WP1 Model: Message and Resource  Message  Name  Size (the size of the message, in bits)  Resource  Name

6 of 14 6 WP1 Model: Notes  Notes:  It is assumed that all processes and messages are scheduled using “Fixed-Priority Preemptive Scheduling” (FPS)  Processes can be connected to each other in an application graph  Processes can be connected through messages…  For example, P1->m1->P2  …but also directly  For example, P1->P2  The application graph should have no cycles  Resources can be connected to each other  For example, several CPUs are connected to a bus

7 of 14 7 Work Package #2  Interface to holistic analysis  Holistic analysis implementation from MAST  Decide which implementation to use  Traian’s (C)  Sorin’s (C)  Integrate the analysis with WP1  How to pass the model to the analysis tool?  How to send the results back to GME?  Analyze the two examples from WP1

8 of 14 8 Work Package #3  Worst-case scenario visualization  For a given process, visualize it’s worst-case scenario  How should a worst-case scenario be depicted?  See SymTA/S for an example  Is it possible to use GME for the visualization, or do you have to build an external tool?  Write by hand the worst-case scenario of a process in one of the examples from WP1  The worst-case scenario is produced by the analysis tool  How to pass it to GME?

9 of 14 9 Work Package #4  Complex modeling  Decide on a more complex model (responsible: Paul, Sorin, Traian)  Extend the SymTA/S model to the complex model  What are the constraints and how to write them?  Three examples  Model an example from Traian  Hierarchical scheduling and FlexRay  Model an example from Sorin  Stochastic execution times  Model an example from Paul  Multi-cluster

10 of Work Package #5  Interface to Traian’s analysis tool  Integrate Traian’s analysis tool in GME  Complex modeling  Traian’s example from WP4

11 of Work Package #6  Documentation  The metamodels and the source code should be documented in English  Report  Preferably in English (Swedish is OK)  Preferably written in LaTeX (Word, or FrameMaker is also fine)  Presentation  In English  Presented in an ESLAB meeting  Before the summer?  Use this template in PowerPoint

12 of Action Points  Discuss with Paul  Clarify what has to be done for each WP  Decide who does what work package  Decide on milestones

13 of Report ToC  Suggested Table of Contents  Introduction  Embedded systems design  Modeling  Analysis  Motivation  Analysis tools at ESLAB  Related work  SymTA/S interface  Aires’ interface in GME  MAST interface  Modeling using GME  Generic Modeling Environment  Simple (SymTA/S) model  Examples  Complex model  Examples  Tool integration in GME  Design choices  ESLAB’s tools integration  Examples  Worst-case scenario visualization  Examples  Conclusions and future work  References