Using Model and Code Reviews in Model-based Development of ECU Software Mirko Conrad, Heiko Dörr, Ines Fey, Ingo Stürmer

Size: px
Start display at page:

Download "Using Model and Code Reviews in Model-based Development of ECU Software Mirko Conrad, Heiko Dörr, Ines Fey, Ingo Stürmer"

Transcription

1 Using Model and Code Reviews in Model-based Development of ECU Software DaimlerChrysler AG, Research E/E and Information Technology {Mirko.Conrad Heiko.Doerr Ines.Fey

2 Presentation Outline Model-based Software Development Reviews in Software Development Model Reviews Autocode Reviews Summary

3 Model-based Software Development Continuous use of models for the specification the design the implementation and as a basis for the test Idea Strong advantages because of consistent means of description continuous tool chain efficient, automatic coding testing during the development process Micro controller W INT R INT A/D converter A/D converter W DIS R DIS Software U DIS D/A converter U INT

4 Modeling Techniques Block diagrams Extended state machines Executable models in all constructive development phases Mixed discrete-continuous models Hierarchical decomposition for complexity management Commercial simulation and modeling tools (e.g. Matlab / Simulink / Stateflow, ASCET-SD)

5 Reviews in Software Development Classical Software development Requirements Review Code Review Model-based Development Model Review Autocode Review

6 Model Reviews Aim Check if requirements are realized in the model Check if relevant modeling guidelines are fulfilled Check if models meet quality criteria e.g. portability, testability Guidelines for Model Reviews General rules Modeling pattern Project specific rules

7 Model Reviews Example of Modeling Guideline and corresponding Model Review Check

8 Tool-supported Model Reviews Automated creation of unambiguous references to the model Automatic marking of queried model parts Acceleration by 40% in comparison to conventional approach

9 Autocode Reviews Aim find errors which have been introduced by humans find errors which are difficult to detect in the models but easy to find in the generated code check the correct translation model to code thus safeguard the codegenerator Review automatically generated code Based on experience

10 Autocode Reviews: (A) (B) (C1) (D1) (C2) (D2) (E) Preparation Kick-off Inspection Meeting #1 Inspection Meeting #2 Follow-up Review#1 Review#2 Two-phase concept ACR Checklist #1 ACR Checklist #2 Review Phase #1 Review Phase #2 Based on checklists concerning in particular aspects such as structure and intelligibility special error causes Checklists serve the purpose of structuring experience 2 phases in order to keep the checklists manageable Combination of model review and code review

11 Autocode Reviews: Example of a Phase 1 Checklist Question ACQ1-2 Type: M Standard Conformance: Efficiency: Portability: Reusability: Safety: +++ Are the corresponding model and code fragments of an arithmetical operation consistent? Thereby, the review focus will be restricted to variables and arithmetic operations only. Code fragments, which result from scalings (e.g. shifts / casts), are not taken into account in this phase. Example: x1 x2 * * y y = (Int16) (((Int32)x1 * (Int32)x2 >> 16); y = (Int16) (((Int32)x1 + (Int32)x2 >> 16); check whether or not the corresponding model and code fragments are structurally consistent

12 Autocode Reviews: Example of a Phase 2 Checklist Question ACQ2-1 Type: M Standard Conformance: Efficiency: Portability: Reusability: Safety: +++ Are the signals / values of an arithmetical operation scaled in a consistent manner? Equal Scalings: As a rule, in case of additions / subtractions the scaling of all operands and the scaling of the result should be the same (cf. standard scaling table). In case of multiplications / divisions the plausibility of scalings has to be checked. Example: y = (Int8) ((UInt8)(x1<<2)+((UInt8)(x2<<2)+((UInt8)(x2<<2); y = (Int8) ((UInt8)(x1<<2)+((UInt8)(x2<<1)+((UInt8)(x2<<2); check for specific errors with respect to arithmetical operations

13 Summary: Reviews are very resource consuming Reviews should be reduced to what is absolutely necessary Other quality assurance techniques should be used in addition Static checking tools should be applied before the review Reviews should be connected with dynamic testing techniques Tool support is indispensable (e.g ToolNet environment, e-guidelines)

14 Using Model and Code Reviews in Model-based Development of ECU Software Ines Fey Methods and Tools (REI/SM) DaimlerChrysler AG Research and Technology Alt-Moabit 96 A D Berlin Phone +49-(0) Fax +49-(0)

Integrated Model-based Software Development and Testing with CSD and MTest

Integrated Model-based Software Development and Testing with CSD and MTest Integrated Model-based Software Development and Testing with CSD and Andreas Rau / Mirko Conrad / Helmut Keller / Ines Fey / Christian Dziobek DaimlerChrysler AG, Germany fa-stz-andreas.rau Mirko.Conrad

More information

Overview of Existing Safeguarding Techniques for Automatically Generated Code

Overview of Existing Safeguarding Techniques for Automatically Generated Code Overview of Existing Safeguarding Techniques for Automatically Generated Code Ingo Stürmer Member of the ACM stuermer@acm.org Daniela Weinberg Fraunhofer FIRST Computer Architecture and Software Technology

More information

Quality Assurance Methods for Model-based Development: A Survey and Assessment

Quality Assurance Methods for Model-based Development: A Survey and Assessment 2007-01-0506 Quality Assurance Methods for Model-based Development: A Survey and Assessment Copyright 2007 SAE International Ines Fey DaimlerChrysler AG, Berlin, Germany ines.fey@daimlerchrysler.com Ingo

More information

Ingo Stürmer, Dietrich Travkin. Automated Transformation of MATLAB Simulink and Stateflow Models

Ingo Stürmer, Dietrich Travkin. Automated Transformation of MATLAB Simulink and Stateflow Models Ingo Stürmer, Dietrich Travkin Automated Transformation of MATLAB Simulink and Stateflow Models Ingo Stürmer Model Engineering Solutions Dietrich Travkin University of Paderborn Object-oriented Modeling

More information

Prüfung von Traceability Links -Workshop

Prüfung von Traceability Links -Workshop 1 Prüfung von Traceability Links -Workshop Darmstadt, 7.12.2007 Agenda des Workshops 2 10.00 Begrüßung und Vorstellung der Teilnehmer 10.30 Erörterung der Entwicklungsmethoden 11.30 Mittagspause 12.15

More information

Simulink for System and Algorithm Modeling Introduction to System Modeling

Simulink for System and Algorithm Modeling Introduction to System Modeling 2015 The MathWorks, Inc. Simulink for System and Algorithm Modeling Introduction to System Modeling Outline 2-2 Model-Based Design Types of modeling System modeling with Simulink Modeling steps Model-Based

More information

Making model-based development a reality: The development of NEC Electronics' automotive system development environment in conjunction with MATLAB

Making model-based development a reality: The development of NEC Electronics' automotive system development environment in conjunction with MATLAB The V850 Integrated Development Environment in Conjunction with MAT...iles and More / Web Magazine -Innovation Channel- / NEC Electronics Volume 53 (Feb 22, 2006) The V850 Integrated Development Environment

More information

Development of AUTOSAR Software Components within Model-Based Design

Development of AUTOSAR Software Components within Model-Based Design 2008-01-0383 Development of AUTOSAR Software Components within Model-Based Design Copyright 2008 The MathWorks, Inc. Guido Sandmann Automotive Marketing Manager, EMEA The MathWorks Richard Thompson Senior

More information

SAM Business Process Workflow

SAM Business Process Workflow Let s talk Business from application to authorization Reduced susceptibility to errors and quicker processing times for issuing authorizations Compliance with legal regulations Protection from compliance

More information

Caterpillar Automatic Code Generation

Caterpillar Automatic Code Generation SAE TECHNICAL PAPER SERIES 2004-01-0894 Caterpillar Automatic Code Generation Jeffrey M. Thate and Larry E. Kendrick Caterpillar, Inc. Siva Nadarajah The MathWorks, Inc. Reprinted From: Electronic Engine

More information

MotoHawk Software. Model-Based Embedded Development

MotoHawk Software. Model-Based Embedded Development MotoHawk Software Model-Based Embedded Development Product Specification 37747 (Revision NEW, 01/2015) Rapid Control Development System on Real Production Hardware MotoHawk, an add-on to MATLAB/Simulink,

More information

Bridging the gap between SysML tools and Simulink within System Engineering context

Bridging the gap between SysML tools and Simulink within System Engineering context Bridging the gap between SysML tools and Simulink within System Engineering context Ascension Vizinho-Coutry, Application Engineering Manager MathWorks France 2014 The MathWorks, Inc. 1 Requirements =

More information

Instrumentation-Based Verification for Medical-Device Software

Instrumentation-Based Verification for Medical-Device Software Instrumentation-Based Verification for Medical-Device Software Rance Cleaveland Professor of Computer Science, University of Maryland and Executive & Scientific Director, Fraunhofer USA Center for Experimental

More information

Automatic ASAM MCD-3 supported test. PikeTec GmbH Dr. Jens Lüdemann

Automatic ASAM MCD-3 supported test. PikeTec GmbH Dr. Jens Lüdemann Automatic ASAM MCD-3 supported test PikeTec GmbH Dr. Jens Lüdemann Test challenges Clear test case description (Modeling) Continuity and consistency at all test platforms Automated Execution, Assessment,

More information

MathWorks Automotive Conference 2015 Simon Fürst, 2015/09/24. MODEL-BASED SOFTWARE DEVELOPMENT: AN OEM S PERSPECTIVE.

MathWorks Automotive Conference 2015 Simon Fürst, 2015/09/24. MODEL-BASED SOFTWARE DEVELOPMENT: AN OEM S PERSPECTIVE. MathWorks Automotive Conference 2015 Simon Fürst, 2015/09/24. MODEL-BASED SOFTWARE DEVELOPMENT: AN OEM S PERSPECTIVE. MODEL-BASED SOFTWARE DEVELOPMENT AT BMW. Software development with MATLAB & Simulink

More information

Automating Code Reviews with Simulink Code Inspector

Automating Code Reviews with Simulink Code Inspector Automating Code Reviews with Simulink Code Inspector Mirko Conrad, Matt Englehart, Tom Erkkinen, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan, Jay Clark The MathWorks,

More information

Entwicklung und Testen von Robotischen Anwendungen mit MATLAB und Simulink Maximilian Apfelbeck, MathWorks

Entwicklung und Testen von Robotischen Anwendungen mit MATLAB und Simulink Maximilian Apfelbeck, MathWorks Entwicklung und Testen von Robotischen Anwendungen mit MATLAB und Simulink Maximilian Apfelbeck, MathWorks 2015 The MathWorks, Inc. 1 Robot Teleoperation IMU IMU V, W Control Device ROS-Node Turtlebot

More information

Fixed-Point Design in MATLAB and Simulink

Fixed-Point Design in MATLAB and Simulink Fixed-Point Design in MATLAB and Simulink Gaurav Dubey Senior Team Lead - Pilot Engineering Gaurav.Dubey@mathworks.in 2013 The MathWorks, Inc. 1 What are you looking for? How can I convert an algorithm

More information

What is the benefit of a model-based design of embedded software systems. in the car industry?

What is the benefit of a model-based design of embedded software systems. in the car industry? What is the benefit of a model-based design of embedded software systems Manfred Broy Technical University Munich, Germany Sascha Kirstan Altran Technologies, Germany Helmut Krcmar Technical University

More information

Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software

Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software ABSTRACT Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software Mirko Conrad The MathWorks, Inc. Natick, MA, USA mirko.conrad@mathworks.com

More information

www.dspace.com Model-Based Development of Safety-Critical Software: Safe and Effi cient

www.dspace.com Model-Based Development of Safety-Critical Software: Safe and Effi cient www.dspace.com Model-Based Development of Safety-Critical Software: Safe and Effi cient Translation of Sicherheitskritische Software entwickeln Published at: MEDengineering, 06/2012 Software for safety-critical

More information

Automatic Code Generation

Automatic Code Generation Automatic Code Generation Embedded Control Systems Fall 2012 1 Software Development: Waterfall Model Requirements Design Implementation Verification Maintenance 2 Software Development: V diagram Project

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

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios Mirko Conrad, Heiko Doerr Research E/E and Information Technology DaimlerChrysler AG Alt-Moabit

More information

Power inverters: Efficient energy transformation through efficient TargetLink code

Power inverters: Efficient energy transformation through efficient TargetLink code Page 6 santerno Power inverters: Efficient energy transformation through efficient TargetLink code Upva page 7 lue Energy Every day, the amount of energy delivered by the sun is 15,000 times the current

More information

Automotive Software Engineering

Automotive Software Engineering Automotive Software Engineering List of Chapters: 1. Introduction and Overview 1.1 The Driver Vehicle Environment System 1.1.1 Design and Method of Operation of Vehicle Electronic 1.1.2 Electronic of the

More information

Converting Models from Floating Point to Fixed Point for Production Code Generation

Converting Models from Floating Point to Fixed Point for Production Code Generation MATLAB Digest Converting Models from Floating Point to Fixed Point for Production Code Generation By Bill Chou and Tom Erkkinen An essential step in embedded software development, floating- to fixed-point

More information

Introduction to Software Engineering. 8. Software Quality

Introduction to Software Engineering. 8. Software Quality Introduction to Software Engineering 8. Software Quality Roadmap > What is quality? > Quality Attributes > Quality Assurance: Planning and Reviewing > Quality System and Standards 2 Sources > Software

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

Model-based Testing of Automotive Systems

Model-based Testing of Automotive Systems Model-based Testing of Automotive Systems Eckard Bringmann and Andreas Krämer ICST 08 Presented by Julia Rubin on November 21, 2012 Multidisciplinary Business 2 Supply Chain of Components 3 Innovation

More information

Quality Management. Lecture 12 Software quality management

Quality Management. Lecture 12 Software quality management Quality Management Lecture 12 Software quality management doc.dr.sc. Marko Jurčević prof.dr.sc. Roman Malarić University of Zagreb Faculty of Electrical Engineering and Computing Department of Fundamentals

More information

SQMB '11 Automated Model Quality Rating of Embedded Systems

SQMB '11 Automated Model Quality Rating of Embedded Systems SQMB '11 Automated Model Quality Rating of Embedded Systems Jan Scheible (jan.scheible@daimler.com) Daimler AG - Group Research and Advanced Engineering Hartmut Pohlheim (pohlheim@model-engineers.com)

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

Product Information CANape Option Simulink XCP Server

Product Information CANape Option Simulink XCP Server Product Information CANape Option Simulink XCP Server Table of Contents 1 Overview... 3 1.1 Introduction... 3 1.2 Overview of Advantages... 3 1.3 Application Areas... 3 1.4 Further Information... 4 2 Functions...

More information

PREEvision. Model-based Electric/Electronic Development. from Architecture Design to Series-Production Readiness ENGLISH. Distr. Systems.

PREEvision. Model-based Electric/Electronic Development. from Architecture Design to Series-Production Readiness ENGLISH. Distr. Systems. Development Distr. Systems Model-based Electric/Electronic Development from Architecture Design to Series-Production Readiness ENGLISH 2 Model-based Electric/Electronic Development from Architecture Design

More information

Schnell und effizient durch Automatische Codegenerierung

Schnell und effizient durch Automatische Codegenerierung Schnell und effizient durch Automatische Codegenerierung Andreas Uschold MathWorks 2015 The MathWorks, Inc. 1 ITK Engineering Develops IEC 62304 Compliant Controller for Dental Drill Motor with Model-Based

More information

EXAM FOR INFOTECH SOFTWARE ENGINEERING FOR REAL-TIME SYSTEMS. Suggested Solution WS 13/14. - Without Engagement -

EXAM FOR INFOTECH SOFTWARE ENGINEERING FOR REAL-TIME SYSTEMS. Suggested Solution WS 13/14. - Without Engagement - EXAM FOR INFOTECH SOFTWARE ENGINEERING FOR REAL-TIME SYSTEMS Suggested Solution WS 13/14 - Without Engagement - Task Theme Points Time required in min. 1 Analysis and Design 15 30 2 Basics and Test 10

More information

Reprint, also in extracts, without authorisation of the publisher forbidden.

Reprint, also in extracts, without authorisation of the publisher forbidden. Publisher: LuK GmbH & Co. Industriestrasse 3 D -77815 Bühl/Baden Telephon +49 (0) 7223 / 941-0 Fax +49 (0) 7223 / 2 69 50 Internet: www.luk.de Editorial: Ralf Stopp, Christa Siefert Layout: Vera Westermann

More information

The SPES Methodology Modeling- and Analysis Techniques

The SPES Methodology Modeling- and Analysis Techniques The SPES Methodology Modeling- and Analysis Techniques Dr. Wolfgang Böhm Technische Universität München boehmw@in.tum.de Agenda SPES_XT Project Overview Some Basic Notions The SPES Methodology SPES_XT

More information

MATLAB and Simulink for Embedded Systems and Robotics Sean de Wolski Application Engineer

MATLAB and Simulink for Embedded Systems and Robotics Sean de Wolski Application Engineer MATLAB and Simulink for Embedded Systems and Robotics Sean de Wolski Application Engineer 2014 The MathWorks, Inc. 1 Agenda for today MATLAB & SIMULINK Theory to Practice Trying out concepts from Controls,

More information

Model Based Software Development for DDG 1000 Advanced Gun System

Model Based Software Development for DDG 1000 Advanced Gun System BAE Systems Land & Armaments Model Based Software Development for DDG 1000 Advanced Gun System Dirk Jungquist BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution

More information

Measuring Productivity and Quality in Model-Based Design

Measuring Productivity and Quality in Model-Based Design 2005-01-1357 Measuring Productivity and Quality in Model-Based Design Copyright 2004 SAE International Arvind Hosagrahara Technical Consultant (The MathWorks, Inc.) Paul Smith Managing Consultant (The

More information

On Model-Based Development: Decomposition and Data Abstraction in SIMULINK

On Model-Based Development: Decomposition and Data Abstraction in SIMULINK On Model-Based Development: Decomposition and Data Abstraction in SIMULINK Andreas Rau Systems Engineer STZ Softwaretechnik 73730 Esslingen, Germany andreas.rau@stz-softwaretechnik.de 1 Abstract The automotive

More information

Wiederverwendung von Testfällen bei der modellbasierten SW-Entwicklung

Wiederverwendung von Testfällen bei der modellbasierten SW-Entwicklung Wiederverwendung von Testfällen bei der modellbasierten SW-Entwicklung DGLR Workshop "Verifikation in der modellbasierten Software-Entwicklung" Garching, 04 October 2011 Dipl.-Ing. Peter Hermle, Key Account

More information

Best practices for developing DO-178 compliant software using Model-Based Design

Best practices for developing DO-178 compliant software using Model-Based Design Best practices for developing DO-178 compliant software using Model-Based Design Raymond G. Estrada, Jr. 1 The MathWorks, Torrance, CA Eric Dillaber. 2 The MathWorks, Natick, MA Gen Sasaki 3 The MathWorks,

More information

INTEGRATION OF THE CODE GENERATION APPROACH IN THE MODEL-BASED DEVELOPMENT PROCESS BY MEANS OF TOOL CERTIFICATION

INTEGRATION OF THE CODE GENERATION APPROACH IN THE MODEL-BASED DEVELOPMENT PROCESS BY MEANS OF TOOL CERTIFICATION Journal of Integrated Design and Process Science, Vol. 8 (2), pp.-, 2004 INTEGRATION OF THE CODE GENERATION APPROACH IN THE MODEL-BASED DEVELOPMENT PROCESS BY MEANS OF TOOL CERTIFICATION Ingo Stürmer Department

More information

Impact Testing Systems

Impact Testing Systems The more intelligent solution... Impact Testing Systems The more intelligent solution... Tronjestraße 8, 44219 Dortmund Tel.: +49 231 912980 0 Fax.: +49 231 179855 www.coesfeld.com mail@coesfeld.com Introduction

More information

TECH. Requirements. Why are requirements important? The Requirements Process REQUIREMENTS ELICITATION AND ANALYSIS. Requirements vs.

TECH. Requirements. Why are requirements important? The Requirements Process REQUIREMENTS ELICITATION AND ANALYSIS. Requirements vs. CH04 Capturing the Requirements Understanding what the customers and users expect the system to do * The Requirements Process * Types of Requirements * Characteristics of Requirements * How to Express

More information

Model-Based Design for Embedded Systems

Model-Based Design for Embedded Systems Model-Based Design for Embedded Systems Dr. Simon Ginsburg Application Engineering 2008 The MathWorks, Inc. Embedded Application Development Requirements Management Configuration Management Process and

More information

Introduction to Simulink & Stateflow. Coorous Mohtadi

Introduction to Simulink & Stateflow. Coorous Mohtadi Introduction to Simulink & Stateflow Coorous Mohtadi 1 Key Message Simulink and Stateflow provide: A powerful environment for modelling real processes... and are fully integrated with the MATLAB environment.

More information

How formal modeling addresses advanced issues in railway signalling

How formal modeling addresses advanced issues in railway signalling How formal modeling addresses advanced issues in railway signalling Alessandro Fantechi University of Florence Dipartimento di Ingegneria dell Informazione Florence, Italy January 28, 2015 Univ. of Surrey

More information

Quality Management. Objectives

Quality Management. Objectives Quality Management Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 27 Slide 1 Objectives To introduce the quality management process and key quality management activities To explain the

More information

Quality Management. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 27 Slide 1

Quality Management. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 27 Slide 1 Quality Management Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 27 Slide 1 Objectives To introduce the quality management process and key quality management activities To explain the

More information

Multi-view Architecting

Multi-view Architecting by Gerrit Muller, JürgenMüller, Jan Gerben Wijnstra College, Philips Research e-mail: gaudisite@gmail.com www.gaudisite.nl Buskerud University Abstract The development of large SW-intensive products needs

More information

A Framework of Information Management System for Construction Projects

A Framework of Information Management System for Construction Projects A Framework of Information Management System for Construction Projects Ma Zhiliang and Qin Liang Department of Civil Engineering, Tsinghua University, Beijing 100084 (mazl@tsinghua.edu.cn; ql01@mails.tinsghua.edu.cn)

More information

Quality Assurance of Models for Autocoding

Quality Assurance of Models for Autocoding Quality Assurance of Models for Autocoding Ann Cass, Pierre Castori S YNS PACE AG Hardstrasse 11 CH - 4052 Basel ac@synspace.com, pc@synspace.com Abstract: Automatic Code Generation is an emerging technology

More information

Software Verification/Validation Methods and Tools... or Practical Formal Methods

Software Verification/Validation Methods and Tools... or Practical Formal Methods Software Verification/Validation Methods and Tools... or Practical Formal Methods John Rushby Computer Science Laboratory SRI International Menlo Park, CA John Rushby, SR I Practical Formal Methods: 1

More information

Model-Based Development of Safety-Critical Systems

Model-Based Development of Safety-Critical Systems Model-Based Development of Safety-Critical Systems Matthias Regensburger (regensbu@in.tum.de) Christian Buckl (buckl@in.tum.de) 08.05.2007 1 Overview Motivation Approach: Template Based Development Models

More information

Quality Management. Managing the quality of the software process and products

Quality Management. Managing the quality of the software process and products Quality Management Managing the quality of the software process and products Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 24 Slide 1 Objectives To introduce the quality management process

More information

Introducing Fixed-Point Conversion from MATLAB and Simulink Cynthia Cudicini Senior Application Engineer

Introducing Fixed-Point Conversion from MATLAB and Simulink Cynthia Cudicini Senior Application Engineer Introducing Fixed-Point Conversion from MATLAB and Simulink Cynthia Cudicini Senior Application Engineer 2014 The MathWorks, Inc. 1 Fixed-Point Concepts What is fixed-point? Fixed-point targets Design

More information

BACHELOR OF SCIENCE IN ELECTRICAL AND ELECTRONIC ENGINEERING DEGREE PROGRAMME

BACHELOR OF SCIENCE IN ELECTRICAL AND ELECTRONIC ENGINEERING DEGREE PROGRAMME SEMESTER 1 BACHELOR OF SCIENCE IN ELECTRIL AND ELECTRONIC ENGINEERING DEGREE PROGRAMME CE 101 Structural Mechanics I C 3 3/4 CE 10 Fluid Mechanics I C 3/4 EE 101 Electrical Engineering C 3/4 EE 10 Electronics

More information

Model Based System Engineering (MBSE) For Accelerating Software Development Cycle

Model Based System Engineering (MBSE) For Accelerating Software Development Cycle Model Based System Engineering (MBSE) For Accelerating Software Development Cycle Manish Patil Sujith Annamaneni September 2015 1 Contents 1. Abstract... 3 2. MBSE Overview... 4 3. MBSE Development Cycle...

More information

Quality Management. Objectives. Topics covered. Process and product quality Quality assurance and standards Quality planning Quality control

Quality Management. Objectives. Topics covered. Process and product quality Quality assurance and standards Quality planning Quality control Quality Management Sommerville Chapter 27 Objectives To introduce the quality management process and key quality management activities To explain the role of standards in quality management To explain

More information

Machine Learning with MATLAB David Willingham Application Engineer

Machine Learning with MATLAB David Willingham Application Engineer Machine Learning with MATLAB David Willingham Application Engineer 2014 The MathWorks, Inc. 1 Goals Overview of machine learning Machine learning models & techniques available in MATLAB Streamlining the

More information

CHAPTER 1 ENGINEERING PROBLEM SOLVING. Copyright 2013 Pearson Education, Inc.

CHAPTER 1 ENGINEERING PROBLEM SOLVING. Copyright 2013 Pearson Education, Inc. CHAPTER 1 ENGINEERING PROBLEM SOLVING Computing Systems: Hardware and Software The processor : controls all the parts such as memory devices and inputs/outputs. The Arithmetic Logic Unit (ALU) : performs

More information

IAS ACCREDITED INSPECTION AGENCIES: GUIDELINES FOR CONDUCTING INTERNAL AUDITS AND MANAGEMENT REVIEWS. Revised January, 2016

IAS ACCREDITED INSPECTION AGENCIES: GUIDELINES FOR CONDUCTING INTERNAL AUDITS AND MANAGEMENT REVIEWS. Revised January, 2016 IAS ACCREDITED INSPECTION AGENCIES: GUIDELINES FOR CONDUCTING INTERNAL AUDITS AND MANAGEMENT REVIEWS Revised January, 2016 IAS has found that inspection agency personnel are often confused by the requirements

More information

I can make just such ones if I had tools, and I could make tools if I had tools. -Eli Whitney

I can make just such ones if I had tools, and I could make tools if I had tools. -Eli Whitney I can make just such ones if I had tools, and I could make tools if I had tools to make them with. -Eli Whitney Automotive Software Development and Model Based Design (Matlab & Simulink) Ian M. Alferez,

More information

Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur

Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur Echtzeittesten mit MathWorks leicht gemacht Simulink Real-Time Tobias Kuschmider Applikationsingenieur 2015 The MathWorks, Inc. 1 Model-Based Design Continuous Verification and Validation Requirements

More information

Systematic Testing of Embedded Automotive Software: The Classification-Tree Method for Embedded Systems (CTM/ES)

Systematic Testing of Embedded Automotive Software: The Classification-Tree Method for Embedded Systems (CTM/ES) Systematic Testing of Embedded Automotive Software: The Classification-Tree Method for Embedded Systems (CTM/ES) Mirko Conrad DaimlerChrysler AG, Research and Technology, Berlin, Germany The software embedded

More information

THEME Competence Matrix - Electrical Engineering/Electronics with Partial competences/ Learning outcomes

THEME Competence Matrix - Electrical Engineering/Electronics with Partial competences/ Learning outcomes COMPETENCE AREAS STEPS OF COMPETENCE DEVELOPMENT 1. Preparing, planning, mounting and installing electrical for buildings and industrial applications He/She is able to prepare and carry out simple electrical

More information

MODEL-BASED DEVELOPMENT OF AUTOMOTIVE EMBEDDED SOFTWARE IN COMPLIANCE WITH ISO 26262: CHALLENGES & EFFECTIVE SOLUTIONS 8 JUNE - 9 JUNE 2015

MODEL-BASED DEVELOPMENT OF AUTOMOTIVE EMBEDDED SOFTWARE IN COMPLIANCE WITH ISO 26262: CHALLENGES & EFFECTIVE SOLUTIONS 8 JUNE - 9 JUNE 2015 MODEL-BASED DEVELOPMENT OF AUTOMOTIVE EMBEDDED SOFTWARE IN COMPLIANCE WITH ISO 26262: CHALLENGES & EFFECTIVE SOLUTIONS 8 JUNE - 9 JUNE 2015 Highlights Developing safety-critical software in compliance

More information

Software Technology in an Automotive Company - Major Challenges

Software Technology in an Automotive Company - Major Challenges Software Technology in an Automotive Company - Major Challenges Klaus Grimm DaimlerChrysler AG, Research and Technology Alt-Moabit 96A, 10559 Berlin, Germany klaus, grimm @ daimlerchrysler.com Abstract

More information

Do not open this examination paper until instructed to do so. Section A: answer all the questions. Section B: answer all the questions.

Do not open this examination paper until instructed to do so. Section A: answer all the questions. Section B: answer all the questions. N10/5/COMSC/HP1/ENG/TZ0/XX 88107011 Computer science HIGHER level Paper 1 Tuesday 16 November 2010 (afternoon) 2 hours 15 minutes INSTRUCTIONS TO CANDIDATES Do not open this examination paper until instructed

More information

Performance Study based on Matlab Modeling for Hybrid Electric Vehicles

Performance Study based on Matlab Modeling for Hybrid Electric Vehicles International Journal of Computer Applications (975 8887) Volume 99 No.12, August 214 Performance Study based on Matlab Modeling for Hybrid Electric Vehicles Mihai-Ovidiu Nicolaica PhD Student, Faculty

More information

Managing Complex Data for Electrical/Electronic Components: Challenges and Requirements

Managing Complex Data for Electrical/Electronic Components: Challenges and Requirements Managing Complex Data for Electrical/Electronic Components: Challenges and Requirements Julian Tiedeken 1, Joachim Herbst 2, and Manfred Reichert 1 1 Institute of Databases and Information Systems, Ulm

More information

Software Production. Industrialized integration and validation of TargetLink models for series production

Software Production. Industrialized integration and validation of TargetLink models for series production PAGE 24 EB AUTOMOTIVE Industrialized integration and validation of TargetLink models for series production Continuous Software Production The complexity of software systems in vehicles is increasing at

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

Micro Plastics, Inc. Quality Manual

Micro Plastics, Inc. Quality Manual ISO 9001:2008 11 Industry Lane Flippin, Arkansas 72634 QM-001-2008-F Page 2 of 39 Introduction Micro Plastics, Inc. developed and implemented a Quality Management System in order to document the company

More information

University of St. Thomas ENGR 230 ---- Digital Design 4 Credit Course Monday, Wednesday, Friday from 1:35 p.m. to 2:40 p.m. Lecture: Room OWS LL54

University of St. Thomas ENGR 230 ---- Digital Design 4 Credit Course Monday, Wednesday, Friday from 1:35 p.m. to 2:40 p.m. Lecture: Room OWS LL54 Fall 2005 Instructor Texts University of St. Thomas ENGR 230 ---- Digital Design 4 Credit Course Monday, Wednesday, Friday from 1:35 p.m. to 2:40 p.m. Lecture: Room OWS LL54 Lab: Section 1: OSS LL14 Tuesday

More information

Vehicle Electronics. Services and Solutions to Manage the Complexity

Vehicle Electronics. Services and Solutions to Manage the Complexity Vehicle Electronics Services and Solutions to Manage the Complexity INNOVATIONS & DEVELOPMENT CYCLES Commercial vehicle manufacturers are experiencing a technological change. In addition to the rising

More information

Automated Test Generation

Automated Test Generation Automated Test Generation (From a Behavioral Model) James M. Clarke Lucent Technologies 2000 Naperville Road Naperville, IL 60666-7033 (630) 979-1861 jmclarke@lucent.com Abstract The challenge for testers:

More information

Introduction to Simulink

Introduction to Simulink Telemark University College Department of Electrical Engineering, Information Technology and Cybernetics Introduction to Simulink HANS-PETTER HALVORSEN, 2011.06.06 Faculty of Technology, Postboks 203,

More information

DEMANDS ON MANUFACTURING METROLOGY AND SOLUTIONS

DEMANDS ON MANUFACTURING METROLOGY AND SOLUTIONS DEMANDS ON MANUFACTURING METROLOGY AND SOLUTIONS T. Pfeifer and D. Effenkammer Laboratory for Machine Tools and Production Engineering (WZL) Chair of Metrology and Quality Management, University Aachen,

More information

TRIAX- D. Consulting services to accelerate your supply chain automation outcomes. The resourceful services of Logi-D

TRIAX- D. Consulting services to accelerate your supply chain automation outcomes. The resourceful services of Logi-D 010100101001010101010100110010101010101100110011010101010101011001100011010101011 0101010011010100110101001101010010100110101010010101001001010010 0101001011000101011010101100010101001110010010110011010100110101

More information

Validating Diagnostics in Early Development Stages

Validating Diagnostics in Early Development Stages Validating Diagnostics in Early Development Stages Explanations by means of an Example of an automatic exterior lighting control Dipl.-Ing. Valentin Adam, Daimler AG Dipl.-Ing. Matthias Kohlweyer, Daimler

More information

ISO 9001:2000 AUDIT CHECKLIST

ISO 9001:2000 AUDIT CHECKLIST ISO 9001:2000 AUDIT CHECKLIST No. Question Proc. Ref. Comments 4 Quality Management System 4.1 General Requirements 1 Has the organization established, documented, implemented and maintained a quality

More information

Master s Program in Information Systems

Master s Program in Information Systems The University of Jordan King Abdullah II School for Information Technology Department of Information Systems Master s Program in Information Systems 2006/2007 Study Plan Master Degree in Information Systems

More information

Requirements engineering

Requirements engineering Learning Unit 2 Requirements engineering Contents Introduction............................................... 21 2.1 Important concepts........................................ 21 2.1.1 Stakeholders and

More information

Software Development Principles Applied to Graphical Model Development

Software Development Principles Applied to Graphical Model Development Software Development Principles Applied to Graphical Model Development Paul A. Barnard * The MathWorks, Natick, MA 01760, USA The four fundamental principles of good software design communicate clearly,

More information

Product Information CANalyzer.J1939

Product Information CANalyzer.J1939 Product Information CANalyzer.J1939 Table of Contents 1 Introduction... 3 1.1 Application Areas... 3 1.2 Features and Advantages... 3 1.3 Further Information... 3 2 Functions... 4 3 Hardware Interfaces...

More information

Software Process Models. Xin Feng

Software Process Models. Xin Feng Software Process Models Xin Feng Questions to Answer in Software Engineering? Questions to answer in software engineering What is the problem to be solved? Definition What are the characteristics of the

More information

Computer Architecture CPIT 210 LAB 1 Manual. Prepared By: Mohammed Ghazi Al Obeidallah.

Computer Architecture CPIT 210 LAB 1 Manual. Prepared By: Mohammed Ghazi Al Obeidallah. Computer Architecture CPIT 210 LAB 1 Manual Prepared By: Mohammed Ghazi Al Obeidallah malabaidallah@kau.edu.sa LAB 1 Outline: 1. Students should understand basic concepts of Decimal system, Binary system,

More information

GUILFORD COUNTY SCHOOLS JOB DESCRIPTION JOB TITLE: SUPERVISOR SYSTEMS & PROGRAMMING TECHNOLOGY SERVICES DEPARTMENT GENERAL STATEMENT OF JOB

GUILFORD COUNTY SCHOOLS JOB DESCRIPTION JOB TITLE: SUPERVISOR SYSTEMS & PROGRAMMING TECHNOLOGY SERVICES DEPARTMENT GENERAL STATEMENT OF JOB GUILFORD COUNTY SCHOOLS JOB DESCRIPTION JOB TITLE: SUPERVISOR SYSTEMS & PROGRAMMING TECHNOLOGY SERVICES DEPARTMENT GENERAL STATEMENT OF JOB Under occasional supervision, performs specialized technical

More information

Requirements engineering and quality attributes

Requirements engineering and quality attributes Open Learning Universiteit Unit 2 Learning Unit 2 Requirements engineering and quality attributes Contents Introduction............................................... 21 2.1 Important concepts........................................

More information

Realistic Machine Simulation with Virtual Reality

Realistic Machine Simulation with Virtual Reality Available online at www.sciencedirect.com Procedia CIRP 3 (2012 ) 103 108 45 th CIRP Conference on Manufacturing Systems 2012 Realistic Machine Simulation with Virtual Reality R. Neugebauer a,b, P. Klimant

More information

AS/NZS 4233.1:2013. High pressure water jetting systems AS/NZS 4233.1:2013. Part 1: Safe operation and maintenance. Australian/New Zealand Standard

AS/NZS 4233.1:2013. High pressure water jetting systems AS/NZS 4233.1:2013. Part 1: Safe operation and maintenance. Australian/New Zealand Standard AS/NZS 4233.1:2013 Australian/New Zealand Standard High pressure water jetting systems Part 1: Safe operation and maintenance Superseding AS/NZS 4233.1:1999 AS/NZS 4233.1:2013 AS/NZS 4233.1:2013 This joint

More information

DECISYON 360 ASSET OPTIMIZATION SOLUTION FOR U.S. ELECTRICAL ENERGY SUPPLIER MAY 2015

DECISYON 360 ASSET OPTIMIZATION SOLUTION FOR U.S. ELECTRICAL ENERGY SUPPLIER MAY 2015 Unifying People, Process, Data & Things CASE STUDY DECISYON 360 ASSET OPTIMIZATION SOLUTION FOR U.S. ELECTRICAL ENERGY SUPPLIER MAY 2015 Decisyon, Inc. 2015 All Rights Reserved TABLE OF CONTENTS THE BOTTOM

More information

Row Manufacturing Inc. Quality Manual ISO 9001:2008

Row Manufacturing Inc. Quality Manual ISO 9001:2008 Row Manufacturing Inc. Quality Manual ISO 9001:2008 Row Manufacturing 210 Durham Drive Athens, Alabama 35611 Phone:256.232.4151 Fax:256.232.4133 Page 2 of 33 This Page intentionally left Blank Page 3 of

More information

What do you think? Definitions of Quality

What do you think? Definitions of Quality What do you think? What is your definition of Quality? Would you recognise good quality bad quality Does quality simple apply to a products or does it apply to services as well? Does any company epitomise

More information