DIPLODOCUS: An Environment for. the Hardware/Software Partitioning of. Institut Mines-Telecom. Complex Embedded Systems

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "DIPLODOCUS: An Environment for. the Hardware/Software Partitioning of. Institut Mines-Telecom. Complex Embedded Systems"

Transcription

1 DIPLODOCUS: An Environment for Institut Mines-Telecom the Hardware/Software Partitioning of Complex Embedded Systems Ludovic Apvrille, ETR 2013, Toulouse, France

2 Goals Introduction To share an experience of real-time systems modeling To propose a language, a tool, and a method dedicated to the partitioning of complex and real-time embedded systems DIPLODOCUS, a modeling language based on SysML TTool for model simulation and user-friendly formal verification A method that applies to a broad variety of real-time systems To answer your questions 2/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

3 Outline Introduction Introduction Context: Model-Driven Engineering Our contribution Design Space Exploration Methodology 3/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

4 Outline Introduction Context: Model-Driven Engineering Our contribution Design Space Exploration Introduction Context: Model-Driven Engineering Our contribution Design Space Exploration 4/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

5 Context: Model-Driven Engineering Our contribution Design Space Exploration Designing Embedded Systems How to Handle Complexity? Modeling and verification! (But there are other options) 5/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

6 Introduction Context: Model-Driven Engineering Our contribution Design Space Exploration Modeling is not Really a New Technique and it is not limited to Software! 6/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

7 Abstraction Level Context: Model-Driven Engineering Our contribution Design Space Exploration (source: peek and Poke, July, 2013) 7/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

8 Context: Model-Driven Engineering Our contribution Design Space Exploration Software Development Techniques for E. S. Code-based approaches Extreme Programming Strongly tested step-by-step code increments Agile Software Development Focus on change in specification Model-based approaches V-Cycle KAOS, AADL, MDE,... makingmessage m.data = secretdata m1 = sencrypt(m, sk) sendingmessage chout(m1) Formal models B, LOTOS, Petri nets,... 8/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

9 Context: Model-Driven Engineering Our contribution Design Space Exploration Model Driven Engineering Definition Process based on abstract graphical representations for a given domain Intends to improve software engineering quality criteria Reliability, extensibility, maintainability,... Should enhance team communication and documentation Abstraction levels Platform Independent Model, Platform Specific Model Model transformations 9/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

10 UML Profiles Context: Model-Driven Engineering Our contribution Design Space Exploration Definition UML defines extension mechanisms to e.g., Define new operators Provide a semantics Give a methodology Example of profiles Profiles defined by OMG (e.g., SPT, MARTE, SysML) Profiles defined by tool vendors (e.g. in Rhapsody, Artisan) User-defined and company-defined models 10/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

11 Context: Model-Driven Engineering Our contribution Design Space Exploration UML Profiles and MDE UML profiles are a way to define domain-specific languages for MDE Our contribution in MDE Definition of UML profiles for modeling and verifying complex embedded systems Definition of methodologies based on the V-cycle Definition of model transformations for simulation, formal verification and code generation purpose Implementation in a toolkit (TTool) 11/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

12 Overview of Contributions Context: Model-Driven Engineering Our contribution Design Space Exploration 12/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

13 Context: Model-Driven Engineering Our contribution Design Space Exploration TTool: A Multi Profile Platform TTool Open-source toolkit mainly developed by Telecom ParisTech / COMELEC Multi-profile toolkit DIPLODOCUS, AVATAR,... Support from academic (e.g. INRIA, ISAE) and industrial partners (e.g., Freescale) Main ideas Lightweight, easy-to-use toolkit Simulation with model animation Formal proof at the push of a button 13/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

14 Systems-on-Chip Context: Model-Driven Engineering Our contribution Design Space Exploration A System-On-Chip = set of SW and HW components intended to perform a predefined set of functions for a given market Constraints Right market window Performance and costs 14/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

15 Context: Model-Driven Engineering Our contribution Design Space Exploration Design Challenges Complexity Very high software complexity Very high hardware complexity Problem How to decide whether a function should be implemented in SW or in HW, or both? Solution Design Space Exploration! 15/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

16 Context: Model-Driven Engineering Our contribution Design Space Exploration Design Space Exploration Design Space Exploration Analyzing various functionally equivalent implementation alternatives Find an optimal solution Important key design parameters Speed Power Consumption Silicon area Generation of heat Development effort 16/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

17 Level of Abstraction Context: Model-Driven Engineering Our contribution Design Space Exploration Problematic Designers struggle with the complexity of today s circuits Cost of late re-engineering Right decisions should be taken as soon as possible... And quickly (time to market issue), and so, simulations must be fast System Level Design Space Exploration Reusable models, fast simulations / formal analysis, prototyping can start without all functions to be implemented But: high-level models must be closely defined so as to take the right decisions 17/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

18 Outline Introduction Methodology Introduction Methodology 18/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

19 Methodology DIPLODOCUS = UML Profile System-level Design Space Exploration Y-Methodology MARTE compliant Main features Data are abstracted Formal semantics Very fast simulation support Fully supported by an open-source toolkit TTool 19/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

20 Methodology Partitioning with the Y-Methododology 20/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

21 Application Modeling Methodology 21/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

22 Architecture Modeling Methodology 22/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

23 Mapping Introduction Methodology 23/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

24 Methodology Browsing the DIPLODOCUS Methododology Application structure Application behavior Formal verification Architecture model Mapping model Simulation Formal verification 24/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

25 Methodology Application Structure (Smart Card system) 25/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS Back to methodology

26 Application Behavior Methodology Activity Diagram of the SmartCard component 26/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS Back to methodology

27 Methodology Formal Verification at Application Level No assumption on the underlying architecture All possible interleavings between actions are considered Formal verification is based on LOTOS/CADP or UPPAAL Press-button approach 27/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS Back to methodology

28 Methodology Architecture Given in terms of parameterized nodes CPU, HWA, Bus, Memory, Bridge, etc. CPU parameters: scheduling policy, cache miss ratio, miss-branching prediction, pipeline size, etc. 28/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS Back to methodology

29 Mapping Introduction Methodology Task are mapped on execution nodes (e.g., CPUs, HWAs) Channels are mapped on communication and storage nodes 29/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS Back to methodology

30 After-Mapping Simulation Methodology TTool Built-in simulator Extremly fast Diagram animation Step-by-step execution, breakpoints, etc. 30/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

31 Methodology After-Mapping Simulation (Cont.) AppC::TCPIP <<CPU>> CPU0 AppC::SmartCard 50% 195 pw AppC::Application <<CPURR>> HW1 AppC::InterfaceDevice 66% 230 pw <<BUS>> Bus0 0% <<CPURR>> HW2 AppC::Timer 0% 90 pw <<MEMORY>> Memory0 31/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS Back to methodology

32 Methodology After-Mapping Formal Verification TTool built-in simulator can compute all possible execution paths Graph analysis and visualization 32/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

33 Methodology After-Mapping Coverage-Enhanced Simulation Possibility to select a given part of the model to be explored Minimum percentage of operators coverage Minimum percentage of branch coverage Implementation: TTool built-in model-checking techniques 33/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS Back to methodology

34 Outline Introduction Introduction 34/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

35 Results Fully integrated environment for the partitioning of Systems-on-Chip and complex embedded systems Based on UML Open-source toolkit Partners: Texas Instruments, Freescale, European project EVITA, European project SACRA, LIP6,... 2 Ph.D. completed (Chafic Jaber, Daniel Knorreck, Jair Gonzalez-Pina), 2 on-going Ph.D. (Fériel Ben Abdallah, Andrea Enrici) 35/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

36 A Few Case Studies... MPEG coders and decoders (Texas Instruments) LTE SoC (Freescale) Partitioning in vehicle embedded systems (EVITA project) Partitioning and code generation for Software-Defined Radio systems (SACRA project) 36/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

37 To Go Further... TTool and DIPLODOCUS ttool.telecom-paristech.fr 37/37 Aug., 2013 Institut Mines-Telecom DIPLODOCUS

1. PUBLISHABLE SUMMARY

1. PUBLISHABLE SUMMARY 1. PUBLISHABLE SUMMARY ICT-eMuCo (www.emuco.eu) is a European project with a total budget of 4.6M which is supported by the European Union under the Seventh Framework Programme (FP7) for research and technological

More information

Codesign: The World Of Practice

Codesign: The World Of Practice Codesign: The World Of Practice D. Sreenivasa Rao Senior Manager, System Level Integration Group Analog Devices Inc. May 2007 Analog Devices Inc. ADI is focused on high-end signal processing chips and

More information

Intel CoFluent Methodology for SysML *

Intel CoFluent Methodology for SysML * Intel CoFluent Methodology for SysML * UML* SysML* MARTE* Flow for Intel CoFluent Studio An Intel CoFluent Design White Paper By Thomas Robert and Vincent Perrier www.cofluent.intel.com Acronyms and abbreviations

More information

A Hardware and Software Monitor for High-Level System-on-Chip Verification

A Hardware and Software Monitor for High-Level System-on-Chip Verification A Hardware and Software Monitor for High-Level System-on-Chip Verification M. El Shobaki and L. Lindh International Symposium on Quality Electronic Design, 2001 Presenter: Gu, Ruei-Ting What s the problem?

More information

Multi-objective Design Space Exploration based on UML

Multi-objective Design Space Exploration based on UML Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brião, Francisco A. Nascimento, Instituto de Informática, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil

More information

Model-Driven Software Development for Robotics: an overview

Model-Driven Software Development for Robotics: an overview Model-Driven Software Development for Robotics: an overview IEEE-ICRA2011 Workshop on Software Development and Integration in Robotics Jan F. Broenink, Maarten M. Bezemer Control Engineering, University

More information

COMMERCIAL CLIENT CASE STUDIES: TELECOMMUNICATIONS & TRANSPORTATION AUGUST, 2014

COMMERCIAL CLIENT CASE STUDIES: TELECOMMUNICATIONS & TRANSPORTATION AUGUST, 2014 COMMERCIAL CLIENT CASE STUDIES: TELECOMMUNICATIONS & TRANSPORTATION AUGUST, 2014 1 Typical Business Objectives Sample Clients: Fortune 100 companies that spend over $1.0 Billion on software development

More information

ELEC 5260/6260/6266 Embedded Computing Systems

ELEC 5260/6260/6266 Embedded Computing Systems ELEC 5260/6260/6266 Embedded Computing Systems Spring 2016 Victor P. Nelson Text: Computers as Components, 3 rd Edition Prof. Marilyn Wolf (Georgia Tech) Course Topics Embedded system design & modeling

More information

R&D and Topcased (led by Silvia Mazzini)

R&D and Topcased (led by Silvia Mazzini) R&D and Topcased (led by Silvia Mazzini) 1 System and software engineering Study and experimentation of system and software engineering innovative techniques One of the Intecs main capacities acquired

More information

System Design and Methodology/ Embedded Systems Design (Modeling and Design of Embedded Systems)

System Design and Methodology/ Embedded Systems Design (Modeling and Design of Embedded Systems) System Design&Methodologies Fö 1&2-1 System Design&Methodologies Fö 1&2-2 Course Information System Design and Methodology/ Embedded Systems Design (Modeling and Design of Embedded Systems) TDTS30/TDDI08

More information

Model-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix

Model-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix Model-driven development solutions To support your business objectives IBM Rhapsody edition comparison matrix IBM Rhapsody 7.5 edition: capabilities and comparisons The enclosed table compares the capabilities

More information

7a. System-on-chip design and prototyping platforms

7a. System-on-chip design and prototyping platforms 7a. System-on-chip design and prototyping platforms Labros Bisdounis, Ph.D. Department of Computer and Communication Engineering 1 What is System-on-Chip (SoC)? System-on-chip is an integrated circuit

More information

BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH

BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH WHITE PAPER METRIC-DRIVEN VERIFICATION ENSURES SOFTWARE DEVELOPMENT QUALITY BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH INTRODUCTION The complexity of electronic systems is rapidly

More information

EE382V: Embedded System Design and Modeling

EE382V: Embedded System Design and Modeling EE382V: Embedded System Design and Modeling Lecture 1 - Introduction Andreas Gerstlauer Electrical and Computer Engineering University of Texas at Austin gerstl@ece.utexas.edu Lecture 1: Outline Introduction

More information

Architectures and Platforms

Architectures and Platforms Hardware/Software Codesign Arch&Platf. - 1 Architectures and Platforms 1. Architecture Selection: The Basic Trade-Offs 2. General Purpose vs. Application-Specific Processors 3. Processor Specialisation

More information

Real Time Developer Studio. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com

Real Time Developer Studio. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Real Time Developer Studio Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev French SME, Beneficiary since 2006. Dedicated to the development of a modelling tool for the development of Event driven

More information

Optimizing Configuration and Application Mapping for MPSoC Architectures

Optimizing Configuration and Application Mapping for MPSoC Architectures Optimizing Configuration and Application Mapping for MPSoC Architectures École Polytechnique de Montréal, Canada Email : Sebastien.Le-Beux@polymtl.ca 1 Multi-Processor Systems on Chip (MPSoC) Design Trends

More information

SysML Modelling Language explained

SysML Modelling Language explained Date: 7 th October 2010 Author: Guillaume FINANCE, Objet Direct Analyst & Consultant UML, the standard modelling language used in the field of software engineering, has been tailored to define a modelling

More information

TASTE: An open-source tool-chain for embedded system and software development

TASTE: An open-source tool-chain for embedded system and software development TASTE: An open-source tool-chain for embedded system and software development Maxime Perrotin 1, Eric Conquet 1, Julien Delange 1, Thanassis Tsiodras 2 1 European Space Agency, ESTEC, Keplerlaan 1, 2201AG

More information

High Performance or Cycle Accuracy?

High Performance or Cycle Accuracy? CHIP DESIGN High Performance or Cycle Accuracy? You can have both! Bill Neifert, Carbon Design Systems Rob Kaye, ARM ATC-100 AGENDA Modelling 101 & Programmer s View (PV) Models Cycle Accurate Models Bringing

More information

Making Multicore Work and Measuring its Benefits. Markus Levy, president EEMBC and Multicore Association

Making Multicore Work and Measuring its Benefits. Markus Levy, president EEMBC and Multicore Association Making Multicore Work and Measuring its Benefits Markus Levy, president EEMBC and Multicore Association Agenda Why Multicore? Standards and issues in the multicore community What is Multicore Association?

More information

Contents. Introduction and System Engineering 1. Introduction 2. Software Process and Methodology 16. System Engineering 53

Contents. Introduction and System Engineering 1. Introduction 2. Software Process and Methodology 16. System Engineering 53 Preface xvi Part I Introduction and System Engineering 1 Chapter 1 Introduction 2 1.1 What Is Software Engineering? 2 1.2 Why Software Engineering? 3 1.3 Software Life-Cycle Activities 4 1.3.1 Software

More information

ESE566 REPORT3. Design Methodologies for Core-based System-on-Chip HUA TANG OVIDIU CARNU

ESE566 REPORT3. Design Methodologies for Core-based System-on-Chip HUA TANG OVIDIU CARNU ESE566 REPORT3 Design Methodologies for Core-based System-on-Chip HUA TANG OVIDIU CARNU Nov 19th, 2002 ABSTRACT: In this report, we discuss several recent published papers on design methodologies of core-based

More information

Increasing Development Knowledge with EPFC

Increasing Development Knowledge with EPFC The Eclipse Process Framework Composer Increasing Development Knowledge with EPFC Are all your developers on the same page? Are they all using the best practices and the same best practices for agile,

More information

Multiprocessor System-on-Chip

Multiprocessor System-on-Chip http://www.artistembedded.org/fp6/ ARTIST Workshop at DATE 06 W4: Design Issues in Distributed, CommunicationCentric Systems Modelling Networked Embedded Systems: From MPSoC to Sensor Networks Jan Madsen

More information

Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins

Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins Rushiraj Heshi Department of Computer Science and Engineering Walchand College of Engineering, Sangli Smriti

More information

Virtual Platforms Addressing challenges in telecom product development

Virtual Platforms Addressing challenges in telecom product development white paper Virtual Platforms Addressing challenges in telecom product development This page is intentionally left blank. EXECUTIVE SUMMARY Telecom Equipment Manufacturers (TEMs) are currently facing numerous

More information

Digitale Signalverarbeitung mit FPGA (DSF) Soft Core Prozessor NIOS II Stand Mai 2007. Jens Onno Krah

Digitale Signalverarbeitung mit FPGA (DSF) Soft Core Prozessor NIOS II Stand Mai 2007. Jens Onno Krah (DSF) Soft Core Prozessor NIOS II Stand Mai 2007 Jens Onno Krah Cologne University of Applied Sciences www.fh-koeln.de jens_onno.krah@fh-koeln.de NIOS II 1 1 What is Nios II? Altera s Second Generation

More information

Boosting Long Term Evolution (LTE) Application Performance with Intel System Studio

Boosting Long Term Evolution (LTE) Application Performance with Intel System Studio Case Study Intel Boosting Long Term Evolution (LTE) Application Performance with Intel System Studio Challenge: Deliver high performance code for time-critical tasks in LTE wireless communication applications.

More information

Approaches to Improve System Dependability From Formal Verification to Model-Based Testing

Approaches to Improve System Dependability From Formal Verification to Model-Based Testing Approaches to Improve System Dependability From Formal Verification to Model-Based Testing Andreas Ulrich, Peter Amthor, Marlon Vieira Siemens AG, Corporate Technology, CT SE/SCR andreas.ulrich@siemens.com

More information

Software Engineering for Real- Time Systems.

Software Engineering for Real- Time Systems. Software Engineering for Real- Time Systems. Presented by Andrew Dyer-Smith and Jamie McClelland Overview What are Real-Time Systems. Requirements of Real-Time Systems Current Technology Construction 1

More information

Accelerating Execution Speed of Fixed-Point Algorithms in MATLAB & Simulink

Accelerating Execution Speed of Fixed-Point Algorithms in MATLAB & Simulink Accelerating Execution Speed of Fixed-Point Algorithms in MATLAB & Simulink 2007 The MathWorks, Inc. Houman Zarrinkoub, PhD. Product Manager Signal Processing Toolboxes Houman.Zarrinkoub@mathworks.com

More information

So#ware Engineering & Systems Engineering

So#ware Engineering & Systems Engineering 1 So#ware Engineering & Systems Engineering Martin Griss Director, Silicon Valley Campus martingriss@svcmuedu 2 Carnegie Mellon Silicon Valley Established 2002 Heart of high tech ecosystem Education Research

More information

Model-based Quality Assurance of Automotive Software

Model-based Quality Assurance of Automotive Software Model-based Quality Assurance of Automotive Software Jan Jürjens 1, Daniel Reiss 2, David Trachtenherz 3 1 Open University (GB) and Microsoft Research (Cambridge) 2 Elektrobit (Germany) 3 TU Munich (Germany)

More information

What is Modeling language? What is UML? A brief history of UML Understanding the basics of UML UML diagrams for NES UML Profiles UML Modeling tools

What is Modeling language? What is UML? A brief history of UML Understanding the basics of UML UML diagrams for NES UML Profiles UML Modeling tools What is Modeling language? What is UML? A brief history of UML Understanding the basics of UML UML diagrams for NES UML Profiles UML Modeling tools 1 A modeling language is any artificial language that

More information

Towards Rigorous Architectures

Towards Rigorous Architectures Towards Rigorous Architectures Formal Methods 08 Industry Day May 28 th 2008 Ari Ahtiainen, Nokia Research Center Sari Leppänen, Nokia Services & Software 1 Contents Introduction Some selected case studies

More information

2015 IBM Continuous Engineering Open Labs Target to better LEARNING

2015 IBM Continuous Engineering Open Labs Target to better LEARNING 2015 IBM Continuous Engineering Open Labs Target to better LEARNING (NO COST - not a substitute for full training courses) Choose from one or more of these Self-Paced, Hands-On Labs: DMT 3722 - Learn to

More information

Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF)

Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF) Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF) 1 Overview Submission for First Topcased Days Toulouse 2011 Andreas Graf, Michael Jastram One important step of

More information

25 november 2008. SAAB Training Systems SESAM - Nov 2008, Göran Calås

25 november 2008. SAAB Training Systems SESAM - Nov 2008, Göran Calås 1 Projekthantering vid MDE Konfigurations och projekt/linjestyrning med Model-Driven Engineering Göran Calås Project Manager Systems Architect Nov 20, 2008 goran.calas@saabgroup.com +46 768 967167 2 Göran

More information

F-16 Modular Mission Computer Application Software

F-16 Modular Mission Computer Application Software F-16 Modular Mission Computer Application Software Achieving Cross-Platform Compatibility with Increased Productivity and Quality using the OMG s Model Driven Architecture Lauren E. Clark Chief Engineer

More information

Industry Challenges in Embedded Software Development

Industry Challenges in Embedded Software Development Industry Challenges in Embedded Software Development Don Wilson Raytheon Company dwilson4@raytheon.com (520)545-9429 7 July 2005 Copyright 2005 Raytheon Company. All rights reserved. Industry Challenges

More information

Development Process Automation Experiences in Japan

Development Process Automation Experiences in Japan Development Process Automation Experiences in Japan Dr. Olaf Kath ikv ++ technologies ag Germany ikv++ technologies ag 2007 who we are core business optimization and automation of our customer s system

More information

Component-Oriented Engineering

Component-Oriented Engineering Component-Oriented Engineering... the dawn of a new era in embedded software development productivity Francis Bordeleau and Ross MacLeod Zeligsoft May 2008 Component-Oriented Engineering the dawn of a

More information

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville Software Engineering Software Processes Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To introduce software process models To describe three generic process models and when

More information

Impact Analysis of Software Change for Mission Critical Systems

Impact Analysis of Software Change for Mission Critical Systems Impact Analysis of Software Change for Mission Critical Systems Damian Kennedy, Dr Sergey Nesterov Centre of Excellence for Defence and Industry Systems Capability Defence and Systems Institute University

More information

Testing Intelligent Device Communications in a Distributed System

Testing Intelligent Device Communications in a Distributed System Testing Intelligent Device Communications in a Distributed System David Goughnour (Triangle MicroWorks), Joe Stevens (Triangle MicroWorks) dgoughnour@trianglemicroworks.com United States Smart Grid systems

More information

Hardware Virtualization for Pre-Silicon Software Development in Automotive Electronics

Hardware Virtualization for Pre-Silicon Software Development in Automotive Electronics Hardware Virtualization for Pre-Silicon Software Development in Automotive Electronics Frank Schirrmeister, Filip Thoen fschirr@synopsys.com Synopsys, Inc. Market Trends & Challenges Growing electronics

More information

Design of UML models and their simulation using ARENA

Design of UML models and their simulation using ARENA Design of UML models and their simulation using ARENA ARTIS TEILANS and ARNIS KLEINS Exigen Services DATI 17a Ganibu Dambis, LV-1045, Riga LATVIA artis.teilans@exigenservices.com arnis.kleins@exigenservices.com

More information

Six ways to accelerate Android mobile application development

Six ways to accelerate Android mobile application development Six ways to accelerate Android mobile application Creating an integrated solution for collaboration among teams Contents 1 Weaving the invisible thread of innovation 2 Android : vast opportunities and

More information

What methods are used to conduct testing?

What methods are used to conduct testing? What is testing? Testing is the practice of making objective judgments regarding the extent to which the system (device) meets, exceeds or fails to meet stated objectives What the purpose of testing? There

More information

Mastering increasing product complexity with Collaborative Systems Engineering and PLM

Mastering increasing product complexity with Collaborative Systems Engineering and PLM Mastering increasing product complexity with Collaborative Systems Engineering and PLM Thierry Ambroisine Dassault Systèmes 10 rue Marcel Dassault, 78140 Vélizy Villacoublay, France thierry.ambroisine@3ds.com

More information

Evolution of OpenCache: an OpenSource Virtual Content Distribution Network (vcdn) Platform

Evolution of OpenCache: an OpenSource Virtual Content Distribution Network (vcdn) Platform Evolution of OpenCache: an OpenSource Virtual Content Distribution Network (vcdn) Platform Daniel King d.king@lancaster.ac.uk Matthew Broadbent m.broadbent@lancaster.ac.uk David Hutchison d.hutchison@lancaster.ac.uk

More information

Networked Embedded Systems: Design Challenges

Networked Embedded Systems: Design Challenges Networked Embedded Systems: Design Challenges Davide Quaglia Electronic Systems Design Group University of Verona 3 a giornata nazionale di Sintesi Logica, Verona, Jun 21, 2007 Outline Motivation Networked

More information

DEFENSE CLIENT CASE STUDIES AUGUST 2014

DEFENSE CLIENT CASE STUDIES AUGUST 2014 DEFENSE CLIENT CASE STUDIES AUGUST 2014 Typical Business Objectives Sample Clients: Fortune 100 companies that spend over $1.0 Billion on software development annually Sophisticated corporate staff that

More information

ARM System Solutions

ARM System Solutions ARM System Solutions www.renesas.eu 2011.02 ARM system solutions by Renesas Electronics Renesas is a major supplier of microcontrollers to the embedded market. Besides offering a very wide choice of 8-bit,

More information

Agile Model-Based Systems Engineering (ambse)

Agile Model-Based Systems Engineering (ambse) Agile Model-Based Systems Engineering (ambse) Bruce Powel Douglass, Ph.D. Chief Evangelist, Global Technology Ambassador IBM Rational Bruce.Douglass@us.ibm.com Twitter: @BruceDouglass Yahoo: tech.groups.yahoo.com/group/rt-uml/

More information

Scenario-based Requirements Engineering and User-Interface Design

Scenario-based Requirements Engineering and User-Interface Design Scenario-based Requirements Engineering and User-Interface Institut für Computertechnik ICT Institute of Computer Technology Hermann Kaindl Vienna University of Technology, ICT Austria kaindl@ict.tuwien.ac.at

More information

Sam Mancarella Chief Technology Officer Sparx Systems. April 27, 2011

Sam Mancarella Chief Technology Officer Sparx Systems. April 27, 2011 MBSE and Enterprise Architect Sam Mancarella Chief Technology Officer Sparx Systems sam.mancarella@sparxsystems.com April 27, 2011 Overview MBSE Market since 2008 Advances & Challenges Customer Experiences

More information

Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer

Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Generate Results. Real Models. Real Code. Real Fast. Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Andreas Henriksson, Ericsson andreas.henriksson@ericsson.com

More information

PowerPC Microprocessor Clock Modes

PowerPC Microprocessor Clock Modes nc. Freescale Semiconductor AN1269 (Freescale Order Number) 1/96 Application Note PowerPC Microprocessor Clock Modes The PowerPC microprocessors offer customers numerous clocking options. An internal phase-lock

More information

Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions

Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions September 2013 Silicon Support & Professional Eng. Services Customer Experience Freescale Provided SW & Solutions Provide Valued Software, Support & Professional Engineering Services, Competitively 2 Customer

More information

Software Driven Embedded Systems Design. A Use Case Analysis: Avoiding a hardware dependent software disaster using Virtual System Prototyping

Software Driven Embedded Systems Design. A Use Case Analysis: Avoiding a hardware dependent software disaster using Virtual System Prototyping Software Driven Embedded Systems Design A Use Case Analysis: Avoiding a hardware dependent software disaster using Virtual System Prototyping Overview Traditional System Development: A use case Traditional

More information

Introduction to System-on-Chip

Introduction to System-on-Chip Introduction to System-on-Chip COE838: Systems-on-Chip Design http://www.ee.ryerson.ca/~courses/coe838/ Dr. Gul N. Khan http://www.ee.ryerson.ca/~gnkhan Electrical and Computer Engineering Ryerson University

More information

Design a medical application for Android platform using model-driven development approach

Design a medical application for Android platform using model-driven development approach Design a medical application for Android platform using model-driven development approach J. Yepes, L. Cobaleda 2, J. Villa D, J. Aedo ARTICA, Microelectronic and Control Research Group 2 ARTICA, Software

More information

Software Development Under Stringent Hardware Constraints: Do Agile Methods Have a Chance?

Software Development Under Stringent Hardware Constraints: Do Agile Methods Have a Chance? Software Development Under Stringent Hardware Constraints: Do Agile Methods Have a Chance? Jussi Ronkainen, Pekka Abrahamsson VTT Technical Research Centre of Finland P.O. Box 1100 FIN-90570 Oulu, Finland

More information

METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED SYSTEMS

METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED SYSTEMS METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED Jean-Luc Voirin Thales Aerospace Keywords: architecture modelling method early validation Abstract ARCADIA is a system & software

More information

Testing of Digital System-on- Chip (SoC)

Testing of Digital System-on- Chip (SoC) Testing of Digital System-on- Chip (SoC) 1 Outline of the Talk Introduction to system-on-chip (SoC) design Approaches to SoC design SoC test requirements and challenges Core test wrapper P1500 core test

More information

Simplify rich applications & hard real-time

Simplify rich applications & hard real-time embedded world Conference 2013 Simplify rich applications & hard real-time F&S Elektronik Systeme GmbH Untere Waldplätze 23 D-70569 Stuttgart Tel. (+49)(0)711 123722-0 Speaker: Dipl.Ing.(FH) Martin Kiepfer

More information

How to Elaborate Requirements Through Use Cases and User Stories Mar$n Schedlbauer, Ph.D., CBAP, CSM, PSM

How to Elaborate Requirements Through Use Cases and User Stories Mar$n Schedlbauer, Ph.D., CBAP, CSM, PSM November 5 th, 2015 How to Elaborate Requirements Through Use Cases and User Stories Mar$n Schedlbauer, Ph.D., CBAP, CSM, PSM Requirements Techniques Narrative Statements often in the form of The system/solution

More information

Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars

Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars Jonn Lantz Technical Specialist, Electric Propulsion Systems @ Volvo Car Group Jonn.Lantz@volvocars.com 1 Partners

More information

Principles Leading to Good Design. Techniques for making design decisions. Using cost-benefit analysis to choose. Writing a Good Design Document

Principles Leading to Good Design. Techniques for making design decisions. Using cost-benefit analysis to choose. Writing a Good Design Document Principles Leading to Good Design Techniques for making design decisions Overall goals of good design: Increasing profit by reducing cost and increasing revenue Ensuring that we actually conform with the

More information

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001 Agenda Introduzione Il mercato Dal circuito integrato al System on a Chip (SoC) La progettazione di un SoC La tecnologia Una fabbrica di circuiti integrati 28 How to handle complexity G The engineering

More information

A new approach to automotive electric/electronic engineering life-cycle management

A new approach to automotive electric/electronic engineering life-cycle management IBM Software Automotive A new approach to automotive electric/electronic engineering life-cycle management Managing engineering data and processes using a single source of truth 2 A new approach to automotive

More information

Revel8or: Model Driven Capacity Planning Tool Suite

Revel8or: Model Driven Capacity Planning Tool Suite Revel8or: Model Driven Capacity Planning Tool Suite Liming Zhu 1,2, Yan Liu 1,2, Ngoc Bao Bui 1,2,Ian Gorton 3 1 Empirical Software Engineering Program, National ICT Australia Ltd. 2 School of Computer

More information

Computer System Design. System-on-Chip

Computer System Design. System-on-Chip Brochure More information from http://www.researchandmarkets.com/reports/2171000/ Computer System Design. System-on-Chip Description: The next generation of computer system designers will be less concerned

More information

Embedded Systems Lecture 15: HW & SW Optimisations. Björn Franke University of Edinburgh

Embedded Systems Lecture 15: HW & SW Optimisations. Björn Franke University of Edinburgh Embedded Systems Lecture 15: HW & SW Optimisations Björn Franke University of Edinburgh Overview SW Optimisations Floating-Point to Fixed-Point Conversion HW Optimisations Application-Specific Instruction

More information

James Serra Sr BI Architect JamesSerra3@gmail.com http://jamesserra.com/

James Serra Sr BI Architect JamesSerra3@gmail.com http://jamesserra.com/ James Serra Sr BI Architect JamesSerra3@gmail.com http://jamesserra.com/ Our Focus: Microsoft Pure-Play Data Warehousing & Business Intelligence Partner Our Customers: Our Reputation: "B.I. Voyage came

More information

BENEFITS OF MODELING WITH A FORMAL LANGUAGE. Emmanuel Gaudin emmanuel.gaudin@pramadev.com

BENEFITS OF MODELING WITH A FORMAL LANGUAGE. Emmanuel Gaudin emmanuel.gaudin@pramadev.com BENEFITS OF MODELING WITH A FORMAL LANGUAGE Emmanuel Gaudin emmanuel.gaudin@pramadev.com PragmaDev French software editor based in Paris Dedicated to the development of RTDS: a modeling and testing tool

More information

AADL et la conception des logiciels

AADL et la conception des logiciels AADL et la conception des logiciels Pierre Dissaux, journée Féria/SVF, 2 décembre 2003 System Lifecycle System Engineering System Integration Hardware Engineering Software Engineering from System Engineering

More information

Low-Level Verification of Embedded Software: Addressing the Challenge

Low-Level Verification of Embedded Software: Addressing the Challenge Low-Level Verification of Embedded Software: Addressing the Challenge Sanjit A. Seshia Assistant Professor EECS, UC Berkeley FMCAD 2010 Panel October 2010 Abstraction Layers in Computing Algorithms, Protocols,

More information

How Product Development Organizations can Achieve Long- Term Cost Savings Using Model-Based Systems Engineering (MBSE)

How Product Development Organizations can Achieve Long- Term Cost Savings Using Model-Based Systems Engineering (MBSE) How Product Development Organizations can Achieve Long- Term Cost Savings Using Model-Based Systems Engineering (MBSE) How financial managers can achieve lower costs of development, faster deployment of

More information

IBM RATIONAL PERFORMANCE TESTER

IBM RATIONAL PERFORMANCE TESTER IBM RATIONAL PERFORMANCE TESTER Today, a major portion of newly developed enterprise applications is based on Internet connectivity of a geographically distributed work force that all need on-line access

More information

SCADE Suite in Space Applications

SCADE Suite in Space Applications SCADE Suite in Space Applications at EADS David Lesens 09/10/2008 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T

More information

From UML to HDL: a Model Driven Architectural Approach to Hardware-Software Co-Design

From UML to HDL: a Model Driven Architectural Approach to Hardware-Software Co-Design From UML to HDL: a Model Driven Architectural Approach to Hardware-Software Co-Design Frank P. Coyle and Mitchell A. Thornton Computer Science and Engineering Dept Southern Methodist University Dallas

More information

Clarifying a vision on certification of MDA tools

Clarifying a vision on certification of MDA tools SCIENTIFIC PAPERS, UNIVERSITY OF LATVIA, 2010. Vol. 757 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES 23 29 P. Clarifying a vision on certification of MDA tools Antons Cernickins Riga Technical University,

More information

Lecture 03 (04.11.2013) Quality of the Software Development Process

Lecture 03 (04.11.2013) Quality of the Software Development Process Systeme hoher Qualität und Sicherheit Universität Bremen, WS 2013/14 Lecture 03 (04.11.2013) Quality of the Software Development Process Christoph Lüth Christian Liguda Your Daily Menu Models of Software

More information

Presentation of the AADL: Architecture Analysis and Design Language

Presentation of the AADL: Architecture Analysis and Design Language Presentation of the AADL: Architecture Analysis and Design Language Outline 1. AADL a quick overview 2. AADL key modeling constructs 1. AADL components 2. Properties 3. Component connection 3. AADL: tool

More information

Semarchy Convergence for Data Integration The Data Integration Platform for Evolutionary MDM

Semarchy Convergence for Data Integration The Data Integration Platform for Evolutionary MDM Semarchy Convergence for Data Integration The Data Integration Platform for Evolutionary MDM PRODUCT DATASHEET BENEFITS Deliver Successfully on Time and Budget Provide the Right Data at the Right Time

More information

Extreme Scale Demonstrators Workshop ARM as a Foundation For European HPC

Extreme Scale Demonstrators Workshop ARM as a Foundation For European HPC Extreme Scale Demonstrators Workshop ARM as a Foundation For European HPC Eric van Hensbergen eric.vanhensbergen@arm.com Senior Principal Research Engineer High Performance Computing An introduction to

More information

Advisor Counsel. Computer basics and Programming. Introduction to Engineering Design. C Programming Project. Digital Engineering

Advisor Counsel. Computer basics and Programming. Introduction to Engineering Design. C Programming Project. Digital Engineering Course Description ( 전체개설교과목개요 ) Advisor Counsel Yr. : Sem. : Course Code: CD0001 Advisor in the department which programs engineering education guides certificate program educational objectives, learning

More information

Freescale Development Kits IEEE 802.15.4. Wireless design made simple. freescale.com/802154

Freescale Development Kits IEEE 802.15.4. Wireless design made simple. freescale.com/802154 Freescale Development Kits IEEE 802.15.4 Wireless design made simple IEEE 802.15.4 Wireless Design Made Simple Our Wireless Portfolio Our portfolio of 802.15.4 platforms lets the developer choose the best

More information

Intoduction to SysML

Intoduction to SysML Intoduction to SysML a modeling language for Systems Engineering SummIT 2013, Axelborg 22. maj 2013 Ingeniørdocent Finn Overgaard Hansen, foh@iha.dk Department of Engineering Aarhus University Ver. 22.5.2013

More information

Systems on Chip Design

Systems on Chip Design Systems on Chip Design College: Engineering Department: Electrical First: Course Definition, a Summary: 1 Course Code: EE 19 Units: 3 credit hrs 3 Level: 3 rd 4 Prerequisite: Basic knowledge of microprocessor/microcontroller

More information

RF System Design and Analysis Software Enhances RF Architectural Planning

RF System Design and Analysis Software Enhances RF Architectural Planning From April 2010 High Frequency Electronics Copyright 2010 Summit Technical Media, LLC RF System Design and Analysis Software Enhances RF Architectural Planning By Dale D. Henkes Applied Computational Sciences

More information

MAJORS: Computer Engineering, Computer Science, Electrical Engineering

MAJORS: Computer Engineering, Computer Science, Electrical Engineering Qualcomm MAJORS: Computer Engineering, Computer Science, Electrical Engineering TITLE: Intern - Software Engineer - Summer 2012 JOB DESCRIPTION: G1889814 Job Title Intern - Software Engineer - Summer 2012

More information

COEN-4720 Embedded Systems Design Lecture 1 Introduction Fall 2016. Cristinel Ababei Dept. of Electrical and Computer Engineering Marquette University

COEN-4720 Embedded Systems Design Lecture 1 Introduction Fall 2016. Cristinel Ababei Dept. of Electrical and Computer Engineering Marquette University COEN-4720 Embedded Systems Design Lecture 1 Introduction Fall 2016 Cristinel Ababei Dept. of Electrical and Computer Engineering Marquette University 1 Outline What is an Embedded System (ES) Examples

More information

MPSoC Virtual Platforms

MPSoC Virtual Platforms CASTNESS 2007 Workshop MPSoC Virtual Platforms Rainer Leupers Software for Systems on Silicon (SSS) RWTH Aachen University Institute for Integrated Signal Processing Systems Why focus on virtual platforms?

More information

Manage Software Development in LabVIEW with Professional Tools

Manage Software Development in LabVIEW with Professional Tools Manage Software Development in LabVIEW with Professional Tools Introduction For many years, National Instruments LabVIEW software has been known as an easy-to-use development tool for building data acquisition

More information

International Workshop on Field Programmable Logic and Applications, FPL '99

International Workshop on Field Programmable Logic and Applications, FPL '99 International Workshop on Field Programmable Logic and Applications, FPL '99 DRIVE: An Interpretive Simulation and Visualization Environment for Dynamically Reconægurable Systems? Kiran Bondalapati and

More information