GAIO Solution Corporate Profile / Product Catalog Contact Information GAIO TECHNOLOGY Headquarters Tennouzu First Tower 25F 2-2-4 Higashi-Shinagawa, Shinagawa-ku, Tokyo 140-0002 Japan Tel: +81-3-4455-4767 Email: info@gaio.com w w w. g a i o. c o m FULL LINE UP CATALOG 2015.06
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 1980. 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 26262 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 26262 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 26262 / IEC 61508 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
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 26262 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 26262 automotive functional safety standard and the IEC 61508 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 26262 automotive functional safety standard and the IEC 61508 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
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 26262 We provide high quality embedded software unit test services to satisfy automotive functional safety standards such as ISO 26262 and IEC 61508. 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