hodology SWAMINATHAN GOPALSWAMY MBD 中部コンファレンス 2014/12/18 NEAT -Make a NEAT job 01 EMI Introduction

Size: px
Start display at page:

Download "hodology SWAMINATHAN GOPALSWAMY MBD 中部コンファレンス 2014/12/18 NEAT -Make a NEAT job 01 EMI Introduction"

Transcription

1 An extended d Model Based Devel opment (XMBD) met hodology SWAMINATHAN GOPALSWAMY MBD 中部コンファレンス 2014/12/18 1 EMI Introduction

2 The Rational Mdl Model Wt Waterfall fllapproach Less Concrete Concrete Structured development process borrowing from software development Level of concreteness increases steadily from requirements to the implementation Structure of testing (with macro properties) decreases steadily from unit testing to final calibration and release Structured Integration Calibration and Release Unstruct

3 The Rational Mdl Model The V process (folded d Waterfall) Integration Key idea: has to explicitly satisfy the Make as concrete as possible Focus on unit testing against specifications Coverage of unit tests relative to implementation and specifications (also borrowed from software engineering) Ultimately, the mechatronic sstem system has to satisfy the product goals (captured as requirements) Validation against requirements Calibrations (adjustments) as neede

4 The Rational Mdl Model MBD V pro ocess (folded d Waterfall) Integration and Verification Key Idea: Process Acceleration: Use of Models for physical system and controls Solutions becomes more concrete also But NOT Rationale Blurring the distinction between and (Executable) Automatic s (Auto Code) Upfront Virtual Testing through use of MIL, SIL and HIL simulations Reduced actual tests on prototypes Increased test scope and variety Preliminary Calibration using Virtual Simulations

5 The Rational Mdl Model MBSE V pr rocess (folded d Waterfall) systems became complex (i.e. system of systems), important question to answer: Is the turing the requirements correctly? Attempt to make requirements more concrete Structured Analysis Upfront verification against requirements Integration and Verification This is the State of the Art today Tools and Processes are built around this paradigm

6 The Empirical i Mdl Model Re equirements Iterative ti Process ut, this is the State of e Practice today Integration and Verification equirements are NOT the starting point any part of he process can be: Code, Models, Ideas are qually valid starting points evelopment isiterative, with mpacting and impacted by,, tc derived from,, Testing, We need tools and processes that are aligned with State of the Practice

7 The Empirical i Mdl Model Re equirements Iterative ti Process odels in BD (L2) Models in XMBD (L1) Integration and Verification Models in Traditional MBSE Multi directional dependencies needs to be captured requires an extended / extreme modeling framework that includes more than just physical system and control strategy need to be made more concrete Tests (Unit, Verification, Analysis, Validation) need to be made more structured Models for requirements, conceptual design, executable specifications, software, tests, analysis,

8 extended dmodel dlbased Develop pment An extended Modeling framework where all relevant assets are Modeled: ( Decisions, Assumptions, Functional partitioning, algorithm) (Software, Software Specs, Execu table Algorithm ) Verification and Validation A Continuous Iterative environment where traceability and iterations are supported between any of the relevant assets

9 Conclusions State of the Art proposes a Driven Approach State of Practice illustrates an Iterative environment for,, and Testing We Propose an extended d Model lbased ddevelop ment (XMBD) approach to align with the State t of Practice What is Needed for XMBD? Common framework for abstracting / modeling of relevant assets such as requirements, design, etc. Intuitive and non burdensome to the practicing engineer Flexible beto allow ao for evolving eo gunderstanding d Providing state of the art process support for the practicing engineer New tools and environment that understand and facilitate a Requirement Iterative Process

DRYING CONTROL LOGIC DEVELOPMENT USING MODEL BASED DESIGN

DRYING CONTROL LOGIC DEVELOPMENT USING MODEL BASED DESIGN DRYING CONTROL LOGIC DEVELOPMENT USING MODEL BASED DESIGN Problem Definition To generate and deploy automatic code for Drying Control Logics compatible with new SW architecture in 6 months using MBD, a

More information

ISO compliant verification of functional requirements in the model-based software development process

ISO compliant verification of functional requirements in the model-based software development process requirements in the model-based software development process Hans J. Holberg SVP Marketing & Sales, BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany hans.j.holberg@btc-es.de Dr. Udo

More information

ISO Compliant Automatic Requirements-Based Testing for TargetLink

ISO Compliant Automatic Requirements-Based Testing for TargetLink ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink Dr. Udo Brockmeyer CEO BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany udo.brockmeyer@btc-es.de Adrian Valea

More information

Specifying and Prototyping

Specifying and Prototyping Contents Specifying and Prototyping M. EVREN KIYMAÇ 2008639030 What is Specifying? Gathering Specifications Specifying Approach & Waterfall Model What is Prototyping? Uses of Prototypes Prototyping Process

More information

CLOSING THE DESIGN CYCLE LOOP WITH EXECUTABLE REQUIREMENTS AND OSLC

CLOSING THE DESIGN CYCLE LOOP WITH EXECUTABLE REQUIREMENTS AND OSLC CLOSING THE DESIGN CYCLE LOOP WITH EXECUTABLE REQUIREMENTS AND OSLC Hubertus Tummescheit, Modelon Bob Sherman, Procter & Gamble Juan Llorens, The Reuse Company INCOSE IW 2017 MBSE Workshop 2017-01-27 1

More information

Plant modeling: A First Step to Early Verification of Control Systems

Plant modeling: A First Step to Early Verification of Control Systems Plant modeling: A First Step to Early Verification of Control Systems Arkadiy Turevskiy, Technical Marketing Manager, The MathWorks Use simulation for early verification of your design before hardware

More information

Development and Deployment of ECU based Control Systems through MBD. Imperative role of Model based design in System Engineering

Development and Deployment of ECU based Control Systems through MBD. Imperative role of Model based design in System Engineering Development and Deployment of ECU based Control Systems through MBD Imperative role of Model based design in System Engineering Outline Scope of Work Problem Definition Solution System Engineering Model

More information

Simulation-based Test Management and Automation Sang-Ho Yoon Senior Application Engineer

Simulation-based Test Management and Automation Sang-Ho Yoon Senior Application Engineer 1 Simulation-based Test Management and Automation Sang-Ho Yoon Senior Application Engineer 2016 The MathWorks, Inc. 2 Today s Agenda Verification Activities in MBD Simulation-Based Test Manage and Automate

More information

Software Processes. Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 4 Slide 1

Software Processes. Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 4 Slide 1 Software Processes Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 4 Slide 1 Objectives To introduce software process models To describe three generic process models and when they may be

More information

Software Life Cycle. Main issues: Discussion of different life cycle models Maintenance or evolution

Software Life Cycle. Main issues: Discussion of different life cycle models Maintenance or evolution Software Life Cycle Main issues: Discussion of different life cycle models Maintenance or evolution Introduction software development projects are large and complex a phased approach to control it is necessary

More information

Volvo Car Group Jonn Lantz Agile by Models

Volvo Car Group Jonn Lantz Agile by Models Volvo Car Group Jonn Lantz Agile by Models Challenge Scaling agile model driven development of AUTOSAR embedded software. Lift the abstraction level of in-house development. Create reliable, automated

More information

HP ALM Overview. Accelerating Innovation, Industrialising Quality. Oren Ziv, Product Manager, QC/ALM

HP ALM Overview. Accelerating Innovation, Industrialising Quality. Oren Ziv, Product Manager, QC/ALM www.hp.com/go/alm HP ALM Overview Accelerating Innovation, Industrialising Quality Oren Ziv, Product Manager, QC/ALM Satisfied customers Largest community 6,000+ worldwide Enterprise scalability to Size

More information

Part 5. Verification and Validation

Part 5. Verification and Validation Software Engineering Part 5. Verification and Validation - Verification and Validation - Software Testing Ver. 1.7 This lecture note is based on materials from Ian Sommerville 2006. Anyone can use this

More information

Lecture 7: Software Processes. Refresher: Software Always Evolves

Lecture 7: Software Processes. Refresher: Software Always Evolves Lecture 7: Software Processes What is a Software Development Process? The Lifecycle of a Software Project Agile vs. Disciplined Some common approaches: RUP, SCRUM, XP, ICONIX, Where UML fits in (next lecture)

More information

MIL/SIL/PIL Approach A new paradigm in Model Based Development

MIL/SIL/PIL Approach A new paradigm in Model Based Development Bitte decken Sie die schraffierte Fläche mit einem Bild ab. Please cover the shaded area with a picture. (24,4 x 11,0 cm) MIL/SIL/PIL Approach A new paradigm in Model Based Development Narayanamurthy Srinivas,

More information

BUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL

BUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL BUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL A few words on Samares Engineering Research and Consultancy on Systems Engineering Requirement engineering Model-Based Systems Engineering Co-simulation

More information

Software Design and Implementation. Example Architecture KIWC

Software Design and Implementation. Example Architecture KIWC Software Design and Implementation Example Architecture KIWC Previously on SDI What is design? What is traceability? What is architecture? Why architectures are important? Architectural styles KWIC The

More information

Real-Time Testing in a Modern, Agile Development Workflow

Real-Time Testing in a Modern, Agile Development Workflow Real-Time Testing in a Modern, Agile Development Workflow Simon Eriksson Application Engineer 2015 The MathWorks, Inc. 1 Demo Going from Desktop Testing to Real-Time Testing 2 Key Take-Aways From This

More information

A Model-Based Reference Workflow for the Development of Safety-Related Software

A Model-Based Reference Workflow for the Development of Safety-Related Software A Model-Based Reference Workflow for the Development of Safety-Related Software 2010-01-2338 Published 10/19/2010 Michael Beine dspace GmbH Dirk Fleischer dspace Inc. Copyright 2010 SAE International ABSTRACT

More information

Process Models. Projects Process. Common Process Models. Typical Student Process Model. Waterfall Model

Process Models. Projects Process. Common Process Models. Typical Student Process Model. Waterfall Model Process Models A process model specifies a general process, usually as a set of stages This model will be suitable for a class of projects i.e. a model provides generic structure of the process that can

More information

Design Build Services - Service Description-v7

Design Build Services - Service Description-v7 Design Build Services - Service Description Hyper-scale clouds, such as Microsoft s Azure platform, allow organizations to take advantage of flexible, cost-effective cloud solutions that have the power

More information

Data Verification and Validation (V&V) for New Simulations

Data Verification and Validation (V&V) for New Simulations Data Verification and Validation (V&V) for New Simulations RPG Special Topic 9/15/06 1 Table of Contents Introduction 1 Data V&V Activities During M&S Development 1 Determine M&S Requirements Phase 2 V&V

More information

Model-Based Design of Connected and Autonomous Vehicles

Model-Based Design of Connected and Autonomous Vehicles Model-Based Design of Connected and Autonomous Vehicles Akshay Rajhans, PhD Senior Research Scientist Advanced Research and Technology Office MathWorks https://arajhans.github.io 2 nd IEEE Summer School

More information

Automatic Code Generation Technology Adoption Lessons Learned from Commercial Vehicle Case Studies

Automatic Code Generation Technology Adoption Lessons Learned from Commercial Vehicle Case Studies 08AE-22 Automatic Code Generation Technology Adoption Lessons Learned from Commercial Vehicle Case Studies Copyright 2007 The MathWorks, Inc Tom Erkkinen The MathWorks, Inc. Scott Breiner John Deere ABSTRACT

More information

Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale

Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale Saurabh Hukerikar Christian Engelmann Computer Science Research Group Computer Science & Mathematics Division Oak Ridge

More information

Application in a Systems Design Environment. EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering

Application in a Systems Design Environment. EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering Application in a Systems Design Environment EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering Purpose The formal design process in the other notes can be applied to

More information

Test requirements in networked systems

Test requirements in networked systems Test requirements in networked systems Jürgen Klüser, Vector Informatik GmbH The use of CAN with J1939 or CANopen based higher layers leads to cost efficient and flexible solutions, but together with a

More information

Three Ways to Reduce Product Delivery Risk and to Lower Software Lifecycle Costs

Three Ways to Reduce Product Delivery Risk and to Lower Software Lifecycle Costs Three Ways to Reduce Product Delivery Risk and to Lower Software Lifecycle Costs Jeffrey Fortin Product Manager for VectorCAST V2.2 2017-10-02 Why does quality matter? Two Examples 2 Why does quality matter?

More information

Object Oriented Model of Objectory Process

Object Oriented Model of Objectory Process Object Oriented Model of Objectory Process Characteristics of Original Process The original Objectory Process version 4.0 (demo version, Rational, 1997) is complex, but it is made more manageable by viewing

More information

Software Testing part II (white box) Lecturer: Giuseppe Santucci

Software Testing part II (white box) Lecturer: Giuseppe Santucci Software Testing part II (white box) Lecturer: Giuseppe Santucci 4. White box testing White-box (or Glass-box) testing: general characteristics Statement coverage Decision coverage Condition coverage Decision

More information

The LUCID Design Framework (Logical User Centered Interaction Design)

The LUCID Design Framework (Logical User Centered Interaction Design) The LUCID Design Framework (Logical User Centered Interaction Design) developed by Cognetics Corporation LUCID Logical User Centered Interaction Design began as a way of describing the approach to interface

More information

UML for Real-Time Overview

UML for Real-Time Overview Abstract UML for Real-Time Overview Andrew Lyons April 1998 This paper explains how the Unified Modeling Language (UML), and powerful modeling constructs originally developed for the modeling of complex

More information

Developing Agent Models with Repast Michael North

Developing Agent Models with Repast Michael North Developing Agent Models with Repast Michael North north@anl.gov www.cas.anl.gov Agent-Based Models Can Be Constructed Using a Variety of Approaches Environments are the stage upon which agents play These

More information

Requirements and Design Overview

Requirements 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 information

SOFTWARE LIFE-CYCLE PROCESSES From Waterfall to Extreme Programming

SOFTWARE LIFE-CYCLE PROCESSES From Waterfall to Extreme Programming SOFTWARE LIFE-CYCLE PROCESSES From Waterfall to Extreme Programming Slide 1 Lesson Objectives Understand major activities of software projects Understand the place of these in different lifecycle models

More information

V&V: Model-based testing

V&V: Model-based testing V&V: Model-based testing Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design Verification

More information

Increasing the Value of your Test System Investment

Increasing the Value of your Test System Investment 1 Increasing the Value of your Test System Investment Michael Hutton Senior Market Development Manager Real-Time Test National Instruments NOW THEN 3 NOW THEN 4 Growth of Embedded Software Boeing 787 Dreamliner

More information

Model-Based Design for Video/Image Processing Applications

Model-Based Design for Video/Image Processing Applications Model-Based Design for Video/Image Processing Applications The MathWorks Agenda Model-Based Design From MATLAB and Simulink to Altera FPGA Step-by-step design and implementation of edge detection algorithm

More information

Variants and Traceability as the Challenge

Variants and Traceability as the Challenge Variants and Traceability as the Challenge Model-Based Test Design as an Answer V1.0 2016-11-12 Motivation We are talking about automated ECU testing: Module tests, sub system tests, MIL, SIL, HIL Challenges

More information

elektronik Security for Software and IT ECU ENERGY STORAGE TESTING COVER STORY Gasoline Direct Injection in-the-loop

elektronik Security for Software and IT ECU ENERGY STORAGE TESTING COVER STORY Gasoline Direct Injection in-the-loop www.atzonline.com 03 May 2015 Volume 10 elektronik W O R L D W I D E COVER STORY Security for Software and IT ECU Gasoline Direct Injection in-the-loop TESTING Tablets in Mobile Measurement Technique ENERGY

More information

Creating a Lattix Dependency Model The Process

Creating a Lattix Dependency Model The Process Creating a Lattix Dependency Model The Process Whitepaper January 2005 Copyright 2005-7 Lattix, Inc. All rights reserved The Lattix Dependency Model The Lattix LDM solution employs a unique and powerful

More information

DESIGN. (Chapter 04)

DESIGN. (Chapter 04) DESIGN (Chapter 04) THE PROCESS OF INTERACTION DESIGN Overview What is involved in Interaction Design? Importance of involving users Degrees of user involvement What is a user-centered approach? Four basic

More information

Testing Tools to Support Agile Software Delivery. The Critical Role of Automated Functional Testing in Enterprise Environments

Testing Tools to Support Agile Software Delivery. The Critical Role of Automated Functional Testing in Enterprise Environments Testing Tools to Support Agile Software Delivery The Critical Role of Automated Functional Testing in Enterprise Environments White Paper September 2008 Contents Executive summary......................................................3

More information

Lecture Notes UML UNIT-II. Subject: OOAD Semester: 8TH Course No: CSE-802

Lecture 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 information

Data Analysis 1. Chapter 2.1 V3.1. Napier University Dr Gordon Russell

Data Analysis 1. Chapter 2.1 V3.1. Napier University Dr Gordon Russell Data Analysis 1 Chapter 2.1 V3.1 Copyright @ Napier University Dr Gordon Russell Entity Relationship Modelling Overview Database Analysis Life Cycle Components of an Entity Relationship Diagram What is

More information

EARLY AUTOMATION APPROACH

EARLY AUTOMATION APPROACH EARLY AUTOMATION APPROACH - By Senthilkumar Gopalakrishnan Senthilkumar.Gopalakrishnan@cognizant.com Abstract: Early Automation approach involves automation team in the early phase of testing lifecycle.

More information

Analog Verification. Ken Kundert. Copyright 2009, Designerʹs Guide Consulting, Inc. All Rights Reserved

Analog Verification. Ken Kundert. Copyright 2009, Designerʹs Guide Consulting, Inc. All Rights Reserved Analog Verification Ken Kundert Copyright 2009, Designerʹs Guide Consulting, Inc. All Rights Reserved Designs They Are A Changin The Complexity of Design is Growing Rapidly Size > 100K transistors 2010

More information

Certified Automotive Software Tester Sample Exam Paper Syllabus Version 2.0

Certified Automotive Software Tester Sample Exam Paper Syllabus Version 2.0 Surname, Name: Gender: male female Company address: Telephone: Fax: E-mail-address: Invoice address: Training provider: Trainer: Certified Automotive Software Tester Sample Exam Paper Syllabus Version

More information

Engineering Design Notes I Introduction. EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering

Engineering Design Notes I Introduction. EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering Engineering Design Notes I Introduction EE 498/499 Capstone Design Classes Klipsch School of Electrical & Computer Engineering Topics Overview Analysis vs. Design Design Stages Systems Engineering Integration

More information

Contemporary Design. Traditional Hardware Design. Traditional Hardware Design. HDL Based Hardware Design User Inputs. Requirements.

Contemporary Design. Traditional Hardware Design. Traditional Hardware Design. HDL Based Hardware Design User Inputs. Requirements. Contemporary Design We have been talking about design process Let s now take next steps into examining in some detail Increasing complexities of contemporary systems Demand the use of increasingly powerful

More information

Chapter 10. Testing and Quality Assurance

Chapter 10. Testing and Quality Assurance Chapter 10 Testing and Quality Assurance Different styles of doing code review Human Reviewer Code Inspection with continuous integration infrastructure Pinger s testing set up Testing Related topics 1.

More information

A Capacity Planning Methodology for Distributed E-Commerce Applications

A Capacity Planning Methodology for Distributed E-Commerce Applications A Capacity Planning Methodology for Distributed E-Commerce Applications I. Introduction Most of today s e-commerce environments are based on distributed, multi-tiered, component-based architectures. The

More information

Managing Change and Complexity

Managing Change and Complexity Managing Change and Complexity The reality of software development Overview Some more Philosophy Reality, representations and descriptions Some more history Managing complexity Managing change Some more

More information

DSH plus a HWPA Program Gateway into Model-Based Design of Mechatronic Systems

DSH plus a HWPA Program Gateway into Model-Based Design of Mechatronic Systems 2011 European HyperWorks Technology Conference DSH plus a HWPA Program Gateway into Model-Based Design of Mechatronic Systems Dr. Heiko Baum FLUIDON GmbH COMPETENCE IN FLUID POWER SYSTEMS SIMULATION KOMPETENZ

More information

The Big Happy Family of System Architecture Approaches. Chris Phillips 14 Jun 2018

The Big Happy Family of System Architecture Approaches. Chris Phillips 14 Jun 2018 The Big Happy Family of System Architecture Approaches Chris Phillips 14 Jun 2018 Agenda Introduction Overview Key Definitions System Architecture Overview Architectural Approaches Integrating Architectural

More information

CS SOFTWARE ENGINEERING QUESTION BANK SIXTEEN MARKS

CS SOFTWARE ENGINEERING QUESTION BANK SIXTEEN MARKS DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING CS 6403 - SOFTWARE ENGINEERING QUESTION BANK SIXTEEN MARKS 1. Explain iterative waterfall and spiral model for software life cycle and various activities

More information

Conceptual Framework for Security Testing, Security Risk Analysis and their Combinations

Conceptual Framework for Security Testing, Security Risk Analysis and their Combinations ICSSEA 2012 / STV 12 Conceptual Framework for Security Testing, Security Risk Analysis and their Combinations Li, Yan 1 Contents Introduction Basic concepts The combinations of security testing and security

More information

The Bizarre Truth! Automating the Automation. Complicated & Confusing taxonomy of Model Based Testing approach A CONFORMIQ WHITEPAPER

The Bizarre Truth! Automating the Automation. Complicated & Confusing taxonomy of Model Based Testing approach A CONFORMIQ WHITEPAPER The Bizarre Truth! Complicated & Confusing taxonomy of Model Based Testing approach A CONFORMIQ WHITEPAPER By Kimmo Nupponen 1 TABLE OF CONTENTS 1. The context Introduction 2. The approach Know the difference

More information

Agile Software Requirements Lean Practices For Teams Programs And The Enterprise Dean Leffingwell

Agile Software Requirements Lean Practices For Teams Programs And The Enterprise Dean Leffingwell Agile Software Requirements Lean Practices For Teams Programs And The Enterprise Dean Leffingwell We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks

More information

System Development Life Cycle Methods/Approaches/Models

System Development Life Cycle Methods/Approaches/Models Week 11 System Development Life Cycle Methods/Approaches/Models Approaches to System Development System Development Life Cycle Methods/Approaches/Models Waterfall Model Prototype Model Spiral Model Extreme

More information

Verification and Validation. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1

Verification and Validation. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 22 Slide 1 Verification vs validation Verification: "Are we building the product right?. The software should

More information

Hardware Software Co-Design and Testing Using Simulink Real-Time Paul Berry and Brian Steenson

Hardware Software Co-Design and Testing Using Simulink Real-Time Paul Berry and Brian Steenson Hardware Software Co-Design and Testing Using Simulink Real-Time Paul Berry and Brian Steenson www.thalesgroup.com Overview Process Development Introduction to THALES Overview of design process Development

More information

B Nagaraju

B Nagaraju Project Agenda Planning in the Project Design Phase Designing Models, Controllers, and Views Planning in the Project Design Phase Project Development Methodologies Gathering Requirements Planning the Database

More information

Model-based testing in the automotive industry challenges and solutions

Model-based testing in the automotive industry challenges and solutions Model-based testing in the automotive industry challenges and solutions Jan Peleska (University of Bremen), Peer Smuda (Daimler AG) Artur Honisch, Hermann Schmid (Daimler AG) Daniel Tille, Hristina Fidanoska,

More information

Chapter 9. Introduction to High-Level Language Programming. INVITATION TO Computer Science

Chapter 9. Introduction to High-Level Language Programming. INVITATION TO Computer Science Chapter 9 Introduction to High-Level Language Programming INVITATION TO Computer Science 1 Objectives After studying this chapter, students will be able to: Explain the advantages of high-level programming

More information

Architecture-driven development of Climate Control Software LMS Imagine.Lab Embedded Software Designer Siemens DF PL

Architecture-driven development of Climate Control Software LMS Imagine.Lab Embedded Software Designer Siemens DF PL Architecture-driven development of Climate Control Software LMS Imagine.Lab Embedded Software Designer Siemens DF PL Restricted Siemens AG 2017 Realize innovation. Content 1 Overview 3 2 LMS Imagine.Lab

More information

Formal Verification and Automatic Testing for Model-based Development in compliance with ISO 26262

Formal Verification and Automatic Testing for Model-based Development in compliance with ISO 26262 Formal Verification and Automatic Testing for Model-based Development in compliance with ISO 26262 Is your software safe? Do you have evidence? 2 BTC Embedded Systems AG proprietary all rights reserved

More information

Learning objectives: Software Engineering. CSI1102: Introduction to Software Design. The Software Life Cycle. About Maintenance

Learning objectives: Software Engineering. CSI1102: Introduction to Software Design. The Software Life Cycle. About Maintenance CSI1102: Introduction to Software Design Chapter 10: Introduction to Software Engineering Learning objectives: Software Engineering The quality of the software is a direct result of the process we follow

More information

Model Based Systems Engineering Engine Control: from concept to validation. Jan Smolders Technical Account Manager

Model Based Systems Engineering Engine Control: from concept to validation. Jan Smolders Technical Account Manager Model Based Systems Engineering Engine Control: from concept to validation Jan Smolders Technical Account Manager Table of Content Model Driven Development MiL SiL HiL Model adaptation to Real-Time Towards

More information

FULL VIRTUALIZATION OF RENAULT'S ENGINE MANAGEMENT SOFTWARE APPLICATION TO SYSTEM DEVELOPMENT

FULL VIRTUALIZATION OF RENAULT'S ENGINE MANAGEMENT SOFTWARE APPLICATION TO SYSTEM DEVELOPMENT FULL VIRTUALIZATION OF RENAULT'S ENGINE MANAGEMENT SOFTWARE APPLICATION TO SYSTEM DEVELOPMENT D. von Wissel, Y. Jordan,, RENAULT A. Dolha, J. Mauss QTronic Introduction Renault has an established engine

More information

Enterprise Data Management - Data Lineage

Enterprise Data Management - Data Lineage Enterprise Data Management - Data Lineage 2 Enterprise Data Management - Data Lineage Data Lineage has been a hot topic in data management for a while now. This is especially true in the financial sector.

More information

THE 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 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 information

Introduction to Assurance

Introduction to Assurance Introduction to Assurance Overview Why assurance? Trust and assurance Life cycle and assurance April 1, 2015 Slide #1 Overview Trust Problems from lack of assurance Types of assurance Life cycle and assurance

More information

Basics : the Requirements Engineering Process

Basics : the Requirements Engineering Process SEG3101 (Fall 2010) Basics : the Requirements Engineering Process Gregor v. Bochmann, University of Ottawa Based on Powerpoint slides prepared by Gunter Mussbacher with material from: Sommerville & Kotonya

More information

Software Verification and Validation (VIMMD052) Introduction. Istvan Majzik Budapest University of Technology and Economics

Software 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 information

Introducing Simulink Release 2012b for Control System Development Mark Walker MathWorks

Introducing Simulink Release 2012b for Control System Development Mark Walker MathWorks Introducing Simulink Release 2012b for Control System Development Mark Walker MathWorks 2012 The MathWorks, Inc. 1 Simulink R2012b the most significant upgrade to Simulink ever Who does Simulink R2012b

More information

Software Development Process Models

Software Development Process Models Software Development Process Models From classical notions to more agile approaches th@cs.toronto.edu, BA8134 Code & Fix or Cowboy Coding 1) Write program 2) Test and fix program Problems: program users

More information

HOW TO DESIGN PRODUCT LINES BY MEANS OF MBSE. Prof. Dr. Claudio Zuccaro, HS München Andreas Korff, PTC

HOW TO DESIGN PRODUCT LINES BY MEANS OF MBSE. Prof. Dr. Claudio Zuccaro, HS München Andreas Korff, PTC HOW TO DESIGN PRODUCT LINES BY MEANS OF MBSE Prof. Dr. Claudio Zuccaro, HS München Andreas Korff, PTC AGENDA Short Introduction to Orthogonal Variability Modeling (OVM) Approaches for Variant Modeling

More information

The Power to Prototype

The Power to Prototype The Power to Prototype The art and science of prototyping is observed across different industries. Many professionals across diverse domains love to associate themselves with the know-how of prototyping.

More information

DESIGN AS RISK MINIMIZATION

DESIGN AS RISK MINIMIZATION THOMAS LATOZA SWE 621 FALL 2018 DESIGN AS RISK MINIMIZATION IN CLASS EXERCISE As you come in and take a seat What were the most important risks you faced in a recent software project? WHAT IS A RISK? WHAT

More information

Living With Agility

Living With Agility Living With Agility Tales from the Battlefield Who AM I? Daniel Laird - Head of Software 15+ Years Experience Started as a Software developer in Research with Philips Semiconductors Joined Ericsson Senior

More information

EDA - Electronic Design Automation or Electronic Design Assistance?

EDA - Electronic Design Automation or Electronic Design Assistance? EDA - Electronic Design Automation or Electronic Design Assistance? NSF Workshop Electronic Design Automation Past, Present, and Future Andreas Kuehlmann NSF Workshop, July 8 9 2009 The Past The Vision

More information

Enabling Smart Energy as a Service via 5G Mobile Network advances

Enabling Smart Energy as a Service via 5G Mobile Network advances NR 5 Enabling Smart Energy as a Service via 5G Mobile Network advances 5G-PPP Phase 2 at EuCNC Oulu Fiorentino Giampaolo giampaolo.fiorentino@eng.it SCOPE MOTIVATION NR 5 Insights behind... The state of

More information

Introduction to Control Systems Design

Introduction 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 information

Current Research Topics in Mobile Computing. Nokia. About 100 new phone models in 2003 globally. New challenges: Open platforms and SWarchitectures

Current Research Topics in Mobile Computing. Nokia. About 100 new phone models in 2003 globally. New challenges: Open platforms and SWarchitectures Current Research Topics in Mobile Computing EmSys Summer School 2003 Salzburg Heikki.Saikkonen@nokia.com Nokia Trends in Mobile Computing Software Engineering Current Research Topics in Mobile Computing

More information

CSC Advanced Object Oriented Programming, Spring Overview

CSC Advanced Object Oriented Programming, Spring Overview CSC 520 - Advanced Object Oriented Programming, Spring 2018 Overview Brief History 1960: Simula first object oriented language developed by researchers at the Norwegian Computing Center. 1970: Alan Kay

More information

HL7 V3 User Model. The V3 Editing Team. April 9, Ockham Information Services LLC

HL7 V3 User Model. The V3 Editing Team. April 9, Ockham Information Services LLC HL7 V3 User Model The V3 Editing Team April 9, 2007 Ockham Information Services LLC Contents Profile orientation Profile drafts Use case drafts Document map prototypes The need for profiles Documents require

More information

Cellular Phone Application Specific RAM

Cellular Phone Application Specific RAM Cellular Phone Application Specific RAM Mobile FCRAM TM with High-Speed Page Mode A further enhanced Mobile FCRAM featuring a high-speed page mode, a 1.8V power supply operation. Introduction Besides the

More information

cs465 principles of user interface design, implementation and evaluation

cs465 principles of user interface design, implementation and evaluation cs465 principles of user interface design, implementation and evaluation Karrie G. Karahalios 24. September 2008 1. Heuristic Evaluation 2. Cognitive Walkthrough 3. Discuss Homework 3 4. Discuss Projects

More information

Topics. CS5714 Usability Engineering. Typical Software Engineering LC. An Iterative, Evaluation- Centered Life Cycle For Interaction Development

Topics. CS5714 Usability Engineering. Typical Software Engineering LC. An Iterative, Evaluation- Centered Life Cycle For Interaction Development CS5714 Usability Engineering An Iterative, Evaluation- Centered Life Cycle For Interaction Development Copyright 2004 H. Rex Hartson Deborah Hix Topics Connections of user interaction development to engineering

More information

Briefing Date. Purpose

Briefing Date. Purpose Applying the Systems Engineering Method for the Joint Capabilities Integration and Development System (JCIDS) Chris Ryder and Dave Flanigan 27 October 2005 Purpose JCIDS prescribes a joint forces approach

More information

Generating system documentation augmented with traceability information, using a central XML-based repository

Generating system documentation augmented with traceability information, using a central XML-based repository Generating system documentation augmented with traceability information, using a central XML-based repository Master s thesis presentation Thomas U. Kraus Department of Software Engineering Faculty of

More information

THERMAL TESTING OF A 3D PRINTED SUPER DENSE MESH HEATSINK AGAINST STATE-OF- THE-ART FINNED GEOMETRY

THERMAL TESTING OF A 3D PRINTED SUPER DENSE MESH HEATSINK AGAINST STATE-OF- THE-ART FINNED GEOMETRY THERMAL TESTING OF A 3D PRINTED SUPER DENSE MESH HEATSINK AGAINST STATE-OF- THE-ART FINNED GEOMETRY Robert Smith, P.E., Chief Technologist AUGUST 29, 2015 QRP 6764 Airport Road West Jordan, UT 84081 www.qualifiedrapidproducts.com

More information

On the Purpose of Object-Oriented Analysis

On the Purpose of Object-Oriented Analysis September 29 On the Purpose of Object-Oriented Analysis The What and How of what Geir Høydalsvik & Guttorm Sindre. The Norwegian Institute of Technology A critical look at: What is this about? The relationship

More information

Software. I1 Profiler Product Information

Software. I1 Profiler Product Information Software i1profiler Software With the new i1profiler software, X- Rite has developed a next generation toolset that combines the best features of its i1match, ProfileMaker and MonacoPROFILER solutions.

More information

Mathieu Dutré - Application Specialist MBSE. Analysis and optimization of physical models for HIL simulation

Mathieu Dutré - Application Specialist MBSE. Analysis and optimization of physical models for HIL simulation Mathieu Dutré - Application Specialist MBSE Analysis and optimization of physical models for HIL simulation Smarter decisions, better products. Industry drivers for HIL simulation Model Driven Virtual

More information

Overview. State-of-the-Art. Relative cost of error correction. CS 619 Introduction to OO Design and Development. Testing.

Overview. State-of-the-Art. Relative cost of error correction. CS 619 Introduction to OO Design and Development. Testing. Overview CS 619 Introduction to OO Design and Development ing! Preliminaries! All sorts of test techniques! Comparison of test techniques! Software reliability Fall 2012! Main issues: There are a great

More information

CREATIVE ASSERTION AND CONSTRAINT METHODS FOR FORMAL DESIGN VERIFICATION

CREATIVE ASSERTION AND CONSTRAINT METHODS FOR FORMAL DESIGN VERIFICATION CREATIVE ASSERTION AND CONSTRAINT METHODS FOR FORMAL DESIGN VERIFICATION Joseph Richards SGI, High Performance Systems Development Mountain View, CA richards@sgi.com Abstract The challenges involved in

More information

Verification, Validation, and Test with Model-Based Design

Verification, Validation, and Test with Model-Based Design 2008-01-2709 Verification, Validation, and Test with Model-Based Design Copyright 2008 The MathWorks, Inc Tom Erkkinen The MathWorks, Inc. Mirko Conrad The MathWorks, Inc. ABSTRACT Model-Based Design with

More information

2. Draw and explain state transition diagram for a typical weather information system. (8M)

2. Draw and explain state transition diagram for a typical weather information system. (8M) 1. Explain, with a neat diagram, the distinct phases of Rational Unified Process (RUP). 1b. List and explain the different stages involved in the object oriented design process. 2. Draw and explain state

More information