GAIO. Solution. Corporate Profile / Product Catalog. Contact Information
|
|
- Britney Ross
- 5 years ago
- Views:
Transcription
1 GAIO Solution Corporate Profile / Product Catalog Contact Information GAIO TECHNOLOGY Headquarters Tennouzu First Tower 25F Higashi-Shinagawa, Shinagawa-ku, Tokyo Japan Tel: info@gaio.com w w w. g a i o. c o m FULL LINE UP CATALOG
2
3 Embedded Software Development and Test Tools Unit/Integration test Model-based software test Code analysis Functional safety standard Cross compiler Embedded development and test tools GAIO began as an original cross compiler developer in Now GAIO develops embedded development and test tools based on our own core microprocessor code generation, code analysis and simulation technologies. GAIO's Core Technologies Microprocessor code generation Microprocessor core simulation C/C++ code analysis Embedded system simulation Original Tools MC-Verifier : integrated Model / Code Back-to-Back Test Tool MC-Verifier is an integrated test tool for performing model-based development Back-to-Back testing. Debug and verify consistency between model, software, and target code implementation at a variety of development phases. Model, Software & Target Code B2B Testing, Evaluation & Reporting MC-Verifier can perform B2B testing with models (MIL), software (SIL), & target code (PIL). Evaluate B2B test results to detect and report error locations. Import test cases created from other MBD tools for B2B testing. Note: GAIO s own MPU simulator is built-in for target code testing. Test hardware is not required. MATLAB/Simulink Integration MC-Verifier is integrated with MATLAB/Simulink. MC-Verifier features such as model, software, target-code B2B testing and report generation can be executed from the MATLAB/Simulink GUI, command-line or MATLAB scripts. MC-Verifier B2B Test Framework Specification Model (High-abstraction level) Specification Model (Low-abstraction level) Implementation Model C Code Target Code *Model = MATLAB/Simulink model Identify Errors (on Simulink model) Debug Source Code Measure Code Coverage Model, Software, Target-code B2B Test Execution and Test Report Creation Global tool Interlink Solution (GiS) is GAIO's new comprehensive development and verification solution for embedded developers. GiS allows for GAIO's original tools and services to be linked with other tools in order to create custom tool chains for comprehensive testing solutions. System Design Tools ALM/PLM Tools UML/SysML Tools MATLAB/Simulink System Design Requirement Analysis/ Design Training/ Management System Test System Test Tools Simulator-based Family Virtual Verification Tools Automotive ECU Simulator Printer Mecha Co-simulation SystemC Model Co-simulation Code Debugging Features Code debugging features included with the MPU simulator can be used to analyze errors for model-to-target-code tests. Set breakpoints in the code, verifying changes in variable values, register values, memory values, etc. Error Location Analysis The output values of signal lines and code variables for the selected subsystem are recorded during testing. After testing, signal line and code variable values can be analyzed over time in order to locate errors. This feature for locating errors even works for models that include feedback loops. Model-Based Development - B2B Test Use Cases High-Abstraction Level & Low-Abstraction Level Specification Models B2B Testing Control System Designers (MIL to MIL) -Verify MATLAB/Simulink algorithm design -Evaluate behavior consistency between models Specification Model, Implementation Model & C Code Code Developers (MIL to MIL to SIL) -Verify floating-point to fixed-point conversion -Verify model modifications for code generation -Detect auto-coder related issues Implementation Model & Target Code Code Implementers / Testers (MIL to PIL) -Find MPU and compiler related issues, rounding errors -Measure code coverage -Create ISO compliant test reports Software Design Tools Auto-code Generation Tools Model Test Data Generation Tools Software Design Global Chain Implementation GAIO s Tools Software Test Target Hardware Test System Real-time Function Tester Model-based Software Test Tools 0.01s Code Coverage Code coverage (statement, Branch, MC/DC) can be measured for model-to-target-code tests. In this way, detect code structure issues through code coverage testing and fulfill ISO code coverage requirements. Software Design Tools Model/Code Back-to-Back 0.02s Program Chart Generation & Static Analysis Tool Test Tool MC-Verifier CasePlayer2 Error Location Found Code Implementation Tools Cross Compiler HighTec TriCore/PPC Compiler Functional Safety Standard Compliant Tools ISO / IEC Certified Unit Test Tool Block highlighted colors indicate the degree of error (From small to large: BLUE - GREEN - RED) Use to locate the cause of errors when they first occur CoverageMaster winams 3 4
4 CoverageMaster winams/general : Unit Test Tool Embedded C/C++ software unit test tool Performs MPU target code based unit testing CoverageMaster winams is an automated embedded software unit testing tool that executes the target MPU (*) device's code. It is recognized as a standard unit test tools for automotive software that requires high-reliability high-quality tests. (*) : The MPU support list can be viewed at GAIO's web page. Code coverage The code coverage modes for unit testing, C0 (Statement Coverage), C1 (Branch Coverage) and MC/DC are fully supported. In addition, function/call coverage required by ISO for integration testing can also be measured. Specification-based and Structure-based Test Case Design Features Test cases can be efficiently created from the function's specifications to perform Requirement-based testing by using CoverageMaster's dedicated Data Analysis Editor. Test Cases can also be auto-generated through source code static analysis for Structure-base testing. Target Function Cross Compiler No Hook Code or Test Driver Required Static Analysis Feature Actual MPU Object Code-based Unit Test Automatic Creation MPU Instruction Set Simulator Unit Test Execution Process Test Cases CSV Format Automation by using Batch Execution and CLI Using Windows Batch files, it's possible to easily manage, configure and run tests automatically through CoverageMaster's Command Line Interface (CLI). Functional safety certified CoverageMaster winams complies with the ISO automotive functional safety standard and the IEC functional safety meta-standard. Tool certification was granted by third-party certification organization TÜV SÜD Germany. Data Analysis Editor Test Results Coverage CasePlayer2 : Program Analysis and MISRA-C Check Tool Function Specification Automatic Creation Requirement-based Unit Test Unit Test Results Comparison with Expected Value Statement, Branch MC/DC Function, Call MATLAB/Simulink Model ( if MBD Applicable ) Other MBD Tools Shared Variable Checker: Visualize Variable Conflicts An Integrated Browser to visualize Variable Access and detect conflicts Using data from CasePlayer2's static analysis, SVC reports the race conditions on Global Variables accessed by multiple functions, tasks or interrupts. Easily confirm which function accesses a selected variable with the built-in "Function Graph" viewer. Save the Analysis data for each variable to CSV files and export "Function Graphs" to PDF files. Variable Analysis Data Variables written to by multiple interrupt levels Functions called by multiple interrupt levels Variable read/writes from different core top-level functions Read only variables (no writes) Write only variables (no reads) Declaration only variables Uncalled functions Safilia: A Safety Concept Design Tool supporting SCDL A modeling tool for Safety Concept Design using the Safety Concept Design Language (SCDL) Safilia is a tool to assist Safety Concept Design using the Safety Concept Design Language (SCDL). It follows the specifications and standards decided by the Safety Concept Notation Study Group, which oversees the development of SCDL and promotes its diffusion. Facilitate the sharing of Safety Concept Designs through a Block Diagram interface Safilia includes a graphical editor to display Safety Concepts with block diagrams. By making the Safety Concepts and their inter-relations easier to visualize, it facilitates the expression and communication of critical Safety Designs to other Design or Development teams. Notes: Feature names are subject to change. CasePlayer2 sold separately. List/Graph Display Variable access analysis Function access analysis Read only variables Write only variables Declaration only variables Uncalled functions Pointer indirect access Functional safety certified Program analysis and document creation tool CasePlayer2 is an integrated reverse CASE tool that can create program documents such as flowcharts and MISRA-C reports from the source code. CasePlayer2 complies with the ISO automotive functional safety standard and the IEC functional safety meta-standard. Created Document Types Flowchart, Module (Function) Specification Sheet, Module Structure Diagram, Module (Function) List, Structure Specification Sheet, Structure List, Global Variable List, typedef List, #define List, Global Variable Reference List, Function Reference List, Structure Reference List, Structure Member Reference List. MISRA-C Rule Check Function MISRA-C 1998, MISRA-C 2004 Rule guide with sample code MISRA source code metrics supported Cyclomatic Complexity, Myer's Interval, Nesting, Code Size, Number of lines (including comment), Comment Rate (%), Static Path Count MISRA-C checking & source metrics MISRA-C 1998 & 2004 rule sets for C code checking are supported with configurable options. Flowchart MISRA-C rule checking Simulator Based Family SBF-SLV : Virtual Verification Tools Easily reproduce fault conditions GAIO s Simulator Based Family consists of microprocessor simulator based virtual verification environment solutions. System level verification can be performed by connecting HW simulation models with a microprocessor simulator. In this way software reliability testing can be performed by reproducing exceptional conditions and fault conditions in the virtual system. Execute actual target code Actual target code generated by a cross compiler is executed in GAIO s microprocessor simulator for the system simulation. Embedded software that includes address mapped i/o port definitions and MPU dependent interrupts can be executed as is. Connectivity library to link with external HW simulation models The microprocessor simulator can be connected with external HW simulation models such as MATLAB/Simulink, mechanical models, C/C++ and SystemC ASIC models through the connectivity libraries provided by GAIO. Various types of system simulations can be built by creating a test management model for performing input/output functions. Microprocessor Core Simulator Test Operation Interface Connectivity Library MATLAB/Simulink Printer Mechanical Model ASIC SystemC Model External HW Model (C/C++) Test Management Model (C/C++) Test Scenarios - Requirement-based test data - Fault injection test data - Road test data Output Log - Operating conditions - Test Results 5 6
5 Engineering Services Model-based development Software quality improvement Development process creation Unit test service Functional safety support Secure coding support We contribute to improving customer development and engineering ability We provide engineering services to support customer development based on our over 30 years of experience in embedded tool development. As an experienced tool vendor we have access to extensive embedded industry information valuable to our customers. At present we primarily provide a wide variety of services for model-based development related support and embedded software quality improvement. In addition, based on our close relations with our customers we can develop and improve useful test tools solutions. We are truly grateful for your consideration in using our engineering services. YOJI IWAI, Director Engineering Service Division Our Engineering Services Provide quality engineering services based on current market needs and requirements GAIO as a tool vendor maintains an understanding of current industry development methods and techniques through regular market research. Also, through regular business activities, GAIO has an understanding of customer needs and market trends domestic and abroad. This enables us to provide solutions optimized for our customer's development processes, methods and tools in order to satisfy safety, security and quality requirements. Provide software quality improvement solutions We provide an efficient unit test service based on our experience with software development tool technologies such as cross-compiling, unit testing and system simulation. We also propose improvements for customer software design and programming processes. Furthermore, we can provide solutions to improve customer software quality using our established test operation procedure methods. Process creation and tool installation solution for MBD and MDD Currently MBD using MATLAB/Simulink models has become a focal point in automotive embedded system design. Meanwhile, MDD using UML (Unified Modeling Language) or ADL (Architecture Description Language) is emerging as a means for implementing and testing application software. GAIO provides support services for establishing quality development processes and efficient tool introduction to meet the needs of the industry. Offer high quality test services as required by functional safety standard ISO We provide high quality embedded software unit test services to satisfy automotive functional safety standards such as ISO and IEC In this field our knowledge and experience of functional safety related requirements and certification provides added value to our customers. We maintain a network of Japan and offshore based partners as a resource for providing flexible and quick engineering services. Support installation of MBD processes & tools Support installation of ISO26262 conform Safety Concept Design High added value HILS Operations Reverse Modeling (Code to Model) Support transition to MBC/MBT Support installation of Virtual Testing environments Model Refactoring / Model Reduction Test Partner SQV-MBD Support transition to AUTOSAR & AUTOSAR Test Environment Modeling Simulink/UML/SySML/SCDL Core Knowledge Trends/Keywords Long experience with Processors and Software: -Tool Development for more than 50 cores, 500 series -Compilers for more than 40 cores -Simulators for more than 50 cores -Powerful tools used worldwide -Safety/Security -AUTOSAR -MBD/MBT/MBC -Next generation CI -Sensors & Cloud -E/E -Multi-Core -Safety Concept Notation -Revised ISO26262 Original Tools to boost the quality and efficiency of our services Tool knowledge Objectives Field experience Practical skills usable in the workplace Collective ability -Develop useful tools and provide them at affordable prices -Assist the installation of Software Quality Verification processes with ISO in mind -Suggest new methods whose efficiency has been proved to our customers and increase their QCD -Use our secure off-shore facilities to reduce costs Business Strategy Projects Mixed teams lead by GAIO Staff Technical Strategy Cells Value adding teams specialized in MBD, Safety, Security... Off-shore/Near-shore Outsourcing Outsource several specific time-costly tasks in high volumes to Off-site teams for increased efficiency and cost reduction We efficiently manage systems and development processes of ever-growing complexity Software Quality Improvement seminars & Assessment Software test service for AUTOSAR systems ALM Integration of Development Tools Legacy code refactoring Support establishing Software Quality Assurance processes Engineering Staffing Established service framework with domestic and offshore service partners Test Partner SQV (Unit Test) Unit Test On the Track (Test Process Consulting) On-site Technical Team Consulting for Secure Coding Support transition to Next Generation Continuous Integration Expanding engineering service operations 7 8 Engineering Service HQ (MCD/SAQT) Project Teams Central Teams GAIO Vietnam Development Center Japan Partners Short term project teams Cross-sectional support and high added value content development Expert Engineers High added value business area Project Teams Draft the necessary procedures Short term project teams GAIO Vietnam + Central teams Perform service Japan and overseas partners Established procedure job area
6
By V-cubed Solutions, Inc. Page1. All rights reserved by V-cubed Solutions, Inc.
By V-cubed Solutions, Inc. Page1 Purpose of Document This document will demonstrate the efficacy of CODESCROLL CODE INSPECTOR, CONTROLLER TESTER, and QUALITYSCROLL COVER, which has been developed by V-cubed
More informationSimulink 를이용한 효율적인레거시코드 검증방안
Simulink 를이용한 효율적인레거시코드 검증방안 류성연 2015 The MathWorks, Inc. 1 Agenda Overview to V&V in Model-Based Design Legacy code integration using Simulink Workflow for legacy code verification 2 Model-Based Design
More informationA Model-Based Reference Workflow for the Development of Safety-Related Software
A Model-Based Reference Workflow for the Development of Safety-Related Software 2010-01-2338 Published 10/19/2010 Michael Beine dspace GmbH Dirk Fleischer dspace Inc. Copyright 2010 SAE International ABSTRACT
More informationCertified Automotive Software Tester Sample Exam Paper Syllabus Version 2.0
Surname, Name: Gender: male female Company address: Telephone: Fax: E-mail-address: Invoice address: Training provider: Trainer: Certified Automotive Software Tester Sample Exam Paper Syllabus Version
More informationUsing Model-Based Design in conformance with safety standards
Using Model-Based Design in conformance with safety standards MATLAB EXPO 2014 Kristian Lindqvist Senior Engineer 2014 The MathWorks, Inc. 1 High-Integrity Applications Software-based systems that are
More informationFrom Design to Production
From Design to Production An integrated approach Paolo Fabbri Senior Engineer 2014 The MathWorks, Inc. 1 Do you know what it is? Requirements System Test Functional Spec Integration Test Detailed Design
More informationIntroducing Simulink Release 2012b for Control System Development Mark Walker MathWorks
Introducing Simulink Release 2012b for Control System Development Mark Walker MathWorks 2012 The MathWorks, Inc. 1 Simulink R2012b the most significant upgrade to Simulink ever Who does Simulink R2012b
More informationWhat s New with the MATLAB and Simulink Product Families. Marta Wilczkowiak & Coorous Mohtadi Application Engineering Group
What s New with the MATLAB and Simulink Product Families Marta Wilczkowiak & Coorous Mohtadi Application Engineering Group 1 Area MATLAB Math, Statistics, and Optimization Application Deployment Parallel
More informationGuido Sandmann MathWorks GmbH. Michael Seibt Mentor Graphics GmbH ABSTRACT INTRODUCTION - WORKFLOW OVERVIEW
2012-01-0962 AUTOSAR-Compliant Development Workflows: From Architecture to Implementation Tool Interoperability for Round-Trip Engineering and Verification & Validation Copyright 2012 The MathWorks, Inc.
More informationTesting and Validation of Simulink Models with Reactis
Testing and Validation of Simulink Models with Reactis Build better embedded software faster. Generate tests from Simulink models. Detect runtime errors. Execute and debug Simulink models. Track coverage.
More informationVerification, Validation, and Test with Model-Based Design
2008-01-2709 Verification, Validation, and Test with Model-Based Design Copyright 2008 The MathWorks, Inc Tom Erkkinen The MathWorks, Inc. Mirko Conrad The MathWorks, Inc. ABSTRACT Model-Based Design with
More informationBy Matthew Noonan, Project Manager, Resource Group s Embedded Systems & Solutions
Building Testability into FPGA and ASIC Designs By Matthew Noonan, Project Manager, Resource Group s Embedded Systems & Solutions Introduction This paper discusses how the architecture for FPGAs and ASICs
More informationVerification and Validation of High-Integrity Systems
Verification and Validation of High-Integrity Systems Chethan CU, MathWorks Vaishnavi HR, MathWorks 2015 The MathWorks, Inc. 1 Growing Complexity of Embedded Systems Emergency Braking Body Control Module
More informationEntwicklung zuverlässiger Software-Systeme, Stuttgart 30.Juni 2011
Entwicklung zuverlässiger Software-Systeme, Stuttgart 30.Juni 2011 Tools and Methods for Validation and Verification as requested by ISO26262 1 Introduction ISO26262 ISO 26262 is the adaptation of IEC
More informationCoverageMaster winams Tutorial. Ver Sep
CoverageMaster winams Tutorial Ver. 6.0.3 Sep 2016-1 - Table of Contents Table of Contents... 1 Introduction... 5 CoverageMaster Overview... 5 Embedded Software Unit Test Tool... 5 CSV Format Files for
More informationStandardkonforme Absicherung mit Model-Based Design
Standardkonforme Absicherung mit Model-Based Design MATLAB EXPO 2014 Dr. Marc Segelken Principal Application Engineer 2014 The MathWorks, Inc. 1 Safety Standards for Embedded Systems IEC 61508 ISO 26262
More informationAVS: A Test Suite for Automatically Generated Code
AVS: A Test Suite for Automatically Generated Code Ekkehard Pofahl Ford Motor Company Torsten Sauer Continental Automotive Systems Oliver Busa TUV Rheinland Industrie Service GmbH Page 1 of 22 AVS: Automotive
More informationSCADE. SCADE Suite Tailored for Critical Applications EMBEDDED SOFTWARE
EMBEDDED SOFTWARE SCADE SCADE Suite 19.2 SCADE Suite is part of the ANSYS Embedded Software product line, which empowers users with a Model-Based Development Environment for critical embedded software.
More informationISO Compliant Automatic Requirements-Based Testing for TargetLink
ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink Dr. Udo Brockmeyer CEO BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany udo.brockmeyer@btc-es.de Adrian Valea
More informationAutomating Best Practices to Improve Design Quality
Automating Best Practices to Improve Design Quality Adam Whitmill, Senior Application Engineer 2015 The MathWorks, Inc. 1 Growing Complexity of Embedded Systems Emergency Braking Body Control Module Voice
More informationImplementation and Verification Daniel MARTINS Application Engineer MathWorks
Implementation and Verification Daniel MARTINS Application Engineer MathWorks Daniel.Martins@mathworks.fr 2014 The MathWorks, Inc. 1 Agenda Benefits of Model-Based Design Verification at Model level Code
More informationIncreasing Design Confidence Model and Code Verification
Increasing Design Confidence Model and Code Verification 2017 The MathWorks, Inc. 1 The Cost of Failure Ariane 5 $7,500,000,000 Rocket & payload lost 2 The Cost of Failure USS Yorktown 0 Knots Top speed
More informationAutomating Best Practices to Improve Design Quality
Automating Best Practices to Improve Design Quality 임베디드 SW 개발에서의품질확보방안 이제훈차장 2015 The MathWorks, Inc. 1 Key Takeaways Author, manage requirements in Simulink Early verification to find defects sooner
More informationAutomatización de Métodos y Procesos para Mejorar la Calidad del Diseño
Automatización de Métodos y Procesos para Mejorar la Calidad del Diseño Luis López 2015 The MathWorks, Inc. 1 Growing Complexity of Embedded Systems Emergency Braking Body Control Module Voice Recognition
More informationCertified in the Governance of Enterprise IT Training - Brochure
Certified in the Governance of Enterprise IT Training - Brochure Optimize the IT governance of your business increase its efficiency Course Name : CGEIT Training Certification Version : INVL_CGEIT_BR_1.0
More informationKnown Issues: Coverage Measurement with Hook Code
2016.01.07_V3.5 Known Issues: Coverage Measurement with Hook Code This document is a list of know issues (and their solutions) when measuring Code Coverage with the Object with Hook Code that has been
More informationWhat s New In Simulink: Fraser Macmillen
What s New In Simulink: Fraser Macmillen 2015 The MathWorks, Inc. 1 Agenda Interacting with models Handling model (design) data New modelling constructs & editing features Simulink Test 2 How can you easily
More informationWHITE PAPER. 10 Reasons to Use Static Analysis for Embedded Software Development
WHITE PAPER 10 Reasons to Use Static Analysis for Embedded Software Development Overview Software is in everything. And in many embedded systems like flight control, medical devices, and powertrains, quality
More informationautomatisiertensoftwaretests
FunktionaleSicherheitmit automatisiertensoftwaretests SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICAION RTCA DO-178B RTCA Dynamisch& Statisch 0 Agenda Übersicht über Sicherheitsstandards
More informationAutomated Continuous Verification & Validation for Automobile Software
Speakers Information- Controls, Measurement & Calibration Congress ABSTRACT Automated Continuous Verification & Validation for Automobile Software Vinodhini Vijayaraghavan, Jagadeeswara Vijayaraghavan
More informationVerification and Test with Model-Based Design
Verification and Test with Model-Based Design Flight Software Workshop 2015 Jay Abraham 2015 The MathWorks, Inc. 1 The software development process Develop, iterate and specify requirements Create high
More informationModel-Based Design for Safety-Critical and Mission-Critical Applications Bill Potter Technical Marketing April 17, 2008
Model-Based Design for Safety-Critical and Mission-Critical Applications Bill Potter Technical Marketing April 17, 2008 2008 The MathWorks, Inc. Safety-Critical Model-Based Design Workflow Validate Trace:
More informationISO compliant verification of functional requirements in the model-based software development process
requirements in the model-based software development process Hans J. Holberg SVP Marketing & Sales, BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany hans.j.holberg@btc-es.de Dr. Udo
More informationAutomatic Code Generation Technology Adoption Lessons Learned from Commercial Vehicle Case Studies
08AE-22 Automatic Code Generation Technology Adoption Lessons Learned from Commercial Vehicle Case Studies Copyright 2007 The MathWorks, Inc Tom Erkkinen The MathWorks, Inc. Scott Breiner John Deere ABSTRACT
More informationReal-Time Testing in a Modern, Agile Development Workflow
Real-Time Testing in a Modern, Agile Development Workflow Simon Eriksson Application Engineer 2015 The MathWorks, Inc. 1 Demo Going from Desktop Testing to Real-Time Testing 2 Key Take-Aways From This
More informationFormal Verification and Automatic Testing for Model-based Development in compliance with ISO 26262
Formal Verification and Automatic Testing for Model-based Development in compliance with ISO 26262 Is your software safe? Do you have evidence? 2 BTC Embedded Systems AG proprietary all rights reserved
More informationSimulator in the-loop Environment for Autocode Verification
dspace User Conference 2012 India Sept 14 th 2012 Simulator in the-loop Environment for Autocode Verification Girish Palan, Pavan K S, Rajani S R Electronics and Safety, Delphi Technical Centre, India
More informationSimulink for AUTOSAR: Best Practices
Simulink for AUTOSAR: Best Practices 李智慧高级技术咨询顾问 2015 The MathWorks, Inc. 1 What is AUTOSAR? AUTomotive Open System ARchitecture Objective: Establish an open standard for automotive E/E architecture Partnership
More informationVirtual Hardware ECU How to Significantly Increase Your Testing Throughput!
Virtual Hardware ECU How to Significantly Increase Your Testing Throughput! Elektrobit Tech Day Jason Niatas Synopsys Inc. July 27, 2017 2017 Synopsys, Inc. 1 Agenda Automotive electronic evolution and
More informationSimulink 모델과 C/C++ 코드에대한매스웍스의정형검증툴소개 The MathWorks, Inc. 1
Simulink 모델과 C/C++ 코드에대한매스웍스의정형검증툴소개 2012 The MathWorks, Inc. 1 Agenda Formal Verification Key concept Applications Verification of designs against (functional) requirements Design error detection Test
More informationProduction Code Generation and Verification for Industry Standards Sang-Ho Yoon Senior Application Engineer
Production Code Generation and Verification for Industry Standards Sang-Ho Yoon Senior Application Engineer 2012 The MathWorks, Inc. 1 High-Integrity Applications Often Require Certification Software-based
More informationIncreasing Embedded Software Confidence Model and Code Verification. Daniel Martins Application Engineer MathWorks
Increasing Embedded Software Confidence Model and Code Verification Daniel Martins Application Engineer MathWorks Daniel.martins@mathworks.fr 1 What is the Cost of Software Failure Ariane 5 $7,500,000,000
More informationLeveraging Formal Methods for Verifying Models and Embedded Code Prashant Mathapati Application Engineering Group
Leveraging Formal Methods for Verifying Models and Embedded Code Prashant Mathapati Application Engineering Group 2014 The MathWorks, Inc. 1 The Cost of Failure News reports: Recall Due to ECU software
More informationSoftware Verification and Validation (VIMMD052) Introduction. Istvan Majzik Budapest University of Technology and Economics
Software Verification and Validation (VIMMD052) Introduction Istvan Majzik majzik@mit.bme.hu Budapest University of Technology and Economics Dept. of Measurement and Information s Budapest University of
More informationModel-Based Design for High Integrity Software Development Mike Anthony Senior Application Engineer The MathWorks, Inc.
Model-Based Design for High Integrity Software Development Mike Anthony Senior Application Engineer The MathWorks, Inc. Tucson, AZ USA 2009 The MathWorks, Inc. Model-Based Design for High Integrity Software
More informationVector Software. Using VectorCAST to Satisfy Software Verification and Validation for ISO W H I T E P A P E R
Vector Software W H I T E P A P E R Using VectorCAST to Satisfy Software Verification and Validation for ISO 26262 Purpose This document is intended to serve as a reference to show how the VectorCAST products
More informationAUTOSAR Software Design with PREEvision
AUTOSAR Software Design with PREEvision Webinar 2013-06-05 Slide: 1 AUTOSAR Software Design with PREEvision Agenda Overview AUTOSAR Software and System Design Integrated AUTOSAR Software Design Vector
More informationSimulation-based Test Management and Automation Sang-Ho Yoon Senior Application Engineer
1 Simulation-based Test Management and Automation Sang-Ho Yoon Senior Application Engineer 2016 The MathWorks, Inc. 2 Today s Agenda Verification Activities in MBD Simulation-Based Test Manage and Automate
More informationR&S QuickStep Test Executive Software Flexibility and excellent performance
Product Brochure Version 05.00 R&S QuickStep Test Executive Software Flexibility and excellent performance QuickStep_bro_en_3607-2249-12_v0500.indd 1 21.12.2017 16:45:09 R&S QuickStep Test Executive Software
More informationCERTIFICATION ISSUES IN AUTOMOTIVE SOFTWARE
CERTIFICATION ISSUES IN AUTOMOTIVE SOFTWARE Speaker: Mario Fusani Systems and Software Evaluation Centre ISTI CNR, Pisa, Italy mario.fusani@isti.cnr.it 1 CONTENTS Certification What is certification? Definitions
More informationWhat s New in Simulink in R2015b and R2016a
What s New in Simulink in R2015b and R2016a Ruth-Anne Marchant Application Engineer 2016 The MathWorks, Inc. 1 2 Summary of Major New Capabilities for Model-Based Design RESEARCH REQUIREMENTS DESIGN Modelling
More informationDRYING CONTROL LOGIC DEVELOPMENT USING MODEL BASED DESIGN
DRYING CONTROL LOGIC DEVELOPMENT USING MODEL BASED DESIGN Problem Definition To generate and deploy automatic code for Drying Control Logics compatible with new SW architecture in 6 months using MBD, a
More informationProduct Range 3SL. Cradle -7
Cradle -7 From concept to creation... 3SL Product Range PRODUCT RANGE HIGHLIGHTS APPLIES TO AGILE AND PHASE PROJECTS APPLICATION LIFECYCLE MANAGEMENT REQUIREMENTS MANAGEMENT MODELLING / MBSE / SYSML /
More informationFOUR INDEPENDENT TOOLS TO MANAGE COMPLEXITY INHERENT TO DEVELOPING STATE OF THE ART SYSTEMS. DEVELOPER SPECIFIER TESTER
TELECOM AVIONIC SPACE AUTOMOTIVE SEMICONDUCTOR IOT MEDICAL SPECIFIER DEVELOPER FOUR INDEPENDENT TOOLS TO MANAGE COMPLEXITY INHERENT TO DEVELOPING STATE OF THE ART SYSTEMS. TESTER PragmaDev Studio is a
More informationVolvo Car Group Jonn Lantz Agile by Models
Volvo Car Group Jonn Lantz Agile by Models Challenge Scaling agile model driven development of AUTOSAR embedded software. Lift the abstraction level of in-house development. Create reliable, automated
More informationBest Practices Process & Technology. Sachin Dhiman, Senior Technical Consultant, LDRA
Best Practices Process & Technology Sachin Dhiman, Senior Technical Consultant, LDRA Best Quality Software Product Requirements Design Coding Testing 2 Product Requirement Feature Requirement Security
More informationID 020C: Hardware-in-Loop: System Testing Without the System
ID 020C: Hardware-in-Loop: System Testing Without the System Applied Dynamics International Marcella Haghgooie Sr. Field Applications Engineer 13 October 2010 Version: 1.2 Marcella Haghgooie Sr. Field
More informationtime now it has also been used productively in a multi-oem, requires precise knowledge of the protocol, the layout, the
ODX in Practice Experiences, challenges and potential The diagnostic exchange format ODX has been implemented successfully in a number of pilot projects. For the first time now it has also been used productively
More informationIDE for medical device software development. Hyun-Do Lee, Field Application Engineer
IDE for medical device software development Hyun-Do Lee, Field Application Engineer Agenda SW Validation Functional safety certified tool IAR Embedded Workbench Code Analysis tools SW Validation Certifications
More informationA TOOL-CHAIN FOR FUNCTIONAL SAFETY AND RELIABILITY IMPROVEMENT IN AUTMOTIVE SYSTEMS
A TOOL-CHAIN FOR FUNCTIONAL SAFETY AND RELIABILITY IMPROVEMENT IN AUTMOTIVE SYSTEMS R. Nouacer, M. Djemal, S. Niar, G. Mouchard, N. Rapin, J.P. Gallois, P. Fiani, F. Chastrette, T. Adriano and B. Mac-Eachen
More informationACCREDITATION COMMISSION FOR CONFORMITY ASSESSMENT BODIES
ACCREDITATION COMMISSION FOR CONFORMITY ASSESSMENT BODIES ACCREDITATION SCHEME MANUAL Document Title: Document Number: Various Accreditation Schemes ACCAB-ASM-7.0 CONTROLLED COPY Revision Number Revision
More informationSOFTWARE QUALITY. MADE IN GERMANY.
UPCOMING IMPACT OF THE SECOND EDITION OF THE ISO 26262 MGIGroup, 11.07.2017 SOFTWARE QUALITY. MADE IN GERMANY. SOLUTIONS FOR INTEGRATED QUALITY ASSURANCE OF EMBEDDED SOFTWARE MOTIVATION Release ISO 26262:2011
More information2015 The MathWorks, Inc. 1
2015 The MathWorks, Inc. 1 신호처리응용을위한 Model Based Design Workflow 이웅재부장 2015 The MathWorks, Inc. 2 CASE: Software in Signal Processing Application (Medical) Medical devices are increasingly driven by complex
More informationIntegrity 10. Curriculum Guide
Integrity 10 Curriculum Guide Live Classroom Curriculum Guide Integrity 10 Workflows and Documents Administration Training Integrity 10 SCM Administration Training Integrity 10 SCM Basic User Training
More informationSOLUTIONS FOR TESTING CAMERA-BASED ADVANCED DRIVER ASSISTANCE SYSTEMS SOLUTIONS FOR VIRTUAL TEST DRIVING
SOLUTIONS FOR TESTING CAMERA-BASED ADVANCED DRIVER ASSISTANCE SYSTEMS SOLUTIONS FOR VIRTUAL TEST DRIVING Table of Contents Motivation... 3 Requirements... 3 Solutions at a Glance... 4 Video Data Stream...
More informationODX Process from the Perspective of an Automotive Supplier. Dietmar Natterer, Thomas Ströbele, Dr.-Ing. Franz Krauss ZF Friedrichshafen AG
ODX Process from the Perspective of an Automotive Supplier Dietmar Natterer, Thomas Ströbele, Dr.-Ing. Franz Krauss ZF Friedrichshafen AG 1 Abstract Vehicle systems, especially the ECU networks, are getting
More informationFULL VIRTUALIZATION OF RENAULT'S ENGINE MANAGEMENT SOFTWARE APPLICATION TO SYSTEM DEVELOPMENT
FULL VIRTUALIZATION OF RENAULT'S ENGINE MANAGEMENT SOFTWARE APPLICATION TO SYSTEM DEVELOPMENT D. von Wissel, Y. Jordan,, RENAULT A. Dolha, J. Mauss QTronic Introduction Renault has an established engine
More informationMAENAD Analysis Workbench
Grant Agreement 260057 Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles Report type Report name Deliverable D5.2.1 MAENAD Analysis Workbench Dissemination level
More informationSemantics-Based Integration of Embedded Systems Models
Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current
More informationACCREDITATION COMMISSION FOR CONFORMITY ASSESSMENT BODIES
ACCREDITATION COMMISSION FOR CONFORMITY ASSESSMENT BODIES ACCREDITATION SCHEME MANUAL Document Title: Document Number: Various Accreditation Schemes ACCAB-ASM-7.0 CONTROLLED COPY Revision Number Revision
More informationReuse of Hardware Independent Test Sequences across MiL-, SiL- and HiL-Test Scenarios
Reuse of Hardware Independent Test Sequences across MiL-, SiL- and HiL-Test Scenarios Testing Expo 2008 Stuttgart Berner & Mattner Systemtechnik GmbH Contents Test methods in the automotive industry Problems
More informationNon-invasive Software Verification using Vista Virtual Platforms by Alex Rozenman, Vladimir Pilko, and Nilay Mitash, Mentor Graphics
Non-invasive Software Verification using Vista Virtual Platforms by Alex Rozenman, Vladimir Pilko, and Nilay Mitash, Mentor Graphics Introduction With the SoCs now supporting Multi-Core processors, complex
More informationEin Modell - viele Zielsysteme
Ein Modell - viele Zielsysteme Automatische Codegenerierung aus MATLAB und Simulink Dr.-Ing. Daniel Weida 2015 The MathWorks, Inc. 1 Industry trends Code generation is expanding rapidly C C++ VHDL Verilog
More informationFault-Injection testing and code coverage measurement using Virtual Prototypes on the context of the ISO standard
Fault-Injection testing and code coverage measurement using Virtual Prototypes on the context of the ISO 26262 standard NMI Automotive Electronics Systems 2013 Event Victor Reyes Technical Marketing System
More informationCERTIFIED. Faster & Cheaper Testing. Develop standards compliant C & C++ faster and cheaper, with Cantata automated unit & integration testing.
CERTIFIED Faster & Cheaper Testing Develop standards compliant C & C++ faster and cheaper, with Cantata automated unit & integration testing. Why Industry leaders use Cantata Cut the cost of standards
More informationDataworks Development, Inc. P.O. Box 174 Mountlake Terrace, WA (425) fax (425)
Dataworks Development, Inc. P.O. Box 174 Mountlake Terrace, WA 98043 (425) 673-1974 fax (425) 673-2506 The Freezerworks Validation Verification Package Dataworks Development, Inc. has over 20 years of
More informationGuidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process
Guidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process UK MathWorks Aerospace & Defence Industry Working Group Guidelines for deployment of MathWorks R2010a toolset within
More informationCTFL -Automotive Software Tester Sample Exam Paper Syllabus Version 2.0
Surname, Forename: Gender: male female Company address: Telephone: Fax: E-mail-address: Invoice address: Training provider: Trainer: CTFL -Automotive Software Tester Sample Exam Paper Syllabus Version
More informationDevelopment and Deployment of ECU based Control Systems through MBD. Imperative role of Model based design in System Engineering
Development and Deployment of ECU based Control Systems through MBD Imperative role of Model based design in System Engineering Outline Scope of Work Problem Definition Solution System Engineering Model
More informationIBM Rational Rhapsody. IBM Rational Rhapsody Kit for ISO 26262, IEC 61508, IEC and EN Overview. Version 1.9
IBM Rational Rhapsody IBM Rational Rhapsody Kit for ISO 26262, IEC 61508, IEC 62304 and EN 50128 Overview Version 1.9 License Agreement No part of this publication may be reproduced, transmitted, stored
More informationSystems and software engineering Requirements for testers and reviewers of information for users
INTERNATIONAL STANDARD ISO/IEC/ IEEE 26513 Second edition 2017-10 Systems and software engineering Requirements for testers and reviewers of information for users Ingénierie des systèmes et du logiciel
More informationNetworked Access to Library Resources
Institute of Museum and Library Services National Leadership Grant Realizing the Vision of Networked Access to Library Resources An Applied Research and Demonstration Project to Establish and Operate a
More informationFunctional verification on PIL mode with IAR Embedded Workbench
by Cristina Marconcini, STM CASE s.r.l. Functional verification on PIL mode with IAR Embedded Workbench The increase of complexity of embedded system components combined with time-to-market constraints
More informationTools and Methods for Validation and Verification as requested by ISO26262
Tools and for Validation and Verification as requested by ISO26262 Markus Gebhardt, Axel Kaske ETAS GmbH Markus.Gebhardt@etas.com Axel.Kaske@etas.com 1 Abstract The following article will have a look on
More informationHardware-Software Co-Design and Prototyping on SoC FPGAs Puneet Kumar Prateek Sikka Application Engineering Team
Hardware-Software Co-Design and Prototyping on SoC FPGAs Puneet Kumar Prateek Sikka Application Engineering Team 2015 The MathWorks, Inc. 1 Agenda Integrated Hardware / Software Top down Workflow for SoC
More informationStackAnalyzer Proving the Absence of Stack Overflows
StackAnalyzer Proving the Absence of Stack Overflows AbsInt GmbH 2012 2 Functional Safety Demonstration of functional correctness Well-defined criteria Automated and/or model-based testing Formal techniques:
More informationCreate the ideal conditions for your network to grow.
Create the ideal conditions for your network to grow. Create the ideal conditions for your network to grow. SBC PremierSERV SM Network Integration and Managed Services. Flexible, end-to-end solutions
More informationComplex Signal Processing Verification under DO-254 Constraints by François Cerisier, AEDVICES Consulting
Complex Signal Processing Verification under DO-254 Constraints by François Cerisier, AEDVICES Consulting Building a complex signal processing function requires a deep understanding of the signal characteristics
More informationPart 5. Verification and Validation
Software Engineering Part 5. Verification and Validation - Verification and Validation - Software Testing Ver. 1.7 This lecture note is based on materials from Ian Sommerville 2006. Anyone can use this
More informationPragmaDev. change request. Emmanuel Gaudin. PragmaDev ITU-T SG17 change request Grimstad June 24,
PragmaDev change request Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Languages Table of contents PragmaDev introduction Languages SDL-RT Tool support Market tendancy Change requests Presentation PragmaDev
More informationDeveloping AUTOSAR Compliant Embedded Software Senior Application Engineer Sang-Ho Yoon
Developing AUTOSAR Compliant Embedded Software Senior Application Engineer Sang-Ho Yoon 2015 The MathWorks, Inc. 1 Agenda AUTOSAR Compliant Code Generation AUTOSAR Workflows Starting from Software Component
More informationRequest for Proposals Atlanta Legal Aid Society and Legal Services Law Line of Vermont
Request for Proposals Atlanta Legal Aid Society and Legal Services Law Line of Vermont Web Accessibility Reviews and Recommendations for Two Legal Aid Websites and Assistance Creating an Accessibility
More informationFunctional Safety Design Packages for STM32 & STM8 MCUs
Functional Safety Design Packages for STM32 & STM8 MCUs Achieve functional safety certifications with ST MCUs With its Functional Safety Design Packages based on robust built-in MCU safety features, ST
More informationSystems and software engineering Requirements for managers of information for users of systems, software, and services
This is a preview - click here to buy the full publication INTERNATIONAL STANDARD ISO/IEC/ IEEE 26511 Second edition 2018-12 Systems and software engineering Requirements for managers of information for
More informationTesting, Validating, and Verifying with Model-Based Design Phil Rottier
Testing, Validating, and Verifying with Model-Based Design Phil Rottier 2015 The MathWorks, Inc. 1 Summary MATLAB, Simulink and Stateflow help individuals and teams rapidly develop complex designs These
More informationVerification and Validation of Models for Embedded Software Development Prashant Hegde MathWorks India Pvt. Ltd.
Verification and Validation of Models for Embedded Software Development Prashant Hegde MathWorks India Pvt. Ltd. 2015 The MathWorks, Inc. 1 Designing complex systems Is there something I don t know about
More informationThe Emerging ISO International Standard for Certification of Software Engineering Professionals
The Emerging ISO International Standard for Certification of Software Engineering Professionals Juan Garbajosa Universidad Politécnica de Madrid - Technical University of Madrid (UPM). E.U. Informática.
More informationHazardous Locations. Product Certification Solutions
Hazardous Locations Product Certification Solutions 2 Designing and manufacturing products for hazardous locations is a complex environment to navigate, with many requirements for certification. To achieve
More informationPUBLICLY AVAILABLE SPECIFICATION PRE-STANDARD
IEC/PAS 61512-4 PUBLICLY AVAILABLE SPECIFICATION PRE-STANDARD Edition 1.0 2007-11 Batch control Part 4: Batch production records INTERNATIONAL ELECTROTECHNICAL COMMISSION PRICE CODE XB ICS 25.040.40 ISBN
More informationISO compliance
ISO 26262 compliance Addressing the compliance complexity of safety-relevant E/E systems. White paper Abstract An increasing number of high profile recalls have proved that even industry leaders in automotive
More information