SQMB '11 Automated Model Quality Rating of Embedded Systems
|
|
- Madison Rogers
- 8 years ago
- Views:
Transcription
1 SQMB '11 Automated Model Quality Rating of Embedded Systems Jan Scheible Daimler AG - Group Research and Advanced Engineering Hartmut Pohlheim (pohlheim@model-engineers.com) Model Engineering Solutions GmbH GR/PSS / Model-based Development /
2 Automated Model Quality Rating of Embedded Systems / GR/PSS / Agenda Challenge Approach Further Evaluation Summary and Outlook
3 Automated Model Quality Rating of Embedded Systems / GR/PSS / Challenge (1/2) Current Situation - Model-based software development increasingly becoming standard in automotive industry. - Size and complexity of models becoming ever larger: - Example of a large Matlab Simulink model from passenger vehicle domain: - approx. 15,000 blocks subsystems - Subsystem hierarchy with 16 levels - Considerable time pressure in development. - Despite high abstraction level, developers have much freedom. Lots of possibilities for potential errors.
4 Automated Model Quality Rating of Embedded Systems / GR/PSS / Challenge (2/2) Goals - Rating of model quality in an automatic and comprehensible manner. - Reduce costs and effort. - Use of existing information to as high a degree as possible. - Provide a compact overview of model quality. - Visualization of current status and progress of model quality.
5 Automated Model Quality Rating of Embedded Systems / GR/PSS / Agenda Challenge Approach Model Quality Quality Model in the Development Process Evaluation of Measured Values Aggregation of Evaluations Further Evaluation Summary and Outlook
6 Automated Model Quality Rating of Embedded Systems / GR/PSS / Approach Overview Framework zur for automatisierten Automatic Quality Ermittlung Rating of der Modellqualität Quality analytisch analytic Quality Model Aspects Factors Metrics Criteria Quality Rating constructive Patterns Guidance Architecture Patterns Guidelines
7 Automated Model Quality Rating of Embedded Systems / GR/PSS / Approach Overview Framework zur for automatisierten Automatic Quality Ermittlung Rating of der Modellqualität Quality analytisch analytic Quality Model Aspects Factors Metrics Criteria Quality Rating constructive Patterns Guidance Architecture Patterns Guidelines
8 Automated Model Quality Rating of Embedded Systems / GR/PSS / Model Quality (1/2) High-Quality Simulink Models - A model may fulfill criteria with a positive influence on desired factors (e.g. maintainability Maintainability, comprehensibility Comprehensibility or reliability Reliability ). - The more criteria a Simulink model fulfills, the higher its quality. - All criteria that allow inference about desired factors are of interest.
9 Automated Model Quality Rating of Embedded Systems / GR/PSS / Model Quality (2/2) Objective Rating - An objective rating is possible with the help of a quality model. Model Quality Factors are desired properties for high-quality models Factor 1 Factor 2 Criteria are indicators of desired properties Criterion 1 Criterion 2 Evaluation Metrics check the fulfillment of the criteria Metric 1 Metric 2 Metric 3 - The quality model currently consists of 6 factors, 18 criteria and 46 metrics.
10 Automated Model Quality Rating of Embedded Systems / GR/PSS / Quality Model in the Development Process (1/2) Software requirements Integration test Requirements coverage of model Quality criteria of model Guideline conformity of model Requirements Software design Models Software integration Module test Test implementation Test specification Requirements coverage of test specification Complexity of model Implementation Code Result of model test Result of static code analysis Model coverage of test implementation Quality Model Framework for rating Rating Model model Quality quality
11 Automated Model Quality Rating of Embedded Systems / GR/PSS / Quality Model in the Development Process (2/2) Classification Model Quality Correctness Comprehensibility Testability Code generation ability Reliability Maintainability Functionality Scale Test coverage Runtime errors Standard conformity Requirements coverage of model Complexity of model Requirements coverage of test specification Result of model test Result of static code analysis Guideline conformity of model Model coverage of test implementation
12 Automated Model Quality Rating of Embedded Systems / GR/PSS / Quality Model in the Development Process (2/2) Classification Model Quality Correctness Reliability Correctness Reliability Comprehensibility Maintainability Testability Functionality Code generation ability Functionality Scale Test coverage Runtime errors Requirements coverage of model Runtime errors Complexity of model Standard conformity Requirements coverage of model Requirements coverage of test specification Result of model test Result of static code analysis Guideline conformity of model Model coverage of test implementation Result of model test Result of static code analysis
13 Automated Model Quality Rating of Embedded Systems / GR/PSS / Evaluation of Measured Values (1/5) Measurements Model quality Comprehensibility Maintainability Correctness Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage v 1 = 828 v 2 = 87 v 3 = 18.1 v 4 = 54 v 5 = 0.83 v 6 = 1.0
14 Automated Model Quality Rating of Embedded Systems / GR/PSS / Evaluation of Measured Values (2/5) Determination of Permissible Values Model quality - Define limits for each metric in order to check their permissible values. Comprehensibility Maintainability Correctness Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage v 1 = 828? v 2 = 87? v 3 = 18.1? v 4 = 54? v 5 = 0.83 e 5 = 83% v 6 = 1.0 e 6 = 100% min max min max min max min max
15 Automated Model Quality Rating of Embedded Systems / GR/PSS / Evaluation of Measured Values (3/5) Reference Model Comprehensibility Model quality Maintainability Correctness - A reference model describes how an average Simulink model should look. Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage v 1 = 828 e 1 = 100% v 2 = 87 e 2 = 20% v 3 = 18.1 e 3 = 98% v 4 = 54? v 5 = 0.83 e 5 = 83% v 6 = 1.0 e 6 = 100% 828 2, min max 3,735 blocks => Minimum Maximum # Crossed lines # Subsystems - 0 2, Ø Signals per Bus
16 Automated Model Quality Rating of Embedded Systems / GR/PSS / Model quality Evaluation of Measured Values (4/5) Rules Comprehensibility Maintainability - Rules specifying relations between measured values. Correctness Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines v 1 = 828 e 1 = 100% #Subsystems v 2 = 87 e 2 = 20% ØSignals per Bus v 3 = 18.1 e 3 = 98% #DataStore Read v 4 = 54 e 4 = 50% Passed tests v 5 = 0.83 e 5 = 83% Requirements coverage v 6 = 1.0 e 6 = 100% #DataStore Memory = 57 #DataStore Read #DataStore Memory
17 Automated Model Quality Rating of Embedded Systems / GR/PSS / Evaluation of Measured Values (5/5) Visualization ø Signals per Bus # Internal states 1,335 11,541 12,601 # Lines # Clones 725 1,065 5,040 6,683 # Crossed lines ,099 ø Outport links 1, # Subsystems 2, ,908 1, Depth of subsystem hierarchy ø Height of subsystem representation ø Width of subsystem representation ø Width of output interface 15.1 ø Width of input interface
18 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (1/5) Evaluated Metrics Model quality Comprehensibility Maintainability Correctness Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage e 1 = 100% e 2 = 20% e 3 = 98% e 4 = 50% e 5 = 83% e 6 = 100%
19 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (2/5) Algorithm - Aggregated values provide a quick overview of a model s quality. - An arithmetic mean is not suitable: If one or more metrics are not fulfilled to a sufficient extent, this must lead to a devaluation. 60 Evaluations: e 1 = [25%, 30%, 35%] e 2 = [10%, 80%, 90%] Aggregated evaluation (in percent) Number of evaluations under threshold
20 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (3/5) Aggregation in the Quality Model Threshold = 30% Model quality Comprehensibility Maintainability Correctness Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage e 1 = 100% e 2 = 20% e 3 = 98% e 4 = 50% e 5 = 83% e 6 = 100%
21 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (3/5) Aggregation in the Quality Model Threshold = 30% Model quality Comprehensibility Maintainability Correctness e 7 = 100% e 8 = 29,5% e 9 = 50% e 10 = 91,5% Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage e 1 = 100% e 2 = 20% e 3 = 98% e 4 = 50% e 5 = 83% e 6 = 100%
22 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (3/5) Aggregation in the Quality Model Threshold = 30% Model quality e 11 = 32,4% e 12 = 50% e 13 = 91,5% Comprehensibility Maintainability Correctness e 7 = 100% e 8 = 29,5% e 9 = 50% e 10 = 91,5% Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage e 1 = 100% e 2 = 20% e 3 = 98% e 4 = 50% e 5 = 83% e 6 = 100%
23 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (3/5) Aggregation in the Quality Model e 14 = 58% Threshold = 30% Model quality e 11 = 32,4% e 12 = 50% e 13 = 91,5% Comprehensibility Maintainability Correctness e 7 = 100% e 8 = 29,5% e 9 = 50% e 10 = 91,5% Readability Scale Avoidance of implicit constructs Functional correctness #Crossed lines #Subsystems ØSignals per Bus #DataStore Read Passed tests Requirements coverage e 1 = 100% e 2 = 20% e 3 = 98% e 4 = 50% e 5 = 83% e 6 = 100%
24 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (4/5) Visualization 13% 36% 34% 34% 40% 100% 50% 90% 100% 90% 31% 31% 33% 33% 42% 31% 0% 0% 36% 36% 36%
25 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (5/5) Retracing Quality Rating over Time - Model quality rating provides a snapshot of a model s evaluations at a specific time. - Trend analysis is used to retrace the evolution and evaluation of measured values over time. - Shows how the metrics measured values lie in relation to their limits. 100% 100% 100% 100% Metric 1 50% Metric 2 25% 0% 0% 1st iteration 2nd iteration 3rd iteration 1,350 Maximum 1,300 1,200 Metric 2 1,250 1,150 Minimum Maximum Metric st iteration 2nd iteration 3rd iteration
26 Automated Model Quality Rating of Embedded Systems / GR/PSS / Agenda Challenge Approach Further Evaluation Summary and Outlook
27 Automated Model Quality Rating of Embedded Systems / GR/PSS / Further Evaluation 1. Comparison of a model s quality rating with perceived model quality by the developers. 2. Verify whether the number of findings in model reviews correlates with the quality rating. 3. Verify whether the appearance of actual bugs correlates with the quality rating. Rate as many models as possible.
28 Automated Model Quality Rating of Embedded Systems / GR/PSS / Agenda Challenge Approach Further Evaluation Summary and Outlook
29 Automated Model Quality Rating of Embedded Systems / GR/PSS / Summary - A quality model is used for defining our notion of model quality. - Most important artifacts of the model-based development process are taken into account. - Metrics check the fulfillment of desired quality criteria. - The measured values of the metrics are evaluated. - Evaluations are aggregated in the quality model to provide a quick overview. - Retracing quality rating over time.
30 Automated Model Quality Rating of Embedded Systems / GR/PSS / Outlook Evaluation - Verify normalization by block count in the reference model [in progress]. - Check if the approach is only applicable to models in the same project [in progress]. Quality model - Potentially the expressive power of the quality model must be enhanced (e.g. handling of conflicting measurements). Metrics - Integration of more Simulink-specific metrics [in progress]. - Identification of the metrics with the highest relevance [in progress]. - Add more interfaces to tools for automatic rating [in progress]. - Compare the frequency distribution of the per subsystem measurements.
31 Automated Model Quality Rating of Embedded Systems / GR/PSS / Thank you for your attention!
32 Automated Model Quality Rating of Embedded Systems / GR/PSS / Backup
33 Reference Model - Average values of arbitrary models normed against the model s reference (#blocks) Measurements database Modell 1 Modell 2 Modell 3 Modell 4 Modell 5 Average Variance #Subsystemanmerkungen Gotos # Subsystems , # Crossed lines , , # Blocks 1,120 2,924 9,017 2,526 4, Instantiated reference model # Subsystems # Lines # Crossed lines 200 blocks 1,000 blocks 5,000 blocks Min. Max. Min. Max. Min. Max , ,120 1,280 5,600 6, ,400 - Average values multiplied by reference (#blocks) - Min and max result from variance of averages. Automated Model Quality Rating of Embedded Systems / GR/PSS /
34 Prototype Infrastructure Qualitätsmodell Metamodell Faktoren Metriken Kriterien Simulink-Modell Data-Provider MXAM MXRAY manuelle Eingaben sldiagnostics Metrik 1 Metrik 2 Metrik 3... Metrik n Qualitätsbewertung Messergebnisse Messwert 1 Messwert 2 Messwert 3... Messwert n Präsentation Messobjekt
35 Automated Model Quality Rating of Embedded Systems / GR/PSS / Aggregation of Evaluations (?/?) Algorithm and Formula e 1 = [25%, 30%, 35%] e 2 = [10%, 80%, 90%]
36 Evaluation of Measured Values (?/?) Limits Tolerance Tolerance 100% 0% 0 Minimum Maximum Tolerance Tolerance 100% 0% 0 Minimum 0% 0 Maximum
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 informationModel-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 informationDevelopment 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 informationBest Practices for Verification, Validation, and Test in Model- Based Design
2008-01-1469 Best Practices for Verification, Validation, and in Model- Based Design Copyright 2008 The MathWorks, Inc. Brett Murphy, Amory Wakefield, and Jon Friedman The MathWorks, Inc. ABSTRACT Model-Based
More informationPrü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 informationEchtzeittesten 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 information1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java. The Nature of Software...
1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java Chapter 1: Software and Software Engineering Software is intangible Hard to understand
More informationSoftware House Embedded Systems
Software House Embedded Systems Contacts: E-mobility, chassis, driver assistance and body electronics: Martin Richter +49 5371 805-1041 Infotainment, radio and instrument cluster: Sven Lochau +49 30 39978-7631
More informationDie wichtigsten Use Cases für MISRA, HIS, SQO, IEC, ISO und Co. - Warum Polyspace DIE Embedded Code-Verifikationslösung ist.
Die wichtigsten Use Cases für MISRA, HIS, SQO, IEC, ISO und Co. - Warum Polyspace DIE Embedded Code-Verifikationslösung ist. Christian Guß Application Engineer The MathWorks GmbH 2015 The MathWorks, Inc.
More informationMODEL-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 informationComplexity Analysis of Simulink Models to improve the Quality of Outsourcing in an Automotive Company. Jeevan Prabhu August 2010
Complexity Analysis of Simulink Models to improve the Quality of Outsourcing in an Automotive Company Jeevan Prabhu August 2010 ABSTRACT Usage of software in automobiles is increasing rapidly and since
More informationQuestions? Assignment. Techniques for Gathering Requirements. Gathering and Analysing Requirements
Questions? Assignment Why is proper project management important? What is goal of domain analysis? What is the difference between functional and non- functional requirements? Why is it important for requirements
More informationModel 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 informationAutomated Data Acquisition & Analysis. Revolutionize Validation Testing & Launch With Confidence
Automated Data Acquisition & Analysis Revolutionize Validation Testing & Launch With Confidence Stop waiting for this... Pass Fail CONTROLTEC is leveraging 21st century technologies to enable customers
More informationService Oriented Architecture for Agricultural Vehicles
Service Oriented Architecture for Agricultural Vehicles Leipzig, 30.9.2010 8. Workshop Automotive Software Engineering Dr. G. Kormann, M. Hoeh, H.J. Nissen THE END of Embedded Software? www.electronics-ktn.com/
More informationIntroduction of ISO/DIS 26262 (ISO 26262) Parts of ISO 26262 ASIL Levels Part 6 : Product Development Software Level
ISO 26262 the Emerging Automotive Safety Standard Agenda Introduction of ISO/DIS 26262 (ISO 26262) Parts of ISO 26262 ASIL Levels Part 4 : Product Development System Level Part 6 : Product Development
More informationCertification of a Scade 6 compiler
Certification of a Scade 6 compiler F-X Fornari Esterel Technologies 1 Introduction Topic : What does mean developping a certified software? In particular, using embedded sofware development rules! What
More informationAutomotive 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 informationEstimating Software Reliability In the Absence of Data
Estimating Software Reliability In the Absence of Data Joanne Bechta Dugan (jbd@virginia.edu) Ganesh J. Pai (gpai@virginia.edu) Department of ECE University of Virginia, Charlottesville, VA NASA OSMA SAS
More informationI 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 informationHow To Test For Risk Based Testing
Integrating Manual and Automatic Risk Assessment for Risk-Based Testing Michael Felderer, Christian Haisjackl, Ruth Breu, Johannes Motz 2 Institute of Computer Science, University of Innsbruck, Austria
More informationSoftware 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 informationIntroduction to Static Analysis for Assurance
Introduction to Static Analysis for Assurance John Rushby Computer Science Laboratory SRI International Menlo Park CA USA John Rushby Static Analysis for Assurance: 1 Overview What is static analysis?
More informationHow To Do Continuous Integration
Continuous Integration for Safety Critical Systems Thomas Schütz Protos Software GmbH ASQF Safety Day 24.06.2014 Protos Software GmbH Methods and Tools Domain Specific Languages (DSL) Modelingtools Embedded
More informationPower 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 informationSoftware 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 informationUsing Model and Code Reviews in Model-based Development of ECU Software Mirko Conrad, Heiko Dörr, Ines Fey, Ingo Stürmer
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 First.I.Stuermer}@DaimlerChrysler.com
More informationInstrumentation-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 informationLMS is a simple but powerful algorithm and can be implemented to take advantage of the Lattice FPGA architecture.
February 2012 Introduction Reference Design RD1031 Adaptive algorithms have become a mainstay in DSP. They are used in wide ranging applications including wireless channel estimation, radar guidance systems,
More informationFunctional Architectures with SysML
Functional Architectures with SysML Jesko Lamm Senior Systems Engineer jla@bernafon.ch Tim Weilkiens Managing Director tim.weilkiens@de by Bernafon AG We believe in a world, in which people with restricted
More informationSoftware Metrics & Software Metrology. Alain Abran. Chapter 4 Quantification and Measurement are Not the Same!
Software Metrics & Software Metrology Alain Abran Chapter 4 Quantification and Measurement are Not the Same! 1 Agenda This chapter covers: The difference between a number & an analysis model. The Measurement
More informationCaterpillar 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 informationBusiness Process Configuration with NFRs and Context-Awareness
Business Process Configuration with NFRs and Context-Awareness Emanuel Santos 1, João Pimentel 1, Tarcisio Pereira 1, Karolyne Oliveira 1, and Jaelson Castro 1 Universidade Federal de Pernambuco, Centro
More informationWhat is a life cycle model?
What is a life cycle model? Framework under which a software product is going to be developed. Defines the phases that the product under development will go through. Identifies activities involved in each
More informationIs a Data Scientist the New Quant? Stuart Kozola MathWorks
Is a Data Scientist the New Quant? Stuart Kozola MathWorks 2015 The MathWorks, Inc. 1 Facts or information used usually to calculate, analyze, or plan something Information that is produced or stored by
More informationJava-based Functionality and Data Management in the Automobile. Prototyping at BMW Car IT GmbH. by Alexandre Saad, BMW Car IT GmbH, Munich/Germany
Java-based Functionality and Data Management in the Automobile. Prototyping at BMW Car IT GmbH. by Alexandre Saad, BMW Car IT GmbH, Munich/Germany The amount of electronic and software elements in vehicles
More informationSoftware Engineering for LabVIEW Applications. Elijah Kerry LabVIEW Product Manager
Software Engineering for LabVIEW Applications Elijah Kerry LabVIEW Product Manager 1 Ensuring Software Quality and Reliability Goals 1. Deliver a working product 2. Prove it works right 3. Mitigate risk
More informationISTQB Certified Tester. Foundation Level. Sample Exam 1
ISTQB Certified Tester Foundation Level Version 2015 American Copyright Notice This document may be copied in its entirety, or extracts made, if the source is acknowledged. #1 When test cases are designed
More informationLayman's Guide to ANSI X3.182
Layman's Guide to ANSI X3.182 This Guideline was developed by AIM USA, an affiliate of AIM International, the world-wide trade association for manufacturers and providers of automatic data collection
More informationSoftware Engineering Reference Framework
Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of
More informationPart I. Introduction
Part I. Introduction In the development of modern vehicles, the infotainment system [54] belongs to the innovative area. In comparison to the conventional areas such as the motor, body construction and
More informationDr.-Ing. Rainer Rasche dspace GmbH Rathenaustrasse 26 33102 Paderborn automotive testing expo June 22, 2010
Combining Two Worlds: Precise Real-Time- Based and Convenient PC-Based Testing Dr.-Ing. Rainer Rasche dspace GmbH Rathenaustrasse 26 33102 Paderborn nd automotive testing expo June 22, 2010 Agenda Testautomation
More informationTo introduce software process models To describe three generic process models and when they may be used
Software Processes Objectives To introduce software process models To describe three generic process models and when they may be used To describe outline process models for requirements engineering, software
More informationIntroduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu
Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu 2012 The MathWorks, Inc. 1 What is MATLAB? High-level language Interactive development environment Used for: Numerical
More informationAUTOSAR Seminar WS2008/2009 - Assignment: Simulation of Automotive Systems in the Context of AUTOSAR
AUTOSAR Seminar WS2008/2009 - Assignment: Simulation of Automotive Systems in the Context of AUTOSAR Krasnogolowy, Alexander March 31, 2009 Hasso-Plattner-Institut for IT-Systems Engineering University
More informationAn Introduction to. Metrics. used during. Software Development
An Introduction to Metrics used during Software Development Life Cycle www.softwaretestinggenius.com Page 1 of 10 Define the Metric Objectives You can t control what you can t measure. This is a quote
More informationSoftware Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales Missile Electronics. Missile Electronics
Software Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales 2 Contents Who are we, where are we, what do we do Why do we want to use Model-Based Design Our Approach to Model-Based
More informationSoftware Module Test for an Electronic Steering Lock
Software Module Test for an Electronic Steering Lock Wolfgang Beer, Dr. Peter Jüttner, Daniel Simonis (external subcontractor), Siemens VDO Automotive AG Siemensstr. 12 93055 Regensburg, Germany Tel.:
More informationMaschinelles Lernen mit MATLAB
Maschinelles Lernen mit MATLAB Jérémy Huard Applikationsingenieur The MathWorks GmbH 2015 The MathWorks, Inc. 1 Machine Learning is Everywhere Image Recognition Speech Recognition Stock Prediction Medical
More informationTESSY Automated dynamic module/unit and. CTE Classification Tree Editor. integration testing of embedded applications. for test case specifications
TESSY Automated dynamic module/unit and integration testing of embedded applications CTE Classification Tree Editor for test case specifications Automated module/unit testing and debugging at its best
More informationStatic analysis on integration level
Static analysis on integration level Heiko Frey Robert Bosch GmbH, P.O. Box 1661, D-71226 Leonberg, E-mail: heiko.frey@de.bosch.com. Abstract Static analysis on integration level is a method of checking
More informationMATLAB in Business Critical Applications Arvind Hosagrahara Principal Technical Consultant Arvind.Hosagrahara@mathworks.
MATLAB in Business Critical Applications Arvind Hosagrahara Principal Technical Consultant Arvind.Hosagrahara@mathworks.com 310-819-3970 2014 The MathWorks, Inc. 1 Outline Problem Statement The Big Picture
More informationA Tool for Generating Partition Schedules of Multiprocessor Systems
A Tool for Generating Partition Schedules of Multiprocessor Systems Hans-Joachim Goltz and Norbert Pieth Fraunhofer FIRST, Berlin, Germany {hans-joachim.goltz,nobert.pieth}@first.fraunhofer.de Abstract.
More informationSoftware Design Document (SDD) Template
(SDD) Template Software design is a process by which the software requirements are translated into a representation of software components, interfaces, and data necessary for the implementation phase.
More informationQuality 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 informationAutomating 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 informationSoftware Visualization
Software Visualization CS 4460 Last Revision: November 2015 Software Visualization Definition The use of the crafts of typography, graphic design, animation, and cinematography with modern humancomputer
More informationA Static Analyzer for Large Safety-Critical Software. Considered Programs and Semantics. Automatic Program Verification by Abstract Interpretation
PLDI 03 A Static Analyzer for Large Safety-Critical Software B. Blanchet, P. Cousot, R. Cousot, J. Feret L. Mauborgne, A. Miné, D. Monniaux,. Rival CNRS École normale supérieure École polytechnique Paris
More informationSafe Automotive software architecture (SAFE) WP3 Deliverable D3.6.b: Safety Code Generator Specification
Contract number: ITEA2 10039 Safe Automotive software architecture (SAFE) ITEA Roadmap application domains: Major: Services, Systems & Software Creation Minor: Society ITEA Roadmap technology categories:
More informationhttp://support.automation.siemens.com/ww/view/en/4067870&td=1
6ES7316-2AG00-0AB0 SIMATIC S7-300, CPU 316 Technical / CAx data nmlkji Technical Data nmlkj CAx data As of 2010-01-24 Power supply Input voltage Rated value (DC) permissible range, lower limit (DC) permissible
More informationClient Overview. Engagement Situation
Client Overview Our client is a provider of Operational Analytics and Visualization solutions for cloud/datacenters that enables IT function of an organization to monitor, and plan complex cloud and data
More informationCS 389 Software Engineering. Lecture 2 Chapter 2 Software Processes. Adapted from: Chap 1. Sommerville 9 th ed. Chap 1. Pressman 6 th ed.
CS 389 Software Engineering Lecture 2 Chapter 2 Software Processes Adapted from: Chap 1. Sommerville 9 th ed. Chap 1. Pressman 6 th ed. Topics covered Software process models Process activities Coping
More informationE-vote 2011 Version: 1.0 Testing and Approval Date: 26/10/2009. E-vote 2011. SSA-U Appendix 5 Testing and Approval Project: E-vote 2011
E-vote 2011 SSA-U Appendix 5 Testing and Approval Project: E-vote 2011 Change log Version Date Author Description/changes 0.1 26.10.09 First version Page 1 CONTENT 1. INTRODUCTION 3 2. TESTING PROCESS
More informationManaging detailed development data in a PLM framework
Managing detailed development data in a PLM framework Jan Söderberg, Systemite AB (presenter) Peter Thorngren, Volvo GTT 2 nd Interoperability for Embedded Systems Development Environments Systemite AB
More informationProduct Development Flow Including Model- Based Design and System-Level Functional Verification
Product Development Flow Including Model- Based Design and System-Level Functional Verification 2006 The MathWorks, Inc. Ascension Vizinho-Coutry, avizinho@mathworks.fr Agenda Introduction to Model-Based-Design
More informationREAL-TIME STREAMING ANALYTICS DATA IN, ACTION OUT
REAL-TIME STREAMING ANALYTICS DATA IN, ACTION OUT SPOT THE ODD ONE BEFORE IT IS OUT flexaware.net Streaming analytics: from data to action Do you need actionable insights from various data streams fast?
More informationTowards a Model-Based Safety Assessment Process of Safety Critical Embedded Systems. Peter Bunus petbu@ida.liu.se
Towards a Model-Based Safety Assessment Process of Safety Critical Embedded Systems Peter Bunus petbu@ida.liu.se Personal Presentation Peter Bunus Product and Technology Manager Responsible with the Technical
More informationSoftware Visualization and Model Generation
Software Visualization and Model Generation Erik Doernenburg Software Developer ThoughtWorks, Inc. Gregor Hohpe Software Engineer Google, Inc. Where are the most defects? 2006 Erik Doernenburg & Gregor
More informationBest 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 informationIntroduction to Engineering System Dynamics
CHAPTER 0 Introduction to Engineering System Dynamics 0.1 INTRODUCTION The objective of an engineering analysis of a dynamic system is prediction of its behaviour or performance. Real dynamic systems are
More informationAggregating IaaS Service
Aggregating IaaS Service Bu Sung Lee, Shixing Yan, Ding Ma, Guopeng Zhao HP Laboratories HPL-2011-22 Keyword(s): Cloud computing, service management, IaaS Abstract: Infrastructure-as-a-Service (IaaS) is
More informationPSAS RCS Capstone Presentation
PSAS RCS Capstone Presentation Team: Brian Breniser - Chris Liebert - Paul Lee - Harrison Bailey - Cort Alexander - Sohail Nayani - Tyler Alway Sponsor: PSAS Project Organization Brian Breniser - Lead
More informationComplexity- and Performance Analysis of Different Controller Implementations on a Soft PLC
Complexity- and Performance Analysis of Different Controller Implementations on a Soft PLC Robert Feldmann Technion Israel Institute of Technology TUM Technical University Munich rfeld3@gmail.com Abstract.
More informationA Knowledge-based Product Derivation Process and some Ideas how to Integrate Product Development
A Knowledge-based Product Derivation Process and some Ideas how to Integrate Product Development (Position paper) Lothar Hotz and Andreas Günter HITeC c/o Fachbereich Informatik Universität Hamburg Hamburg,
More informationMathWorks 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 informationMethodology Framework for Analysis and Design of Business Intelligence Systems
Applied Mathematical Sciences, Vol. 7, 2013, no. 31, 1523-1528 HIKARI Ltd, www.m-hikari.com Methodology Framework for Analysis and Design of Business Intelligence Systems Martin Závodný Department of Information
More informationThe research area of SET group is software engineering, and model-based software engineering in particular:
Introduction The research area of SET group is software engineering, and model-based software engineering in particular: Given the high-tech software-intensive industry in the Eindhoven region, we consider
More informationThe «SQALE» Analysis Model An analysis model compliant with the representation condition for assessing the Quality of Software Source Code
The «SQALE» Analysis Model An analysis model compliant with the representation condition for assessing the Quality of Software Source Code Jean-Louis Letouzey DNV IT Global Services Arcueil, France jean-louis.letouzey@dnv.com
More informationEmbedded Vision on FPGAs. 2015 The MathWorks, Inc. 1
Embedded Vision on FPGAs 2015 The MathWorks, Inc. 1 Enhanced Edge Detection in MATLAB Test bench Read Image from File Add noise Frame To Pixel Median Filter Edge Detect Pixel To Frame Video Display Design
More informationSOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT
SOFTWARE DEVELOPMENT STANDARD FOR SPACECRAFT Mar 31, 2014 Japan Aerospace Exploration Agency This is an English translation of JERG-2-610. Whenever there is anything ambiguous in this document, the original
More informationSoftware 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 information11 November 2015. www.isbe.tue.nl. www.isbe.tue.nl
UML Class Diagrams 11 November 2015 UML Class Diagrams The class diagram provides a static structure of all the classes that exist within the system. Classes are arranged in hierarchies sharing common
More informationfind model parameters, to validate models, and to develop inputs for models. c 1994 Raj Jain 7.1
Monitors Monitor: A tool used to observe the activities on a system. Usage: A system programmer may use a monitor to improve software performance. Find frequently used segments of the software. A systems
More informationIndustrial Roadmap for Connected Machines. Sal Spada Research Director ARC Advisory Group sspada@arcweb.com
Industrial Roadmap for Connected Machines Sal Spada Research Director ARC Advisory Group sspada@arcweb.com Industrial Internet of Things (IoT) Based upon enhanced connectivity of this stuff Connecting
More informationSTEP-PS/1AC/12DC/1.5. Extract from the online catalog. Order No.: 2868567. DIN rail power supply unit 12 V DC/1.5 A, primary switched-mode, 1- phase
Extract from the online catalog STEP-PS/1AC/12DC/1.5 Order No.: 2868567 DIN rail power supply unit 12 V DC/1.5 A, primary switched-mode, 1- phase Commercial data EAN 4046356292924 Pack 1 pcs. Customs tariff
More informationConverting 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 informationChapter 11 MANAGEMENT CONTROL, REPORTING, INTERNAL AUDIT FUNCTIONS A uniform reporting system in all the subsidiaries allows effective management control and the production of a Group dashboard on a monthly
More informationwww.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 informationDynamic Network Analyzer Building a Framework for the Graph-theoretic Analysis of Dynamic Networks
Dynamic Network Analyzer Building a Framework for the Graph-theoretic Analysis of Dynamic Networks Benjamin Schiller and Thorsten Strufe P2P Networks - TU Darmstadt [schiller, strufe][at]cs.tu-darmstadt.de
More informationValidating 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 informationPatterns to Introduce Continuous Integration to Organizations
Patterns to Introduce Continuous Integration to Organizations Kenichiro Ota Shift inc. Tokyo Japan oota_ken@hotmail.com kenichiro.ota@shiftinc.jp Hiroko Tamagawa Shift inc. Tokyo Japan hiroko.tamagawa@shiftinc.jp
More informationABSTRACT. would end the use of the hefty 1.5-kg ticket racks carried by KSRTC conductors. It would also end the
E-Ticketing 1 ABSTRACT Electronic Ticket Machine Kerala State Road Transport Corporation is introducing ticket machines on buses. The ticket machines would end the use of the hefty 1.5-kg ticket racks
More informationManaging the Services Lifecycle SOA & BPM
Managing the Services Lifecycle SOA & BPM Agenda The service Lifecycle what does it look like? Methods and processes for service evolution Supporting tools & techniques Governing the service-cycle Best
More informationEffective Peer Reviews: Role in Quality
Effective Peer Reviews: Role in Quality Anil Chakravarthy (Anil_Chakravarthy@mcafee.com) Sudeep Das (Sudeep_Das@mcafee.com) Nasiruddin S (nasiruddin_sirajuddin@mcafee.com) Abstract The utility of reviews,
More informationA highly configurable and efficient simulator for job schedulers on supercomputers
Mitglied der Helmholtz-Gemeinschaft A highly configurable and efficient simulator for job schedulers on supercomputers April 12, 2013 Carsten Karbach, Jülich Supercomputing Centre (JSC) Motivation Objective
More informationSoftware Quality. Software Quality Assurance and Software Reuse. Three Important Points. Quality Factors
Software Quality Software Quality Assurance and Software Reuse Peter Lo Conformance to explicitly-stated functional and performance requirements, explicitly-documented development standards, and implicit
More informationGET ALERTED ABOUT A T24 ERROR BEFORE IT OCCURS PROACTIVE T24 MONITORING TAMAM YOU NEED INFORMATION AND NOT MEASURED DATA
GET ALERTED ABOUT A T24 ERROR BEFORE IT OCCURS? PROACTIVE T24 MONITORING? TAMAM YOU NEED INFORMATION AND NOT MEASURED DATA? 02 FOT TAMAM WHAT IS TAMAM? TAMAM is a proactive monitoring solution developed
More informationTowards Collaborative Requirements Engineering Tool for ERP product customization
Towards Collaborative Requirements Engineering Tool for ERP product customization Boban Celebic, Ruth Breu, Michael Felderer, Florian Häser Institute of Computer Science, University of Innsbruck 6020 Innsbruck,
More information8. Master Test Plan (MTP)
8. Master Test Plan (MTP) The purpose of the Master Test Plan (MTP) is to provide an overall test planning and test management document for multiple levels of test (either within one project or across
More informationDevelopment 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