The System Verification Manager (SVM)
|
|
- Rafe Smith
- 5 years ago
- Views:
Transcription
1 The System Verification Manager (SVM) A single portal into interconnected views of system requirements system architecture system models application of verification methods results of verification activities Target Users: Embedded system development teams in production environments advocating model-based methods 2
2 SVM Features Requirement traceability Associates requirements and system architecture with multiple external model representations Verification activity management identifies verification activities that need to be re-executed when changes are made Verification result management access to the status and results of requirements-driven verification activities Extensible, open framework Flexible definition and reuse of models and verification methods 3
3 The SVM Team CarnegieMellon The MathWorks 4 Bruce Krogh Ansgar Fehnker Zhi Han Jim Kapinski Rajesh Kumar Peter Feiler John Walker Gopalan Raghavachari Shiva N. Sivashankar Swami Gopalswamy Jit Ken Tan Bill Aldrich Eric Lim Mehran Mestchian
4 Use Scenarios Requirements -> architecture -> models -> verifications Start with a set of requirements Define the system architecture Develop/import models and associate with architecture Specify verifications of models against requirements Let SVM manage the application of verifications Model changes and additions Models -> architecture -> validation of requirements Import model structure from Simulink, C code, etc. Derive a common architecture Add application-specific signal flow information Validate architecture Validate models against architecture Specify and perform model verifications Manage model verifications as requirements validation 8
5 Fundamental Views in SVM Verification System Architecture System Models Consolidated Window 9
6 Importing Existing Simulink Models SVM extracts model information & library dependencies User identifies relevant verification parameters, inputs, and outputs 10
7 Deriving A System Architecture Create from single model Create from collection of models 11
8 Working With The System Architecture Specify domain semantics of signal flow Can be done for each model as well. 12
9 Working With The System Architecture Check for semantic connection inconsistencies ETC example: apparent signal type mismatch 13
10 Dealing With Multiple Models Multiple models for system architecture Associate multiple Simulink versions Associate Checkmate model Associate source code Maintain consistency between models Validate all models against architecture 14
11 Verification of Requirements Requirements from requirements documents Verification activity verification of requirement via a model verification status & results Organization of verifications verification folders & logic Organization of requirements Project phase specific verification 15
12 Instantiating a Verification Activity Choice of verification methods Model specific parameter values & data sets 16 Select a model
13 Performing the Verifications Automatic execution of verifications Recording result status and results Filtered views & viewing external result representations 17
14 Change Propagation & Reverification Recognize changes in external models Recognize changes in verification parameters & data sets Handle model & library dependencies Invalidate & reverify verification activities Identify potentially impacted related models 18
15 Project Support Methods library import/export Methods specification & registration Verification methods using external tools Project import/export Current predefined verification methods Step response analysis Comparative model simulation Model checking (SMV) Checkmate model Dymola simulation Batch simulation on datasets mex compile Model reduction 19
16 Predefined Methods: Model Checking Executing a modelchecking activity uses Cadence SMV user specifies input and output files activity returns true if all properties specified in SMV file are verified 20
17 Viewing Model Checking Results view result for activity counterexample 21
18 Dymola Model Simulation SVM - System Models (Power Window Project) Motor Model in Dymola 22
19 Ethereal-Sting Activities Design realization in MathWorks COTS toolset. Industrial benchmark for comparison purposes Graphical model developed in Simulink and Stateflow Code generation using RTW and RTW E-coder Entire signal analyzer coded as a single function Design analysis and verification using SVM Unit level comparisons of core operations Functional comparisons of feature extractors System level comparisons of complete analyzer 23
20 MathWorks Implementation Core blocks implemented in a Simulink library to allow centralized updates. Mixed Implementation to balance performance vs. complexity Core Simulink blocks for basic operations MathWorks DSP Blocks for FFT, etc. Stateflow for custom implementations. Feature extractors implemented in a separate library 24
21 E1 Refinements for Improved Performance Conditionally executed feature extractors controlled by the classifier (Implemented using Stateflow): Trigger the symbol rate feature extractor subsystem like a function Use an output of the subsystem 25
22 Technology Transition/Transfer Project members Emmeskay, MathWorks Industry potential end users through existing projects Ford, GM, Toyota, LM, GE, Honeywell, Delphi Standards SAE AADL standard (dependable real-time systems) HSIF Target platform support RTW & IMAGES TimeWeaver 26
23 System Verification Manager Website Beta release Jan 26,
Introduction to Simulink & Stateflow
Introduction to Simulink & Stateflow Jonathan Agg 2015 The MathWorks, Inc. 1 2 Topics we will address this session Why model a system? Why use Simulink? Getting to grips with the basics of Simulink and
More informationIntroduction to Simulink & Stateflow
Introduction to Simulink & Stateflow GianCarlo Pacitti, MathWorks 2015 The MathWorks, Inc. 1 2 Topics we will address this session Why do organisations use Simulink and Stateflow? Getting to grips with
More informationApplying Model-Based Design to Commercial Vehicle Electronics Systems
Copyright 2008 The MathWorks, Inc. 2008-01-2663 Applying Model-Based Design to Commercial Vehicle Electronics Systems Tom Egel, Michael Burke, Michael Carone, Wensi Jin The MathWorks, Inc. ABSTRACT Commercial
More informationTHE CHALLENGE OF ISO FOR COMPLEX SOFTWARE MODELS Oliver Collmann
THE CHALLENGE OF ISO 26262 FOR COMPLEX SOFTWARE MODELS Oliver Collmann QUALITY IN THE DRIVER S SEAT SOLUTIONS FOR INTEGRATED QUALITY ASSURANCE OF EMBEDDED AUTOMOTIVE SOFTWARE OUR COMPANY WHO WE ARE Founded
More informationDevelopment of AUTOSAR Software Components with Model-Based Design
Development of Software Components with Model-Based Design 2008 The MathWorks, Inc. Dr. Joachim Schlosser Application Engineering The MathWorks GmbH 3 things to remember about, Model-Based Design with
More informationFrontload the design, V&V and certification of software-intensive mechatronic systems by adopting the Digital Twin approach
Frontload the design, V&V and certification of software-intensive mechatronic systems by adopting the Digital Twin approach Mathieu Dutré Business Development & Innovation Manager, MBSE Mathworks EXPO
More informationMathWorks Vision for Systematic Verification and Validation
MathWorks Vision for Systematic Verification and Validation Bill Aldrich Senior Development Manager Simulink Verification and Validation, Simulink Design Verifier 2016 The MathWorks, Inc. 1 Growing Complexity
More informationRotorcraft Systems Engineering and Simulation Center. Introduction to the RSESC Complex Systems Integration Lab
Introduction to the Complex Systems Integration Lab David Arterburn Director, (256) 824-6846 arterbd@uah.edu http://www.uah.edu/rsesc Complex Systems Integration Environment Changes in technology are occurring
More informationNew Automotive Project with Toyota. Bruce H. Krogh CMACS PI Review Meeting Oct. 29, 2010
New Automotive Project with Toyota Bruce H. Krogh CMACS PI Review Meeting Oct. 29, 2010 Overview of new NSF project Automotive systems application Opportunities for CMACS 2 CPS:MEDIUM:GOALI: CPS Architectures
More informationModel-Based Design with MATLAB and Simulink to shorten the design of a new infusion pump
Model-Based Design with MATLAB and Simulink to shorten the design of a new infusion pump Fresenius Approach Claude VITTORIA, Fresenius Kabi APPLICATION DEVICES Model-Based Design to shorten the design
More informationModel-based Development of Safety Critical Software: Opportunities and Challenges
Model-based Development of Safety Critical Software: Opportunities and Challenges John McDermid, FREng Professor of Software Engineering, University of York Director Rolls-Royce Systems & Software Engineering
More informationWhat s new in MATLAB and Simulink
What s new in MATLAB and Simulink Mandar Gujrathi Mandar.Gujrathi@mathworks.com.au 2015 The MathWorks, Inc. 1 Platform Productivity Workflow Depth Application Breadth Getting your work done faster Support
More information2010 The MathWorks, Inc. Model-Based Design for High Integrity Software and Hardware
2010 The MathWorks, Inc. Model-Based Design for High Integrity Software and Hardware Agenda Relevant standards DO workflow Common Elements - Software Considerations and Workflows Hardware Considerations
More informationProduction Code Generation for Engine Control System
IAC 2004 Production Code Generation for Engine Control System June 15 th, 2004 Tetsuji Katayama Akira Ohata TOYOTA MOTOR CORPORATION Yoshitaka Uematsu DENSO CORPORATION Contents MBD (Model Based Development)
More informationModel-Based Design for ISO Applications. April 2010
Model-Based Design for ISO 26262 Applications April 2010 Agenda Introduction Certification, Standards, and Compliance Demonstration ISO 26262 & Qualification of Software Tools Verification & Validation
More informationWhat s New in MATLAB and Simulink
What s New in MATLAB and Simulink Emelie Andersson, Application Engineer Magnus Jung, Application Engineer 2015 The MathWorks, Inc. 1 Platform Productivity Workflow Depth Application Breadth Getting your
More informationDevelopment of AUTOSAR Software Components with Model-Based Design
Development of AUTOSAR Software Components with Model-Based Design Guido Sandmann Automotive Marketing Manager, EMEA The MathWorks Joachim Schlosser Senior Team Leader Application Engineering The MathWorks
More informationVerification and virtual commissioning of configurable handling systems
Verification and virtual commissioning of configurable handling systems Design and Development Engineer Reishauer AG June, 2017 Reishauer AG Industriestrasse 36 8304 Wallisellen Switzerland Adopt virtual
More informationIntegrated Systems and Safety Engineering Towards Meaningful Assurance Cases
Integrated Systems and Safety Engineering Towards Meaningful Assurance Cases Carmen Cârlan Harald Ruess Sebastian Voss Supported by D-MILS (d-mils.org) fortiss GmbH An-Institut Technische Universität München
More informationDeveloping Prognostics Algorithms: Data-Based and Model-Based Approaches
Developing Prognostics Algorithms: Data-Based and Model-Based Approaches Seth DeLand May 9, 2017 MathWorks Automotive Conference 2017 The MathWorks, Inc. 1 What is Prognostics?. 2 Why Prognostics? Improved
More informationHow to build an autonomous anything
How to build an autonomous anything Mischa Kim 2015 The MathWorks, Inc. 1 2 3 4 5 6 7 Autonomous Technology 8 Autonomous Technology Having the power for self-governance 9 Autonomous Technology Provides
More informationVirtual Integration on the Basis of a Structured System Modelling Approach
Virtual Integration on the Basis of a Structured System Modelling Approach Henrik Kaijser, Henrik Lönn, Peter Thorngren To cite this version: Henrik Kaijser, Henrik Lönn, Peter Thorngren. Virtual Integration
More informationEXPLORE ENROLL EXCEL 2017
EXPLORE ENROLL EXCEL 2017 EXPLORE EXCEL ENROLL WHY CHOOSE MATHWORKS FOR TRAINING? MathWorks courses are developed by a team of training engineers with exclusive product knowledge gained from working closely
More informationAMASS. Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Architecture-driven, Multi-concern and Seamless Assurance and Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems Architecture-Driven Assurance First EAB
More informationPC-Based Validation of ECU Software
PC-Based Validation of ECU Software Sean Wyatt - ETAS, Inc. Embedded System Workshop Venue: Oakland University School of Engineering and Computer Science, Rochester, MI Date: October 13, 2012 What you
More informationWhat s New in MATLAB and Simulink
What s New in MATLAB and Simulink Daryl Ning Applications Engineer MathWorks Australia 2015 The MathWorks, Inc. 1 Platform Productivity Workflow Depth Application Breadth Getting your work done faster
More informationIndustrial IT System 800xA Engineering
Industrial IT System 800xA Engineering Overview Features and Benefits Integrated Engineering Environment Supports the engineering of the entire extended automation system - from field device to plant management
More informationSystem-level Co-simulation of Integrated Avionics Using Polychrony durch Klicken bearbeiten
CESAR - Cost-efficient methods and processes for safety relevant embedded systems System-level Co-simulation Formatvorlage des Untertitelmasters of Integrated Avionics Using Polychrony durch Klicken bearbeiten
More informationWhat s New in MATLAB and Simulink
What s New in MATLAB and Simulink François Guérin and Daniel Martins, MathWorks 2015 The MathWorks, Inc. 1 Application Breadth Workflow Depth Platform Productivity Products for the work you do 2 Machine
More informationA Maturity Assessment Framework for Model-Based Design
A Maturity Assessment Framework for Model-Based Design Vinod Reddy, MathWorks Vinod.Reddy@mathworks.com 26 April, 2012 1 PAPER # Agenda 1.Background 2.Motivation 3.Model-Based Design Maturity Framework
More information``Overview. ``The Impact of Software. ``What are Virtual Prototypes? ``Competitive Electronic Products Faster
Virtualizer ``Overview ``The Impact of ``What are Virtual Prototypes? ``Competitive Electronic Products Faster ``Use Virtual Prototyping from Specification to Deployment ``Virtualizer Technical Specification
More informationWhat s New in MATLAB and Simulink
What s New in MATLAB and Simulink Dr. Marc Segelken 2015 The MathWorks, Inc. 1 Platform Productivity Workflow Depth Application Breadth Getting your work done faster Support for your entire workflow Products
More informationModel-based Requirement Verification : A Case Study
Feng Liang 1,2 Wladimir Schamai 3 Olena Rogovchenko 1 Sara Sadeghi 2,4 Mattias Nyberg 2 Peter Fritzson 1 1 PELAB - Programming Environment Lab, Dept. Computer Science Linköping University, SE-581 83 Linköping,
More informationConnected Automation: Showcase Manufacturing i4.0
Bosch Rexroth AG Postfach 13 57 97803 Lohr, Germany Bgm.-Dr.-Nebel-Str. 2 97816 Lohr, Germany Tel. +49 9352 18-0 Fax. +49 9352 18-8400 www.boschrexroth.com/factoryautomation Connected Automation: Showcase
More informationModel-Driven Development of Integrated Support Architectures
Model-Driven Development of Integrated Support Architectures Stan Ofsthun Associate Technical Fellow The Boeing Company (314) 233-2300 October 13, 2004 Agenda Introduction Health Management Framework rocess
More informationSimulink as Your Enterprise Simulation Platform
Simulink as Your Enterprise Simulation Platform Prasanna Deshpande & Naga Pemmaraju 2015 The MathWorks, Inc. 1 Enterprise Simulation Platform Enterprise - Any size business or project Simulation Evaluating
More informationBluePlant SCADA/HMI Software
BluePlant SCADA/HMI Software www.altus.com.br evolution in automation A new vision of your reality Impressive: high-quality graphics and intuitive configuration Superior: security, redundancy and high
More informationA methodology for improving reliability of complex systems
Research paper A methodology for improving reliability of complex systems - Synthesis of architectural design method and model checking - Atsushi Katoh *, Masataka Urago and Yoshiaki Ohkami [Translation
More informationMODPROD 2017, Linköping February 8, 2017
The Need for Comprehensive Whole-life-cycle Systems Engineering Tool Support for Cyber- Physical Systems MODPROD 2017, Linköping February 8, 2017 Daniel Bouskela, EDF, France daniel.bouskela@edf.fr Peter
More informationSystem Architecture Virtual Integration: An Industrial Case Study
System Architecture Virtual Integration: An Industrial Case Study Peter H. Feiler Jorgen Hansson Dionisio de Niz Lutz Wrage November 2009 TECHNICAL REPORT CMU/SEI-2009-TR-017 ESC-TR-2009-017 Research,
More informationNovedades de las últimas versiones de MATLAB y Simulink
Novedades de las últimas versiones de MATLAB y Simulink R2016b R2017a Paz Tárrega David Pérez 2015 The MathWorks, Inc. 1 Application Breadth Workflow Depth Platform Productivity Products for the work you
More informationPolarion Meet the Experts Speaker: Daniel Morris, Denis Liwoch, Maxim Damm, Timothy Ströbele
Polarion Meet the Experts Speaker: Daniel Morris, Denis Liwoch, Maxim Damm, Timothy Ströbele Unrestricted Siemens AG 2017 Realize innovation. Best Practices Speaker: Timothy Ströbele Unrestricted Siemens
More informationModel Based Design in Automation
Model Based Design in Automation Ashraf Zarur Tetra Pak A.Zarur/2016-04-19 Focused on our customers We specialise in providing customers with complete solutions for the processing, packaging and distribution
More informationPredictive Maintenance with MATLAB and Simulink
Predictive Maintenance with MATLAB and Simulink Daryl Ning Applications Engineer MathWorks Australia 2015 The MathWorks, Inc. 1 Predictive Maintenance Identify and prevent failures before they occur: Reduces
More informationPlatform-Based Design of Heterogeneous Embedded Systems
Platform-Based Design of Heterogeneous Embedded Systems Ingo Sander Royal Institute of Technology Stockholm, Sweden ingo@kth.se Docent Lecture August 31, 2009 Ingo Sander (KTH) Platform-Based Design August
More informationWhat s New in MATLAB and Simulink
What s New in MATLAB and Simulink Michael Glaßer 2015 The MathWorks, Inc. 1 Platform Productivity Workflow Depth Application Breadth Getting your work done faster Support for your entire workflow Products
More informationDesign and Implementation of Heterogeneous Workflow System Integration Mode Based on SOA Framework
2017 2nd International Conference on Wireless Communication and Network Engineering (WCNE 2017) ISBN: 978-1-60595-531-5 Design and Implementation of Heterogeneous Workflow System Integration Mode Based
More informationModel-Based Design for High Integrity Software Development Mike Anthony Senior Application Engineer MathWorks Tucson, AZ USA
Model-Based Design for High Integrity Software Development Mike Anthony Senior Application Engineer MathWorks Tucson, AZ USA 2013 The MathWorks, Inc. 1 Model-Based Design for High Integrity Software Development
More informationPlatform-Based Design of Heterogeneous Embedded Systems
Platform-Based Design of Heterogeneous Embedded Systems Ingo Sander Royal Institute of Technology Stockholm, Sweden ingo@kth.se Docent Lecture August 31, 2009 Ingo Sander (KTH) Platform-Based Design August
More informationA-L-V. Presenters, Ford Chassis Controls: Nate Rolfes John Broderick Jeff Cotter. With Ford MBSE Tools & Methods:
A-L-V Automating the Left Side of the V Presenters, Ford Chassis Controls: Nate Rolfes John Broderick Jeff Cotter With Ford MBSE Tools & Methods: Kyu Sohn Yuping Jiang Tapan Kasaragod May 2, 2018 MODERN
More informationArchitecture-led Incremental System Assurance (ALISA) Demonstration
Architecture-led Incremental System Assurance (ALISA) Demonstration Peter Feiler Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 [DISTRIBUTION STATEMENT A] This material
More informationIntroducing Capital HarnessXC The Newest Member of the CHS Family
Introducing Capital HarnessXC The Newest Member of the CHS Family Embargoed Until October 16, 2006 Mentor Graphics Integrated Electrical Systems Division Agenda Mentor Graphics automotive strategy update
More informationModel Based Approach for the Integration of ECUs
Model Based Approach for the Integration of ECUs Rajeshwari Hegde, K S Gurumurthy Abstract A modern automotive system is a complex electromechanical system, whose comfort, safety and performance requirements
More informationA Model-Based Reference Workflow for the Development of Safety-Critical Software
A Model-Based Reference Workflow for the Development of Safety-Critical Software A. Michael Beine 1 1: dspace GmbH, Rathenaustraße 26, 33102 Paderborn Abstract: Model-based software development is increasingly
More informationIntroduction to Software Architectures
1/26 Introduction to Software Architectures Mikael Svahnberg 1 2017-04-03 1 Mikael.Svahnberg@bth.se 2/26 SE Challenges Reduce Development Cost Deliver on time, within budget Increase System Quality...
More informationModel Driven Approaches to Firmware Development in Selex ES. 21 Jan. 2015
Model Driven Approaches to Firmware Development in Selex ES 21 Jan. 2015 Presentation Overview Selex ES Company Overview Firmware Engineering at Selex ES Edinburgh History of Model Driven Engineering within
More informationThe WW Technology Group
The EDICT Overview Copyright 2008. 1 EDICT Overview Dr. Chris J. Walter cwalter@wwtechnology.com 410-418-4353 Brian LaValley blavalley@wwtechgroup.com 401-348-8525 July 27, 2008 Copyright 2008. Challenges
More informationIBM Continuous Engineering augmenting PLM with ALM and Systems Engineering
Edmund Mayer, P.E. IBM s and Software Engineering IBM Continuous Engineering augmenting PLM with ALM and s Engineering Manufacturers are struggling to manage product complexity Growing complexity will
More informationAccelerating Xilinx All Programmable FPGA and SoC Design Verification with Blue Pearl Software
Accelerating Xilinx All Programmable FPGA and SoC Design Verification with Blue Pearl Software Introduction Xilinx All Programmable FPGAs and SoCs are used across multiple markets, powering applications
More informationModel-Based Design for Controls The MathWorks, Inc. 1
Model-Based Design for Controls 2011 The MathWorks, Inc. 1 MathWorks at a Glance Headquarters: Natick, Massachusetts US Other U.S. Locations: California; Michigan; Texas; Washington, DC Europe: France,
More informationCurtiss-Wright Releases Insights 2.1 Enhanced Multiprocessor System Application Development Software Tool Suite
FOR IMMEDIATE RELEASE June 4, 2008 CONTACT: John Wranovics Curtiss-Wright Controls Embedded Computing (925) 640-6402 mobile jwranovics@curtisswright.com Curtiss-Wright Releases Insights 2.1 Enhanced Multiprocessor
More informationA Cost-effective Methodology for Achieving ISO26262 Software Compliance. Mark Pitchford
A Cost-effective Methodology for Achieving ISO26262 Software Compliance Mark Pitchford Agenda 1 What are the Challenges? 2 Traceability to Requirements 3 Coding Standards 4 Unit Test and Structural Coverage
More informationUtilization of Simulink Verification and Validation (V&V) and Simulink Design Verifier (SDV) for HVAC Controls Software
Utilization of Simulink Verification and Validation (V&V) and Simulink Design Verifier (SDV) for HVAC Controls Software Arun Chakrapani Rao, Rupesh Kakade, Mohan Murugesan HVAC Controls Algo And Readiness,
More informationEvaluating Enterprise Architectures through Executable Models
www.thalesgroup.com Evaluating Enterprise Architectures through Executable Models 15th ICCRTS Evolution of C2: Where Have We Been? Where Are We Going? June 22-24 Santa Monica, CA N. Farcet & M. Ludwig
More informationSpaceflight Software Architecture Analysis Techniques
Spaceflight Software Architecture Analysis Techniques October 19, 2011 Don Ohi, L-3 Communications Heath Haga, L-3 Communications Jim Dabney, L-3 Communications This presentation consists of general capabilities
More informationModel-Driven Architecture, Processes and Methodology from the Perspective of the Modeling Discipline
Processes and Methodology from the Perspective of the Modeling Discipline MDA Implementers Workshop: Succeeding with Model Driven Systems May 12 th 2003 Orlando, Florida Background for Mathet Consulting,
More informationarchitecture (SAFE) Project Presentation SAFE project partners
Safe Automotive software architecture (SAFE) Project Presentation SAFE project partners Content Motivation Project Organization Work Packages Miscellaneous SAFE Motivation Scope and Goals Scope: Automotive
More informationTecnomatix Plant Simulation
Value Stream Mapping Library Benefits Increase productivity of existing production facilities by as much as 20 percent Reduce investment in planning for new production by as much as 20 percent Reduce inventories
More information"The Ongoing Pursuit of an Integrated Toolset for Model- Based Design: Benefits and Challenges" Steve Houghton
"The Ongoing Pursuit of an Integrated Toolset for Model- Based Design: Benefits and Challenges" Steve Houghton steven.d.houghton@selex-sas.com History About 20 years ago I started work as a Software Engineer
More informationHow to build an autonomous anything
How to build an autonomous anything Richard Rovner VP Marketing MathWorks 2015 The MathWorks, Inc. 1 2 3 4 5 6 7 Autonomous Technology 8 Autonomous Acting independently 9 Autonomous Technology 10 Autonomous
More informationSCADE Suite 6.4. Technical Data Sheet. Software Prototyping and Design
SCADE Suite 6.4 Esterel Technologies SCADE Suite is a modelbased development environment for critical software. With native integration of the Scade language and its formal notation, SCADE Suite is the
More informationEfficient Road Load Data Acquisition
Efficient Road Load Data Acquisition Realize innovation. Need for durability engineering Page 2 Need for durability engineering Page 3 Road Load Data Acquisition (RLDA) Typical steps Office Lab Proving
More informationENOVIA VPM Central. your world in formation. Product overview. Key benefits
ENOVIA VPM Central Product overview ENOVIA VPM Central provides large engineering teams with a single Product Lifecycle Management (PLM) environment to manage sophisticated product development processes
More informationVerification & Validation of an Autonomous Quadcopter System
Verification & Validation of an Autonomous Quadcopter System Jeremy Ross Senior Application Engineer November 7 th, 2017 2017 The MathWorks, Inc. 1 Agenda Why do verification & validation at all? Our Quadcopter
More informationSupport for Hardware Devices in Component Models for Embedded Systems
Support for Hardware Devices in Component Models for Embedded Systems Luka Lednicki School of Innovation, Design and Engineering Mälerdalen University October, 2009 Contents 1.Research topic...2 2.Research
More informationSoftware qualification for digital safety system in KNICS project
Software qualification for digital safety system in KNICS project Kee-Choon Kwon, Dong-Young Lee, Jong-Gyun Choi Instrumentation & Control/Human Factors Division, Korea Atomic Energy Research Institute
More informationCosiMate + Saber Multi Physic analysis for validation of vehicle platform
CosiMate + Saber Multi Physic analysis for validation of vehicle platform 7 th April 2016 Detroit Marriott Troy Agenda Introduction Chiastek and Cosimulation(5 ) FMI : an open standard for model exchange
More informationMeasuring and Assessing Software Quality
Measuring and Assessing Software Quality Issues, Challenges and Practical Approaches Kostas Kontogiannis Associate Professor, NTUA kkontog@softlab.ntua.gr The Software Life Cycle Maintenance Requirements
More informationHow to build an autonomous anything
How to build an autonomous anything Jim Tung MathWorks Fellow MathWorks 2015 The MathWorks, Inc. 1 2 3 4 5 6 7 Autonomous Technology 8 Autonomous Acting independently 9 Autonomous Technology Provides the
More informationModel-Based Design of a Quadcopter Ryan Gordon
Model-Based Design of a Quadcopter Ryan Gordon 2015 The MathWorks, Inc. 1 Algorithm System Req. Model-Based Design Adoption Grid Virtual V&V System Validation Fully leveraged MBD Closed-Loop Simulation
More informationMechatronics Process Management
Mechatronics Process Management 29. Juni 2010 Lionel Voillat Mechatronics Process Management Page 2 Agenda - Introduction - Mechatronics Data Model: Single Source of Product Knowledge - Best-in-class Tools
More informationWhat s New in MATLAB and Simulink
What s New in MATLAB and Simulink Paul Lambrechts & Paola Jaramillo 2015 The MathWorks, Inc. 1 Platform Productivity Workflow Depth Application Breadth Getting your work done faster Support for your entire
More informationObject-Oriented Modeling: A Roadmap
University of Paderborn Leiden University Object-Oriented Modeling: A Roadmap University of Paderborn Leiden University Software Development: Traditional (?) Approach implementation June 8, 2000 ICSE 2000:
More information10 Giugno System Driven Product Development Beppe Grimaldi Manager, Professional Services
10 Giugno 2014 System Driven Product Development Beppe Grimaldi Manager, Professional Services Smarter Decisions for Industry AGENDA Automotive Global Scenario SPL Investment on System Engineering Traditional
More informationResearch Proposal : Strategy for Platform Independent Testing
Research Proposal : Strategy for Platform Independent Testing Anders Eriksson March 27, 2012 Abstract This work addresses problems associated with software testing in a Model Driven Development (MDD) environment.
More informationChapter 16 Software Reuse. Chapter 16 Software reuse
Chapter 16 Software Reuse 1 Topics covered What is software reuse? Benefit and problems with reuse. The reuse landscape Application frameworks Software product lines COTS product reuse 2 Software reuse
More informationA Cost-Effective Model-Based Approach for Developing ISO Compliant Automotive Safety Related Applications
A Cost-Effective Model-Based Approach for Developing ISO 26262 Compliant Automotive Safety Related Applications 2016-01-0138 Published 04/05/2016 Bernard Dion ANSYS CITATION: Dion, B., "A Cost-Effective
More informationTest Workflow. Michael Fourman Cs2 Software Engineering
Test Workflow Michael Fourman Introduction Verify the result from implementation by testing each build Plan the tests in each iteration Integration tests for every build within the iteration System tests
More informationModel-based system engineering for safety analysis of. complex systems
Model-based system engineering for safety analysis of complex systems MBSAW 12 Nataliya YAKYMETS, Hadi JABER, Agnès LANUSSE CEA, LIST, Laboratory of Model-Driven Engineering for Embedded Systems 11 Septembre
More informationMultiUAV: A MULTIPLE UAV SIMULATION FOR INVESTIGATION OF COOPERATIVE CONTROL
Proceedings of the 2002 Winter Simulation Conference E. Yücesan, C.-H. Chen, J. L. Snowdon, and J. M. Charnes, eds. MultiUAV: A MULTIPLE UAV SIMULATION FOR INVESTIGATION OF COOPERATIVE CONTROL S. J. Rasmussen
More informationProduct Line Engineering Lecture PL Architectures I
Product Line Engineering Lecture PL Architectures I Dr. Martin Becker martin.becker@iese.fraunhofer.de 0 Schedule - Lectures 1 Schedule - Exercises 2 Product Line Scoping --- Requirements Engineering ---
More informationA User s Experience with Model-Based Design for GNC-Based Systems
A User s Experience with Model-Based Design for GNC-Based Systems James E. Craft, Lockheed-Martin Missiles and Fire Control 1 Lockheed Martin Corporation 140,000 Employees 65,000 Scientists and Engineers
More informationCertifiable Production Code Development
Certifiable Production Code Development David Owens Rolls-Royce Control Systems 2017 Rolls-Royce plc and/or its subsidiaries The information in this document is the property of Rolls-Royce plc and/or its
More informationBusiness Case Oracle Primavera P6 & IFS
Business Case Oracle Primavera P6 & IFS ARAM Software & Consultancy 2909 LG Capelle aan den IJssel The Netherlands www.aramsoftwareconsultancy.com info@aramgroup.com +31 (0) 10 270 7000 Introduction The
More informationThe Aras PLM Platform
2 THE ARAS PLM PLATFORM Table of Contents ENABLING THE BUSINESS OF ENGINEERING... 3 THE PRODUCT INNOVATION PLATFORM... 4 THE ARAS PLM PLATFORM... 5 DOING BUSINESS WITH ARAS... 6 TECHNOLOGY... 7 Architecture...7
More informationFrameworx 13.0 Product Conformance Certification Report
Frameworx 13.0 Product Conformance Certification Report Aggaros STICK&PLAY Version 3 Satuna March 2014 Version 1.0 Table of Contents List of Figures... 4 List of Tables... 5 1 Introduction... 6 1.1 Executive
More informationAddress system-on-chip development challenges with enterprise verification management.
Enterprise verification management solutions White paper September 2009 Address system-on-chip development challenges with enterprise verification management. Page 2 Contents 2 Introduction 3 Building
More informationMachine Learning Simplified
Machine Learning Simplified Paola Jaramillo 2015 The MathWorks, Inc. 1 Brain-Controlled Robots 2 New MATLAB framework makes machine learning easy and accessible for Engineers 3 Consider Machine Learning
More information