Concurrent Design of Embedded Control Software
|
|
- Jeremy Harrington
- 5 years ago
- Views:
Transcription
1 Concurrent Design of Embedded Software Third International Workshop on Multi-Paradigm Modeling MPM`09, Marcel Groothuis, Jan Broenink University of Twente, The Netherlands Raymond Frijns, Jeroen Voeten Eindhoven University of Technology, The Netherlands 07/10/2009 Concurrent Design of Embedded Software 1
2 Contents Introduction Mechatronic systems design challenges Embedded Systems software Model-driven Design Methodology Case study Results & Conclusions Concurrent Design of Embedded Software 2
3 Introduction Mechatronics challenges Developing Reliable and Robust Embedded Software for mechatronic applications is too costly and too time consuming. Reasons: Complexity, Heterogeneity, Lack of Predictability, Late Integration Approaches to tackle the problem Concurrent Engineering, Model Driven Design, Early Integration Sequential Concurrent Model-driven concurrent Trade-off between concurrency design process (a) design process (b) design process(c) efficiency and integration efficiency (d) Specs Specs Specs Specs Design Time Continuous Time Discrete Event Continuous Time Integration Discrete Event Continuous Time Integration Discrete Event Continuous Time 1 Integration Discrete Event 2 3 Integration Trade-off concurrent design flow integration efficiency Concurrent Design of Embedded Software 3
4 Mechatronics: Embedded Systems Essential Properties Embedded Software Dynamic behavior of the physical system essential for SW Real-time constraints with low-latency requirement Dependability: Safety, Reliability Layered Software structure Embedded software Non real-time Soft real-time Hard real-time I/O hardware Power D/A amplifier Physical system Actuators Physical process A/D Filtering/ Scaling Sensors Model-driven Design Heterogeneous modeling Multiple Models of Computation Multiple Modeling formalisms Concurrent Design of Embedded Software 4
5 ECS Design Methodology Aim Efficient Concurrent Design Fast Integration Reliable Result Approach: Model-Driven Design Concurrent Design Code Synthesis Concurrent Design of Embedded Software 5
6 ECS Design Methodology Way of Working Abstraction Hierarchy Split into subsystems Cope with complexity Model-driven design Design Space Exploration Aspect models Make choices Limit solution space Step-wise refinement Add detail Lower abstraction Implementation Realization Concurrent design trajectory Mechanics, Electronics, SW: Discrete Event, Continuous Time Model-level Early Integration where needed Concurrent Design of Embedded Software 6
7 Design Methodology Discrete Event Approach Stepwise & local refinement Verification by simulation & model checking Way of working System partitioning into concurrent actors C-model : Abstract interactions between concurrent actors M-model : Interaction between different MoCs R-model : Timing low-level behavior Property preserving code synthesis Characteristics Concurrency Multi MoC Real-time Models C-model M-model R-model Abstraction level High Low Concurrent Design of Embedded Software 7
8 Design Methodology Continuous Time Approach Stepwise & local refinement From model towards controller code Verification by simulation Physical System Modeling Verification by Simulation Way of Working Model & Understand Physical system dynamics Simplify model, derive the control laws Interfaces & target Add non-ideal components (AD, DA, PC) Dependability: Safety, Reliability, Integrate control laws into ES Scaling/conversion factors Via local refinement: {Software/Processor/Hardware}-In the Loop Concurrent Design of Embedded Software 8 Law Design Embedded System Implementation Realization Verification by Simulation Verification by Simulation / Model Check Validation and Testing
9 Case study Overview Goals Apply our methodology Real-world setup with industrial complexity Concurrent model-driven design Trade-off integrated design flow partial separated design flow Integration efficiency analysis Comparison with other test cases on the same setup Concurrent Design of Embedded Software 9
10 Gearhead 43:1 Gearhead 43:1 Magnet Gearhead 18:1 Encoder Case Study Production cell Extraction buffer Encoder Motor 150W Extraction unit Production cell demonstrator Based on: Stork Plastics Molding machine Extraction belt Rotation unit Molder unit Molder door Al Motor 70W Feeder belt Architecture CPU (ECS) + FPGA (digital I/O) Distributed possible Embedded PC CPU + FPGA Motor 150W Encoder Sensor Block movement direction Feeder unit 6 Production Cell units Action in the production process Molding, Extraction, Transportation, Storage Synchronize with neighbors Deadlock possible on > 7 blocks Concurrent Design of Embedded Software 10
11 Case Study Production cell Embedded System Software Design Jointly Specs, partitioning, interfaces Concurrently SW partitions Jointly SW integration & testing Design Time Model-driven concurrent design process Specs Continuous Time 1 Integration Discrete Event 2 3 User interface Supervisory control & Interaction Sequence control Loop control Safety layer Concurrent Design of Embedded Software 11
12 Gearhead 43:1 Motor 150W Encoder Encoder Motor 150W Gearhead 43:1 Magnet Al Gearhead 18:1 Motor 70W Encoder Case Study Partitioning & Hierarchy Embedded Software Discrete Event partition Continuous/Discrete Time partition Extraction buffer Extraction unit Gearhead 15:1 Motor 150W Encoder Extraction belt Based on Top level system model Production Cell Units (PCUs) Rotation unit Feeder belt Molder unit Molder door Layered Software structure Embedded PC CPU + FPGA Sensor Gearhead 15:1 Motor 150W Encoder Block movement direction Feeder unit DE CT/DT CT Interface User interface Supervisory control & Interaction Sequence control Loop control Safety layer Interface definitions Concurrent Design of Embedded Software 12
13 Discrete Event Software Design Modeling tools : SHESim/Rotalumis POOSL: Parallel Object-Oriented Specification Language SHESim: Graphical tool for model construction and simulation Rotalumis: Fast execution engine built in C++ C-model : handshake diagram formalized in POOSL model Partitions design into a set of concurrent actors Actors synchronize action by a handshake sequence Models untimed abstract interactions between actors Concurrent Design of Embedded Software 13
14 Discrete Event Software Design M-model: Refinement of C-model Adds interfaces to low-level behavior Focuses on interactions between high-level DE-control and DT/CT loop control (MoC interaction) Externally observable behavior is kept the same Concurrent Design of Embedded Software 14
15 Discrete Event Software Design R-model: Refinement of M-model Adds low-level behavior Both DT and DE behavior Adds timing Again, externally observable functional behavior is kept the same Automatic code synthesis: Automatic mapping to target platform Property-preserving code generation Building blocks with common interface Mathematically proven timing relation between model and implementation Discrete()() sel [ (curstate) & (prestate=false) ] sensor! on { prestate := curstate } or [ (prestate) & (curstate=false) ] sensor! off { prestate := curstate } les; Discrete()(). Continuous()() [ curstate = prestate ] curstate := sensor Read; delay 0.01; Continuous()(). Concurrent Design of Embedded Software 15
16 Continuous Time Software Design Goal Loop ler Algorithm in C++ POOSL dataclass Low Level Safety & Sanity Check Event Interface (start/stop/error ) Modeling Tools & Languages: 20-sim Physical System Model: ODE, bond graphs, data flow Code Synthesis: template based C/C++ Physical System Modeling Law Design Embedded System Implementation Realization Verification by Simulation Verification by Simulation Verification by Simulation / Model Check Validation and Testing ler MotionprofileFWBW finished Z -1 Delay1 Sample1 Gain_FF_acceleration K K Gain_FF_velocity PID PID2 D A PWM Encoder 1 K Attenuate1 DutyCyleLimiter Plant motor_out pos_in PWM Position Plant model rotation robot H-bridge model K HBridgeVoltage PWM (1.0=100%) e-005s LinearSystem1 SignalLimiter1 K_Motor Encoder pulses (2000/motor rev) MagnetPower ToEncoderPulses K K MotorCoil I MSe f MSe ArmWithMagnetI HangingBlock I 1 Motor and transmission GY TF 1 Motor C1 C R MotorResistance Arm with magnet + block p MTF MTF Gravity 1 Se RollerBearing TF 0 R TF BeltPulley C Cbelt I Roller R Rbreak Concurrent Design of Embedded Software 16
17 Gearhead 43:1 Motor 150W Encoder Encoder Motor 150W Gearhead 43:1 Continuous Time Software Design led Motion Rotation Robot Ref Position {m} Extraction buffer 0 E 5 Motor current {A} Rotation velocity {rad/s} PWM Output {x100%) Embedded PC -0.5 CPU + FPGA F 3 Real Pos {rad} Error {m} DE software Loop + Safety FPGA HW Forward Finished Backward Finished time {s} class ler_rotation: public PooslDataClass { /* the model functions */ void Initialize (double *u, double *y, double time); void Read (double *u, double *y); void Calculate (double *u, double *y, double time ); void Write (double *u, double *y); void Terminate (double *u, double *y); }; Concurrent Design of Embedded Software 17
18 Integration Discrete Event Last iteration: Timing Continuous Time / Discrete Time Last iteration: Event interface Target unit test Shesim POOSL implementation 20-sim POOSL template C++ class Motion profiles (12x) lers (6x) Code synthesis Stepwise Partial code generation Template based Simulation feedback I/O drivers template Rotalumis implementation RTAI Linux Target template Target tests Target PC Setup Concurrent Design of Embedded Software 18
19 Results & Discussion Short integration & testing phase < 2 days, previous case: > week Almost running first time right Minor timing issue with magnet on/off traction delay Concurrent, but separated design Minimal information exchange Refinements on interfaces, data types, timing Required Good partitioning Building blocks approach Working setup Concurrent Design of Embedded Software 19
20 Results Movie Concurrent Design of Embedded Software 20
21 Results & Discussion Specs Trade-off Concurrent Design Integration Continuous Discrete Time Event 1 Minimal design interaction Integration Minimal information exchange Refinements on interfaces, data types, timing Designers attitude Focus on own partition, but think across discipline boundaries Possible Improvements Model-based integration tests Physical system model could be used to test the final software Virtual Prototyping Tool support: Automated consistency checks Tool Tool integration Model Model interaction Design Time Model-driven concurrent design process 2 3 Concurrent Design of Embedded Software 21
22 Conclusions Mechatronics / Cyber Physical Systems Synergistic design approach Close cooperation between disciplines integrated design Integrated design concurrent design efficiency Trade-off between early integration and late integration time Choice is project specific Good partitioning of the mechatronic system Allows concurrent, but partly separated design Case: fully integrated design is not always needed More efficient work flow with still predictable integration Methodology not limited to SW implementation ECS ECS in FPGA realization available Concurrent Design of Embedded Software 22
23 Ongoing work Embedded System software for our Humanoid Soccer Robot Vision processing Supervisory control Sequence control Path planning Soccer strategy Low level loop control 24 degrees of freedom Concurrent Design of Embedded Software 23
HW/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 informationA Model-Driven Approach to Embedded Control System Implementation
A Model-Driven Approach to Embedded Control System Implementation Jan F. Broenink, Marcel A. Groothuis, Peter M. Visser, Bojan Orlic Control Engineering, CTIT, Faculty EE-M-CS,, Enschede, Netherlands e-mail:
More informationCONTROLLING A MECHATRONIC SET-UP USING REAL-TIME LINUX AND CTC++ *)
CONTROLLING A MECHATRONIC SET-UP USING REAL-TIME LINUX AND CTC++ *) Jan F. Broenink, Dusko S. Jovanovic and Gerald H. Hilderink University of Twente, Dept. Electrical Engineering, Control Laboratory, Cornelis
More informationTERRA support for architecture modeling. K.J. (Karim) Kok. MSc Report. C e Dr.ir. J.F. Broenink Z. Lu, MSc Prof.dr.ir. A. Rensink.
TERRA support for architecture modeling K.J. (Karim) Kok MSc Report C e Dr.ir. J.F. Broenink Z. Lu, MSc Prof.dr.ir. A. Rensink August 2016 040RAM2016 EE-Math-CS P.O. Box 217 7500 AE Enschede The Netherlands
More informationIntroduction to Control Systems Design
Experiment One Introduction to Control Systems Design Control Systems Laboratory Dr. Zaer Abo Hammour Dr. Zaer Abo Hammour Control Systems Laboratory 1.1 Control System Design The design of control systems
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 informationWhat is Mechatronics
Mechatronics What is Mechatronics What Is Mechatronics? Mechatronics is a methodology used for the optimal design of electromechanical products. Multi-disciplinary system design has employed a sequential
More informationFault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation
Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation Yury Brodskiy, Robert Wilterdink, Stefano Stramigioli, Jan Broenink SIMPAR2014 Content Introduction Why Modeling
More informationEE382V: System-on-a-Chip (SoC) Design
EE382V: System-on-a-Chip (SoC) Design Lecture 8 HW/SW Co-Design Sources: Prof. Margarida Jacome, UT Austin Andreas Gerstlauer Electrical and Computer Engineering University of Texas at Austin gerstl@ece.utexas.edu
More informationSupervisory Control Synthesis the Focus in Model-Based Systems Engineering
Supervisory Control Synthesis the Focus in Model-Based Systems Engineering Jos Baeten and Asia van de Mortel-Fronczak Systems Engineering Group Department of Mechanical Engineering November 23, 2011 What
More informationHardware-Software Codesign. 1. Introduction
Hardware-Software Codesign 1. Introduction Lothar Thiele 1-1 Contents What is an Embedded System? Levels of Abstraction in Electronic System Design Typical Design Flow of Hardware-Software Systems 1-2
More informationHardware/Software Co-design
Hardware/Software Co-design Zebo Peng, Department of Computer and Information Science (IDA) Linköping University Course page: http://www.ida.liu.se/~petel/codesign/ 1 of 52 Lecture 1/2: Outline : an Introduction
More informationMATLAB/Simulink in der Mechatronik So einfach geht s!
MATLAB/Simulink in der Mechatronik So einfach geht s! Executable s with Simulation Models Continuous Test and Verification Automatic Generation Tobias Kuschmider Applikationsingenieur 2014 The MathWorks,
More informationCecilia Laschi The BioRobotics Institute Scuola Superiore Sant Anna, Pisa
University of Pisa Master of Science in Computer Science Course of Robotics (ROB) A.Y. 2016/17 cecilia.laschi@santannapisa.it http://didawiki.cli.di.unipi.it/doku.php/magistraleinformatica/rob/start Robot
More informationHardware and Software Co-Design for Motor Control Applications
Hardware and Software Co-Design for Motor Control Applications Gaurav Dubey Durvesh Kulkarni 2015 The MathWorks, Inc. 1 Key trend: Increasing demands from motor drives Advanced algorithms require faster
More informationSelection of controllers and integrated systems
maxon motor: Selection of controllers and integrated systems 2017 maxon motor ag maxon_control-system-selection, WJ, Animated Version V2.31 Criteria to find the base drive controller family Base criteria
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 informationLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework M. M. Bezemer R. J. W. Wilterdink J. F. Broenink
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework M. M. Bezemer R. J. W. Wilterdink J. F. Broenink Control Engineering, University of Twente, The Netherlands Outline Context and Introduction
More informationEmbedded Systems: Hardware Components (part II) Todor Stefanov
Embedded Systems: Hardware Components (part II) Todor Stefanov Leiden Embedded Research Center, Leiden Institute of Advanced Computer Science Leiden University, The Netherlands Outline Generic Embedded
More informationHigh-Level and Model-Based Design Targeting FPGAs and SoCs
CO-DEVELOPMENT MANUFACTURING INNOVATION & SUPPORT High-Level and Model-Based Design Targeting FPGAs and SoCs Sander Ter Burg, FPGA System Engineer 3T B.V. What we do: Electronic and Embedded Systems Co-Development
More informationSimulink Based Robot Arm Control Workstation. Figure 1-1 High Level Block Diagram
Introduction: This project consists of designing a software-based control workstation in the Simulink environment using the SimMechanics Toolbox. The Quanser robot arm system will be modeled using this
More informationRequirements and Design Overview
Requirements and Design Overview Robert B. France Colorado State University Robert B. France O-1 Why do we model? Enhance understanding and communication Provide structure for problem solving Furnish abstractions
More informationHardware and Software Co-Design for Motor Control Applications
Hardware and Software Co-Design for Motor Control Applications Jonas Rutström Application Engineering 2015 The MathWorks, Inc. 1 Masterclass vs. Presentation? 2 What s a SoC? 3 What s a SoC? When we refer
More informationMATLAB Expo Simulation Based Automotive Communication Design using MATLAB- SimEvent. Sudhakaran M Anand H General Motors
MATLAB Expo 2013 Simulation Based Automotive Communication Design using MATLAB- SimEvent Sudhakaran M Anand H General Motors 1 Agenda Introduction Different Analysis Methods Analytical vs. Simulation Approach
More informationRE for Embedded Systems - Part 1
REQUIREMENTS ENGINEERING LECTURE 2017/2018 Dr. Jörg Dörr RE for Embedded Systems - Part 1 Fraunhofer IESE Lecture Outline Embedded systems and their characteristics Requirements specifications (for embedded
More informationWhat are Embedded Systems? Lecture 1 Introduction to Embedded Systems & Software
What are Embedded Systems? 1 Lecture 1 Introduction to Embedded Systems & Software Roopa Rangaswami October 9, 2002 Embedded systems are computer systems that monitor, respond to, or control an external
More informationSystem-level simulation (HW/SW co-simulation) Outline. EE290A: Design of Embedded System ASV/LL 9/10
System-level simulation (/SW co-simulation) Outline Problem statement Simulation and embedded system design functional simulation performance simulation POLIS implementation partitioning example implementation
More informationIntegrating Mechanical Design and Multidomain Simulation with Simscape
Integrating Mechanical Design and Multidomain Simulation with Simscape Steve Miller Simscape Product Manager, MathWorks 2015 The MathWorks, Inc. 1 Integrating Mechanical Design and Multidomain Simulation
More informationLecture Notes UML UNIT-II. Subject: OOAD Semester: 8TH Course No: CSE-802
UNIT-II Lecture Notes On UML IMPORTANCE OF MODELING, BRIEF OVERVIEW OF OBJECT MODELING TECHNOLOGY (OMT) BY RAMBAUGH, BOOCH METHODOLOGY, USE CASE DRIVE APPROACH (OOSE) BY JACKOBSON. KHALID AMIN AKHOON 1
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 informationEmbedded Real-Time Systems
Embedded Real-Time Systems Reinhard von Hanxleden Christian-Albrechts-Universität zu Kiel Based on slides kindly provided by Edward A. Lee & Sanjit Seshia, UC Berkeley, All rights reserved Lecture 2: Model-Based
More informationAutomated Software Synthesis for Complex Robotic Systems
Automated Software Synthesis for Complex Robotic Systems Indranil Saha Department of Computer Science and Engineering Indian Institute of Technology Kanpur Indranil Saha Automated Software Synthesis for
More informationHardware in the Loop Functional Verification Methodology
OMG's Third Software-Based Communications Workshop: Realizing the Vision Hardware in the Loop Functional Verification Methodology by Pascal Giard Jean-François Boland, Jean Belzile M.Ing. Student École
More informationA unified multicore programming model
A unified multicore programming model Simplifying multicore migration By Sven Brehmer Abstract There are a number of different multicore architectures and programming models available, making it challenging
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 informationMBS MODELLING WITH SIMMECHANICS: CASE STUDIES IN RESEARCH AND EDUCATION
MBS MODELLING WITH SIMMECHANICS: CASE STUDIES IN RESEARCH AND EDUCATION Grepl, R., Lee, B., Singule, V., Švejda, P., Vlachý, D., Zezula, P. Laboratory of mechatronics, FME, Brno University of Technology
More informationHW/SW Co-design. Design of Embedded Systems Jaap Hofstede Version 3, September 1999
HW/SW Co-design Design of Embedded Systems Jaap Hofstede Version 3, September 1999 Embedded system Embedded Systems is a computer system (combination of hardware and software) is part of a larger system
More informationMeasuring Applications. Speed Control Applications. Feedback Applications
Measuring Applications Length, position and volume are measured by accumulating and counting the s digital pulses in relation to the unit of length, distance or volume. All measurements are indexed from
More informationCadence SystemC Design and Verification. NMI FPGA Network Meeting Jan 21, 2015
Cadence SystemC Design and Verification NMI FPGA Network Meeting Jan 21, 2015 The High Level Synthesis Opportunity Raising Abstraction Improves Design & Verification Optimizes Power, Area and Timing for
More informationA Model-Driven Approach to Embedded Control System Implementation
A Model-Driven Approach to Embedded Control System Implementation Jan F. Broenink, Marcel A. Groothuis, Peter M. Visser, Bojan Orlic University of Twente, Control Engineering, Faculty EE-Math-CS P.O.Box
More informationEmbedded Systems: Hardware Components (part I) Todor Stefanov
Embedded Systems: Hardware Components (part I) Todor Stefanov Leiden Embedded Research Center Leiden Institute of Advanced Computer Science Leiden University, The Netherlands Outline Generic Embedded System
More informationPart 2: Principles for a System-Level Design Methodology
Part 2: Principles for a System-Level Design Methodology Separation of Concerns: Function versus Architecture Platform-based Design 1 Design Effort vs. System Design Value Function Level of Abstraction
More informationA Framework for the Design of Mixed-Signal Systems with Polymorphic Signals
A Framework for the Design of Mixed-Signal Systems with Polymorphic Signals Rüdiger Schroll *1) Wilhelm Heupke *1) Klaus Waldschmidt *1) Christoph Grimm *2) *1) Technische Informatik *2) Institut für Mikroelektronische
More informationHardware-Software Codesign. 1. Introduction
Hardware-Software Codesign 1. Introduction Lothar Thiele 1-1 Contents What is an Embedded System? Levels of Abstraction in Electronic System Design Typical Design Flow of Hardware-Software Systems 1-2
More informationPerformance Verification for ESL Design Methodology from AADL Models
Performance Verification for ESL Design Methodology from AADL Models Hugues Jérome Institut Supérieur de l'aéronautique et de l'espace (ISAE-SUPAERO) Université de Toulouse 31055 TOULOUSE Cedex 4 Jerome.huges@isae.fr
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 informationVirtuelle Inbetriebnahme und Optimierung von Robotersystemen mit Simscape The MathWorks, Inc. 1
Virtuelle Inbetriebnahme und Optimierung von Robotersystemen mit Simscape 2015 The MathWorks, Inc. 1 In this session Onshape and MATLAB enable engineers to combine CAD models with multidomain, dynamic
More informationShadow Dexterous Hand C6M Technical Specification
Shadow Dexterous Hand C6M Technical Specification Current release: 15 th August '09 Shadow Dextrous Hand - Technical Specification Page 2/9 1 Overview...3 2 Mechanical Profile...3 2.1 Dimensions...3 2.2
More informationDesigning and Analysing Power Electronics Systems Using Simscape and SimPowerSystems
Designing and Analysing Power Electronics Systems Using Simscape and SimPowerSystems Gernot Schraberger Industry Manager, Europe Industrial Automation & Machinery, Energy Production MathWorks 2012 The
More informationThe Internet of Things and Factory of Future
The Internet of Things and Factory of Future Andy Chang Sr. Manager, Academic Research & Industrial Internet of Things 2 Our Mission We equip engineers and scientists with systems that accelerate productivity,
More informationA Cost Oriented Humanoid Robot Motion Control System
Preprints of the 19th World Congress The International Federation of Automatic Control A Cost Oriented Humanoid Robot Motion Control System J. Baltes*, P. Kopacek**,M. Schörghuber** *Department of Computer
More informationExplicit MPC in Mechatronics Industry:
European Control Conference, July 8 th, 23 Zurich, CH MITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts Explicit MPC in Mechatronics Industry: Technology Transfer Potential and Limitations
More informationIntegrating Mechanical Design and Multidomain Simulation with Simscape
1 Integrating Mechanical Design and Multidomain Simulation with Simscape 강효석과장 / Ph. D. Application Engineer MathWorks Korea 2017 The MathWorks, Inc. 2 In this session Onshape and MATLAB enable engineers
More informationSoftware Architecture. Lecture 4
Software Architecture Lecture 4 Last time We discussed tactics to achieve architecture qualities We briefly surveyed architectural styles 23-Jan-08 http://www.users.abo.fi/lpetre/sa08/ 2 Today We check
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 informationRapid Prototype with Field Gate (A Design and Implementation of Stepper Motor Using FPGA)
Circuits and Systems, 2016, 7, 1392-1403 Published Online June 2016 in SciRes. http://www.scirp.org/journal/cs http://dx.doi.org/10.4236/cs.2016.78122 Rapid Prototype with Field Gate (A Design and Implementation
More informationIN4343 Real-Time Systems
IN4343 Real-Time Systems Koen Langendoen, TA (TBD) 2017-2018 Delft University of Technology Challenge the future Course outline Real-time systems Lectures theory instruction Exam Reinder Bril TU/e Practicum
More informationDesign of Real-Time Software
Design of Real-Time Software Introduction Reinder J. Bril Technische Universiteit Eindhoven Department of Mathematics and Computer Science System Architecture and Networking Group P.O. Box 513, 5600 MB
More informationSOFTWARE DRIVES HARDWARE, LESSONS LEARNED AND FUTURE DIRECTIONS
SOFTWARE DRIVES HARDWARE, LESSONS LEARNED AND FUTURE DIRECTIONS Rob Oshana Vice President, Software Engineering, R&D NXP Semiconductors Microcontroller and Microprocessors PUBLIC USE Key messages Software
More informationCommunication Systems Design in Practice
Communication Systems Design in Practice Jacob Kornerup, Ph.D. LabVIEW R&D National Instruments '87 '88 '89 '90 '91 '92 '93 '94 '95 '96 '97 '98 '99 '00 '01 '02 03 04 '05 '06 '07 '08 '09 '10 '11 '12 '13
More informationPlant Modeling for Powertrain Control Design
Plant Modeling for Powertrain Control Design Modelica Automotive Workshop Dearborn, MI November 19, 2002 Dr. Larry Michaels GM Powertrain Controls Engineering Challenges in PT Control Design Control System
More informationDistributed Operation Layer Integrated SW Design Flow for Mapping Streaming Applications to MPSoC
Distributed Operation Layer Integrated SW Design Flow for Mapping Streaming Applications to MPSoC Iuliana Bacivarov, Wolfgang Haid, Kai Huang, and Lothar Thiele ETH Zürich MPSoCs are Hard to program (
More informationFlexible Modeling and Simulation Architecture for Haptic Control of Maritime Cranes and Robotic Arms
Flexible Modeling and Simulation Architecture for Haptic Control of Maritime Cranes and Robotic Arms F. Sanfilippo, H. P. Hildre, V. Æsøy and H.X. Zhang Department of Maritime Technology and Operation
More informationResearch Subject. Dynamics Computation and Behavior Capture of Human Figures (Nakamura Group)
Research Subject Dynamics Computation and Behavior Capture of Human Figures (Nakamura Group) (1) Goal and summary Introduction Humanoid has less actuators than its movable degrees of freedom (DOF) which
More informationFundamentals of Inverse Kinematics Using Scara Robot
Fundamentals of Inverse Kinematics Using Scara Robot Overview of SCARA Bot: The 2 Degree of freedom (DOF) Selective Compliance Articulate Robotic Arm (SCARA) (Selective Compliance Articulated Robot Arm)
More informationCommunication Systems Design in Practice
Communication Systems Design in Practice Jacob Kornerup, Ph.D. LabVIEW R&D National Instruments A Word About National Instruments Annual Revenue: $1.14 billion Global Operations: Approximately 6,870 employees;
More informationProperty-Preservation Synthesis for Unified Controland Data-Oriented Models
Property-Preservation Synthesis for Unified Controland Data-Oriented Models Oana Florescu, Jeroen Voeten, Henk Corporaal Information and Communication Systems Group, Faculty of Electrical Engineering Eindhoven
More informationSystem-on-Chip Architecture for Mobile Applications. Sabyasachi Dey
System-on-Chip Architecture for Mobile Applications Sabyasachi Dey Email: sabyasachi.dey@gmail.com Agenda What is Mobile Application Platform Challenges Key Architecture Focus Areas Conclusion Mobile Revolution
More informationTHE BENEFITS OF MODEL-BASED ENGINEERING IN PRODUCT DEVELOPMENT FROM PCB TO SYSTEMS MENTOR GRAPHICS
THE BENEFITS OF MODEL-BASED ENGINEERING IN PRODUCT DEVELOPMENT FROM PCB TO SYSTEMS MENTOR GRAPHICS P C B D E S I G N W H I T E P A P E R w w w. m e n t o r. c o m Simulation models are often used to help
More informationMULTI-PROCESSOR SYSTEM-LEVEL SYNTHESIS FOR MULTIPLE APPLICATIONS ON PLATFORM FPGA
MULTI-PROCESSOR SYSTEM-LEVEL SYNTHESIS FOR MULTIPLE APPLICATIONS ON PLATFORM FPGA Akash Kumar,, Shakith Fernando, Yajun Ha, Bart Mesman and Henk Corporaal Eindhoven University of Technology, Eindhoven,
More informationDesigning Real-Time Control Applications Using LabVIEW and CompactRIO. Developer Days 2009
Designing Real-Time Control Applications Using LabVIEW and CompactRIO Developer Days 2009 Agenda CompactRIO Overview Technology Applications Real-Time Control Software Architecture Basic Process Control
More informationSoftware Verification and Validation (VIMMD052) Introduction. Istvan Majzik Budapest University of Technology and Economics
Software Verification and Validation (VIMMD052) Introduction Istvan Majzik majzik@mit.bme.hu Budapest University of Technology and Economics Dept. of Measurement and Information s Budapest University of
More informationDESIGN AND IMPLEMENTATION OF VISUAL FEEDBACK FOR AN ACTIVE TRACKING
DESIGN AND IMPLEMENTATION OF VISUAL FEEDBACK FOR AN ACTIVE TRACKING Tomasz Żabiński, Tomasz Grygiel, Bogdan Kwolek Rzeszów University of Technology, W. Pola 2, 35-959 Rzeszów, Poland tomz, bkwolek@prz-rzeszow.pl
More informationDESIGN AND SIMULATION OF HETEROGENEOUS CONTROL SYSTEMS USING PTOLEMY II
DESIGN AND SIMULATION OF HETEROGENEOUS CONTROL SYSTEMS USING PTOLEMY II Johan Eker, Chamberlain Fong, Jörn W. Janneck, Jie Liu Department of Electrical Engineering and Computer Sciences University of California
More informationMECHATRONICS. William Bolton. Sixth Edition ELECTRONIC CONTROL SYSTEMS ENGINEERING IN MECHANICAL AND ELECTRICAL PEARSON
MECHATRONICS ELECTRONIC CONTROL SYSTEMS IN MECHANICAL AND ELECTRICAL ENGINEERING Sixth Edition William Bolton PEARSON Harlow, England London New York Boston San Francisco Toronto Sydney Auckland Singapore
More informationIntroduction to LabVIEW and NI Hardware Platform
Introduction to LabVIEW and NI Hardware Platform Corrie Botha Platform-Based Approach 2 With LabVIEW, You Can Program the Way You Think 3 With LabVIEW, You Can Program the Way You Think The graphical,
More informationCOE 561 Digital System Design & Synthesis Introduction
1 COE 561 Digital System Design & Synthesis Introduction Dr. Aiman H. El-Maleh Computer Engineering Department King Fahd University of Petroleum & Minerals Outline Course Topics Microelectronics Design
More informationUsing RecurDyn. Contents
Using RecurDyn Contents 1.0 Multibody Dynamics Overview... 2 2.0 Multibody Dynamics Applications... 3 3.0 What is RecurDyn and how is it different?... 4 4.0 Types of RecurDyn Analysis... 5 5.0 MBD Simulation
More informationA MULTI-ROBOT SYSTEM FOR ASSEMBLY TASKS IN AUTOMOTIVE INDUSTRY
The 4th International Conference Computational Mechanics and Virtual Engineering COMEC 2011 20-22 OCTOBER 2011, Brasov, Romania A MULTI-ROBOT SYSTEM FOR ASSEMBLY TASKS IN AUTOMOTIVE INDUSTRY A. Fratu 1
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 informationCOMP 354 Introduction to Software Engineering
COMP 354 Introduction to Software Engineering Greg Butler Office: EV 3.219 Computer Science and Software Engineering Concordia University, Montreal, Canada Email: gregb@cs.concordia.ca Winter 2015 Course
More informationHardware Design Environments. Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University
Hardware Design Environments Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University Outline Welcome to COE 405 Digital System Design Design Domains and Levels of Abstractions Synthesis
More informationIntroduction. Definition. What is an embedded system? What are embedded systems? Challenges in embedded computing system design. Design methodologies.
Introduction What are embedded systems? Challenges in embedded computing system design. Design methodologies. What is an embedded system? Communication Avionics Automobile Consumer Electronics Office Equipment
More informationA Graduate Embedded System Education Program
A Graduate Embedded System Education Program Alberto Sangiovanni-Vincentelli Department of EECS, University of California at Berkeley EE249:Fall03 The Killer Applications for the Future? 2 Energy Conservation
More informationSemantics-Based Integration of Embedded Systems Models
Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current
More informationTowards Semantic Interoperability between C2 Systems Following the Principles of Distributed Simulation
Towards Semantic Interoperability between C2 Systems Following the Principles of Distributed Simulation Authors: Vahid Mojtahed (FOI), vahid.mojtahed@foi.se Martin Eklöf (FOI), martin.eklof@foi.se Jelena
More informationModeling and SW Synthesis for
Modeling and SW Synthesis for Heterogeneous Embedded Systems in UML/MARTE Hector Posadas, Pablo Peñil, Alejandro Nicolás, Eugenio Villar University of Cantabria Spain Motivation Design productivity it
More informationSE300 SWE Practices. Lecture 10 Introduction to Event- Driven Architectures. Tuesday, March 17, Sam Siewert
SE300 SWE Practices Lecture 10 Introduction to Event- Driven Architectures Tuesday, March 17, 2015 Sam Siewert Copyright {c} 2014 by the McGraw-Hill Companies, Inc. All rights Reserved. Four Common Types
More informationHardware Software Codesign of Embedded System
Hardware Software Codesign of Embedded System CPSC489-501 Rabi Mahapatra Mahapatra - Texas A&M - Fall 00 1 Today s topics Course Organization Introduction to HS-CODES Codesign Motivation Some Issues on
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 informationEmbedded Systems: Projects
December 2015 Embedded Systems: Projects Davide Zoni PhD email: davide.zoni@polimi.it webpage: home.dei.polimi.it/zoni Research Activities Interconnect: bus, NoC Simulation (component design, evaluation)
More informationCo-synthesis and Accelerator based Embedded System Design
Co-synthesis and Accelerator based Embedded System Design COE838: Embedded Computer System http://www.ee.ryerson.ca/~courses/coe838/ Dr. Gul N. Khan http://www.ee.ryerson.ca/~gnkhan Electrical and Computer
More informationIntro to High Level Design with SystemC
Intro to High Level Design with SystemC Aim To introduce SystemC, and its associated Design Methodology Date 26th March 2001 Presented By Alan Fitch Designer Challenges Design complexity System on Chip
More informationCOMPUTER SCIENCE INTERNET SCIENCE AND TECHOLOGY HUMAN MEDIA INTERACTION BUSINESS INFORMATION TECHNOLOGY
COMPUTER SCIENCE INTERNET SCIENCE AND TECHOLOGY HUMAN MEDIA INTERACTION BUSINESS INFORMATION TECHNOLOGY UNIVERSITY OF DIGITAL REVOLUTION. Fourth industrial revolution is upon us and you can be part of
More informationControl Technology. motion controller and power amplifier
Control Technology motion controller and power amplifier Erik van Hilten Rik Prins National Instruments Agenda Controller, the central element Tools for controller design in drive systems: - in PC-based
More informationEmerging Platforms, Emerging Technologies, and the Need for Crosscutting Tools Luca Carloni
Emerging Platforms, Emerging Technologies, and the Need for Crosscutting Tools Luca Carloni Department of Computer Science Columbia University in the City of New York NSF Workshop on Emerging Technologies
More informationThomas Bräunl EMBEDDED ROBOTICS. Mobile Robot Design and Applications with Embedded Systems. Second Edition. With 233 Figures and 24 Tables.
Thomas Bräunl EMBEDDED ROBOTICS Mobile Robot Design and Applications with Embedded Systems Second Edition With 233 Figures and 24 Tables Springer CONTENTS PART I: EMBEDDED SYSTEMS 1 Robots and Controllers
More informationECE 587 Hardware/Software Co-Design Lecture 11 Verification I
ECE 587 Hardware/Software Co-Design Spring 2018 1/23 ECE 587 Hardware/Software Co-Design Lecture 11 Verification I Professor Jia Wang Department of Electrical and Computer Engineering Illinois Institute
More informationExtending the Growing Neural Gas Classifier for Context Recognition
Extending the Classifier for Context Recognition Eurocast 2007, Workshop on Heuristic Problem Solving, Paper #9.24 14. February 2007, 10:30 Rene Mayrhofer Lancaster University, UK Johannes Kepler University
More informationSimulation-Based Design of Robotic Systems
Simulation-Based Design of Robotic Systems Shadi Mohammad Munshi* & Erik Van Voorthuysen School of Mechanical and Manufacturing Engineering, The University of New South Wales, Sydney, NSW 2052 shadimunshi@hotmail.com,
More information