Considerations in automotive embedded development Global Automotive Director Kiyo Uemura

Similar documents
IDE for medical device software development. Hyun-Do Lee, Field Application Engineer

Boost Performance Optimizations. Rafael Taubinger Sr. FAE

By V-cubed Solutions, Inc. Page1. All rights reserved by V-cubed Solutions, Inc.

Verification and Validation of High-Integrity Systems

Production Code Generation and Verification for Industry Standards Sang-Ho Yoon Senior Application Engineer

Simulink 모델과 C/C++ 코드에대한매스웍스의정형검증툴소개 The MathWorks, Inc. 1

Standardkonforme Absicherung mit Model-Based Design

Automating Best Practices to Improve Design Quality

End-to-end Safety, Security and Reliability Keys for a successful I4.0 Migration

18-642: Code Style for Compilers

WHITE PAPER. 10 Reasons to Use Static Analysis for Embedded Software Development

Using Model-Based Design in conformance with safety standards

Software architecture in ASPICE and Even-André Karlsson

Coding Standards in FACE Conformance. John Thomas, Chris Edwards, and Shan Bhattacharya

Coding Standards in FACE Conformance. John Thomas, Chris Edwards, and Shan Bhattacharya

Automating Best Practices to Improve Design Quality

Model-Based Design for High Integrity Software Development Mike Anthony Senior Application Engineer The MathWorks, Inc.

automatisiertensoftwaretests

Automatización de Métodos y Procesos para Mejorar la Calidad del Diseño

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

CNCA-C11-09:2014. Translated English of Chinese CCC Regulations: CNCA C11-09:2014. Translated by:

Enabling Safe, Secure, Smarter Cars from Silicon to Software. Jeff Hutton Synopsys Automotive Business Development

From Design to Production

18-642: Code Style for Compilers

Turning partnership into success

Best Practices Process & Technology. Sachin Dhiman, Senior Technical Consultant, LDRA

Don t Be the Developer Whose Rocket Crashes on Lift off LDRA Ltd

BQC Certification Body Corporate Presentation. Athens, 2018

IBM Rational Rhapsody. IBM Rational Rhapsody Kit for ISO 26262, IEC 61508, IEC and EN Overview. Version 1.9

Verification and Validation of Models for Embedded Software Development Prashant Hegde MathWorks India Pvt. Ltd.

Certified Automotive Software Tester Sample Exam Paper Syllabus Version 2.0

Safety Argument based on GSN for Automotive Control Systems. Yutaka Matsubara Nagoya University

Implementation and Verification Daniel MARTINS Application Engineer MathWorks

정형기법을활용한 AUTOSAR SWC 의구현확인및정적분석

BUILDING FUNCTIONAL SAFETY PRODUCTS WITH WIND RIVER VXWORKS RTOS

READY ISSUANCE BY OPTIMISE THE MANAGEMENT OF YOUR OV CERTIFICATES

TechTarget s Client Consulting Services: Committed to maximizing your marketing ROI

Your network s path to its fiber future. Grow confidently with fiber solutions from an experienced partner

Securing Digital Applications

Addressing Future Challenges in the Development of Safe and Secure Software Components The MathWorks, Inc. 1

Safe and Secure. Online Backup with NetApp- Certified Quality

CERTIFICATION ISSUES IN AUTOMOTIVE SOFTWARE

Simulink 를이용한 효율적인레거시코드 검증방안

EXPLORING THE OPPORTUNITIES FOR PEEK IN 3D PRINTING

Leveraging Formal Methods Based Software Verification to Prove Code Quality & Achieve MISRA compliance

Psiber Data WireXpert P R O F E S S I O N A L N E T W O R K T E S T I N G & P R O T O C O L A N A L Y S I S

align security instill confidence

La gestione di Security e Safety con un singolo sistema di supporto alle decisioni Baltimore/Washington Airport - USA

Micro Focus Partner Program. For Resellers

CA ELAP Expert Review Panel Meeting January 31, EPA Perspective: Effective Laboratory Certification Program Implementation

»From creativity to profitability the concept of innovation and its translation into a business plan«

ROMER ABSOLUTE ARM ADVANCED PORTABLE 3D MEASUREMENT PRODUCT BROCHURE

Tool Qualification. Get the Most out of Development and Testing with the Maker of the Blue Box V11.01

IAR Embedded Workbench

Functional Safety Design Packages for STM32 & STM8 MCUs

Simulink for AUTOSAR: Best Practices

The Winning Force MS SERIES MECHANICAL SHEAR. Hi-Speed Accurate Efficient Performance

SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE

Synopsys Static Analysis Support for SEI CERT C Coding Standard

Best Practices in Deploying Skype for Business Voice and Video for Office 365

Wind River Android Solutions

New International Health and Safety Standard ISO 45001

THE PLATFORM EQUINIX VISION

CNCA / CCC Serial No.: CNCA-C11-04:2014

STRATEGY STATEMENT OF QUALIFICATIONS

Ein Modell - viele Zielsysteme

AF Life Cycle Management Center

Automation is the Answer to the UAA Problem

2D BASICS & EVOLUTION OF 2D SYMBOLOGIES

Frequently Asked Questions. AUTOSAR C++14 Coding Guidelines

CADENCE DESIGN SYSTEMS, INC. Second Quarter 2018 Financial Results Conference Call

-Riverstone Holdings Limited 3Q Results Briefing 2 November 2010

Projectplace: A Secure Project Collaboration Solution

Prelude to Programming

THE PLATFORM EQUINIX VISION

GAIO. Solution. Corporate Profile / Product Catalog. Contact Information

IFS. Company Presentation JONAS SKAGERHULT- BUSINESS SOLUTION ARCHITECT ANN-KRISTIN SANDER- ACCOUNT MANAGER 2011 IFS

-- Smart Grid Communication --

Important From Last Time

Testing, qualification and certification of your products

Assessments Audits CERTIFICATION

OMNIS TRACKING TECHNOLOGY TAMED PUTTING CUSTOMS IN CONTROL OF CARGO

Opportunities and Obstacles to Using Static Analysis for the Development of Safety-Critical Software

Security. Made Smarter.

NCC Group plc. NCC Group plc Interim Results

Drive Your Career Forward IIA Certifications and Qualifications

Coverity Static Analysis Support for MISRA Coding Standards

Cyber Security for Process Control Systems ABB's view

Introduction. When it comes to GDPR compliance, is OK for now enough? Minds made for protecting financial services

PartnerSURGE Sales & Pre-Sales Certification

AUTOMOTIVE HMI DESIGN AT ITS BEST.

CERT Development EFFECTIVE RESPONSE

White Paper Bluetooth Protocol Stack technology from IAR Systems

HOT TOPICS IN DATA PRIVACY REGULATION IN RUSSIA

BUILDING CYBERSECURITY CAPABILITY, MATURITY, RESILIENCE

Compiler in sicherheitsrelevanten Projekten Was bedeutet das für die Testumgebung?

A C H I E V E B O T H W I T H K E Y S I G H T. Company Profile

AUTOMOTIVE HMI DESIGN AT ITS BEST.

needs, wants, and limitations

So you want to be a Certified Quality Engineer?

Transcription:

Considerations in automotive embedded development Global Automotive Director Kiyo Uemura

Agenda 1. IAR Systems Introduction 2. Background & ISO 26262 3. Software Development at the software level 4. Supporting Processes & Software tools 5. Summary

Future-proof software tools and services for embedded development, enabling companies worldwide to create the products of today and the innovations of tomorrow. Dedicated team of support, sales and service worldwide Large and loyal base of 46,000 customers 32% of revenue invested in R&D 2016 Sales 34M Operating profit 10M Net cash 10M Listed on NASDAQ Stockholm 34 years in the industry Uppsala Munich Paris Tokyo Seoul Shanghai Dallas Boston Los Angeles San Francisco + Distributor representation in 40+ countries

Background Complexity of Automotive Application Increasing Software Engineers at Automotive Industry are expected to follow ISO 26262. ISO 26262 is an automotive-specific international standard for functional safety of designing and testing products.

Overview of ISO 26262

Overview of ISO 26262 Product Development at the software level Supporting processes

ISO 26262 Part 6 Product Development at the software level

ISO 26262 Part 6 Product Development at the software level 6.6 Specification of Safety Software Requirement 6.11 Verification of software safety requirements 6.7 Software architectural design 6.10 Software integration and testing 6.8 Software unit design and implementation 6.9 Software Unit Design testing

6-7 Software Architectural design 6.6 Specification of Safety Software Requirement 6.11 Verification of software safety requirements 6.7 Software architectural design 6.10 Software integration and testing 6.8 Software unit design and implementation 6.9 Software Unit Design testing

6-7 Software Architectural design methods recemmended by ISO 26262-6, Table 6 (requirment 7.4.18) Method ASIL A B C D 1a Design walk-through ++ + o o 1b Design inspection + ++ ++ ++ 1c Simulation of Dynamic parts of design + + + ++ 1d Prototype generation o o + ++ 1e Formal verification o o + + 1f Control flow Analysis + + ++ ++ 1g Data flow Analysis + + ++ ++ ASIL : Automotive Safety Integrity Level = A risk classification scheme ++ The method is highly recommended for this ASIL + The method is recommended for this ASIL o The method has no recommendation for or against usage for this ASIL Without using a tool not easy to ensure the quality of your Software Architectural design method

6-7 Software Architectural design methods recemmended by ISO 26262-6, Table 6 (requirment 7.4.18) Method ASIL A B C D Visual State 1a Design walk-through ++ + o o Yes 1b Design inspection + ++ ++ ++ Yes 1c Simulation of Dynamic parts of design + + + ++ Yes 1d Prototype generation o o + ++ - 1e Formal verification o o + + - 1f Control flow Analysis + + ++ ++ Yes 1g Data flow Analysis + + ++ ++ - ASIL : Automotive Safety Integrity Level ++ The method is highly recommended for this ASIL + The method is recommended for this ASIL o The method has no recommendation for or against usage for this ASIL Without using a tool not easy to ensure the quality of your Software Architectural design method

Solutions from IAR Systems State Machine Development Tool

IAR Visual State Set of tools for designing, testing and implementing embedded applications based on state machines. Build your design from a high level, structure complex applications, and step by step add functionality at a detailed level. Based on Unified Modeling Language (UML) state machine subset Generates very compact C/C++ code, 100% consistent with your design Advanced verification and validation tools

6-8 Software Unit design and implementation 6.6 Specification of Safety Software Requirement 6.11 Verification of software safety requirements 6.7 Software architectural design 6.10 Software integration and testing 6.8 Software unit design and implementation 6.9 Software Unit Design testing

6-8 Software Unit design and implementation : Coding Guide Topics to be covered by modeling and coding guidelines offered by ISO26262 Part6 ASIL A B C D Enforcement of low complexity ++ ++ ++ ++ Use of language subsets ++ ++ ++ ++ Enforcement of strong typing ++ ++ ++ ++ Use of defensive implementation techniques o + ++ ++ Use of established design principles + + + ++ Use of unambiguous graphical representation + ++ ++ ++ Use of style guides + ++ ++ ++ Use of naming conventions ++ ++ ++ ++ Manual Review is no longer a perfect solution to ensure the quality of your code ASIL : Automotive Safety Integrity Level ++ The method is highly recommended for this ASIL + The method is recommended for this ASIL o The method has no recommendation for or against usage for this ASIL

6-8 Software Unit design and implementation : Coding Guide Topics to be covered by modeling and coding guidelines offered by ISO26262 Part6 ASIL A B C D C-STAT Enforcement of low complexity ++ ++ ++ ++ - Use of language subsets ++ ++ ++ ++ Yes Enforcement of strong typing ++ ++ ++ ++ Yes Use of defensive implementation techniques o + ++ ++ Yes, partly Use of established design principles + + + ++ - Use of unambiguous graphical representation + ++ ++ ++ - Use of style guides + ++ ++ ++ - Use of naming conventions ++ ++ ++ ++ - Manual Review is no longer a perfect solution to ensure the quality of your code ASIL : Automotive Safety Integrity Level ++ The method is highly recommended for this ASIL + The method is recommended for this ASIL o The method has no recommendation for or against usage for this ASIL

Solutions from IAR Systems Static Analysis: C-STAT

Static Analysis: C-STAT Checks compliance with MISRA C:2012 MISRA C++:2008 MISRA C:2004 CWE and CERT C/C++ (Includes ~250 checks mapping to 100 of issues) Extensive and detailed documentation Fully integrated with IAR Embedded Workbench

6-9 Software Unit testing, 6-10 Software integration and testing 6.6 Specification of Safety Software Requirement 6.11 Verification of software safety requirements 6.7 Software architectual design 6.10 Software integration and testing 6.8 Software unit design and implementation 6.9 Software Unit Design testing

6-9 Software Unit testing, 6-10 Software integration and testing Requirement The ISO 26262 standard requires software integration testing in a realistic target environment. Verifying embedded software according to ISO 26262 requires testing in a target environment while ensuring a high level of controllability and observability in the software. Need to have a tool which does not cause code overhead and speed penalty..

6-9 Software Unit testing, 6-10 Software integration and testing Requirement The ISO 26262 standard requires software integration testing in a realistic target environment. Verifying embedded software according to ISO 26262 requires testing in a target environment while ensuring a high level of controllability and observability in the software. C-RUN Yes Yes Need to have a tool which does not cause code overhead and speed penalty..

Solution from IAR Systems Dynamic Analysis: C-RUN

Dynamic Analysis: C-RUN C-RUN can perform following errors check; Heap and memory leaks checking Bounds checking Integer conversion failure Shift overflow Division by zero Minimized test code overhead and speed penalty Full Integration with IAR Embedded Workbench

8-11 Confidence in the use of software tools Supporting processes

8-11 Confidence in the use of software tools Requirement & Consideration ISO 26262 standards requires all tools used for the development process to be qualified Good to have a tool to be prequalified The amount of work for qualification of tools can be high, if the tools are not pre-qualified

8-11 Confidence in the use of software tools Requirement & Consideration ISO 26262 standards requires all tools used for the development process to be qualified IAR Embedded Workbench Functional Safety Version Qualified Good to have a tool to be prequalified The amount of work for qualification of tools can be high, if the tools are not pre-qualified Qualified

Solution from IAR Systems Functional Safety version of IAR Embedded Workbench

ISO 26262 certified tools A special functional safety version of IAR Embedded Workbench for ARM V7.40.6 IAR Embedded Workbench for RL78 V1.40.7 Certified for each ASIL (Automotive Safety Integrity Level) A-D of ISO 26262 without further tool qualification Guaranteed support through the product life cycle Prioritized support Validated service packs Regular reports of known problems The certification validates the quality of IAR Systems entire development processes, as well as the delivered software.

Summary of solutions from IAR Systems

Future proof your applications! Code Quality is the key success factor of your Automotive project. IAR Systems will support you to secure the code quality.

Want to learn more? Get scanned and get this presentation as PDF Get a demo of our latest news Thank you for your attention!

Thank you for your attention! www.iar.com/automotive