ガイオ・テクノロジー List of Products and Services

Aim and Value of This Service ■Quality Improvement - By adopting SCDL (Safety Concept Description Language), design quality is enhanced as design errors (SCDL notation violations) can be detected. - Traceability between elements is automatically handled by the tool, eliminating mistakes. ■Efficiency - Efficiency is improved by easily creating safety concept diagrams in accordance with SCDL notation. - Utilizing features such as consistency checks between safety analysis and safety concept diagrams (highlight function) and change verification of safety concept diagrams (project comparison) streamlines the review process. - The ability to merge multiple safety concept diagrams into a single safety concept diagram enhances development efficiency. ■Ease of Explanation - The integration of safety analysis and safety design (safety concept diagrams) allows for easy explanations of safety development using the tool's features. ■Ease of Toolchain - Safilia has functionalities for integration with other tools (XML data import/export, compatibility between Enterprise Architect's SysML: IBD and SCDL), enabling collaboration with main functional development.

• Embedded system design service

■Feature 1 - A testing tool that reasonably implements functional safety compliance for modern development styles. QTE realizes elements that are lacking in Google Test and meets the requirements necessary for functional safety certification. ■Feature 2 - Seamless utilization of Google Test assets from pre-development to mass production. By introducing QTE, the transition from pre-development to mass production becomes seamless, significantly reducing man-hours and costs. ■Feature 3 - Acquisition of functional safety standards. We have obtained tool certification compliant with ISO 26262 (TCL1 to TCL3) and IEC 61508 from TÜV SÜD, a third-party certification body. ■Feature 4 - Availability of cloud environments. By utilizing containers and K8S, we provide a flexible and scalable development environment. ■Feature 5 - Efficiently adapting OSS testing tool assets to functional safety standards. Google Test assets can be efficiently adapted to meet functional safety standards. ■Feature 6 - Easy execution of automotive quality testing even for those without embedded experience. It facilitates the execution of automotive quality testing by engineers without prior experience.

• Development support tools (ICE, emulators, debuggers, etc.)

■Feature 1: Information related to violation warnings can be managed within a single framework Handling violation warnings requires multiple pieces of information, such as source code and coding rules. CAR allows for the integrated management of this information within a single framework. This enables quick access to the necessary information and significantly improves work efficiency. ■Feature 2: Equipped with AI learning capabilities Based on violation warnings and source code output by static analysis tools accumulated in CAR, as well as past violation warning judgments, AI learns to enhance the efficiency of reviews and response tasks.

• Development support tools (ICE, emulators, debuggers, etc.)

"Coverage Master winAMS" is a unit testing tool for embedded software in C/C++ that complies with the functional safety standards ISO 26262 / IEC 61508, capable of measuring code coverage such as statement, branch, MC/DC, and function calls. It includes a microcontroller simulator that executes the compiled object code for unit testing. Unlike typical unit testing tools that are limited to logical-level unit testing of C source code, it conducts the most faithful and reliable unit tests on microcontroller code, including issues dependent on the implementation specific to embedded systems. (Supports C++ 11/14) 【Features】 - Executes unit tests based on "actual machine code," leading to increased efficiency - Fully supports C0, C1, and MC/DC coverage, as well as function/call coverage measurement during the integration phase - Efficiently generates test data from both white-box and black-box perspectives - Seamlessly creates, executes, and verifies coverage comprehensive test data within the tool - Provides options for efficiently conducting Back to Back testing

• Development support tools (ICE, emulators, debuggers, etc.)

CasePlayer2 is an easy-to-use reverse CASE tool for embedded software. It has none of the usability issues common with other tools, such as restrictions on how source code can be written or being unable to use features immediately due to warnings or errors during analysis. You can simply register the source code you want to analyze, and it will instantly generate the necessary program analysis documents.

• Development support tools (ICE, emulators, debuggers, etc.)

By collaborating with "Coverage Master winAMS," which has execution time measurement functionality, it is possible to verify the allowable overhead of microcontroller control time caused by the increase in software scale due to derivative development and feature additions during the unit testing phase of functions.

• Development support tools (ICE, emulators, debuggers, etc.)

We perform static analysis of C source code, generate and visualize race conditions of external variables in charts, contributing to the efficiency and quality of reviews. - Supports function pointers/pointer variables - Addresses variable interference between multi-core cores - Analyzes mutual exclusion control by specifying interrupt disable/enable functions - Automatically generates review sheets for shared variables

• Development support tools (ICE, emulators, debuggers, etc.)

"PROMPT" is a tool that automatically generates highly comprehensive test vectors for model coverage in a short time, as a subset of MATLAB/Simulink, for large and complex models. It addresses the challenge of "test data generation for large and complex models" in model-based development (MBD) using MATLAB/Simulink, thereby contributing to the development of ECU software for onboard systems with "high safety and high reliability." *Joint research and development product with JAIST (Japan Advanced Institute of Science and Technology).

• Development support tools (ICE, emulators, debuggers, etc.)

This is a modeling tool that supports the design of safety concepts and facilitates smooth information sharing between designers and developers. It adopts the Safety Concept Description Language (SCDL), which is based on specifications and standards established by the "Safety Concept Notation Research Group SCN-SG." Safety concepts can be described using an editor with block diagrams, promoting common consensus and sharing. **Features** Safilia is designed for use by product development department designers during the design phase of the V-model process when designing safety concepts. It communicates and shares safety concepts within departments and organizations using a unified notation. If safety evaluations reveal deficiencies in safety design after the prototype model is completed, due to insufficient communication of design intentions based on safety concepts, significant "rework" may occur, such as changes to specifications or the design itself. By enabling early development and evaluation of safety design using standardized notation, Safilia can prevent significant losses caused by rework.

• Development support tools (ICE, emulators, debuggers, etc.)

This is a security analysis tool that adopts a threat analysis method centered around attack trees, which is widely used as a threat analysis technique. It is available for secure development processes equivalent to ISO 26262's Part 3 (Safety Concept), Part 4 (System Level Development), Part 5 (Hardware Development), and Part 6 (Software Development), enabling analysis that focuses not only on security analysis but also on the interactions between safety analysis and security analysis.

• Development support tools (ICE, emulators, debuggers, etc.)
• Other security

This is a testing service centered on unit testing of embedded software, based on the concept of "S=Speed, Q=Quality, V=Value." We provide high-quality verification services based on our expertise as a language analysis and testing tool manufacturer for customers who want to confirm the quality of their modules through unit testing but lack sufficient resources for unit testing tasks or have no know-how regarding test design and coverage verification. We also support the creation of evidence and test reports that meet the testing standards required by automotive functional safety ISO 26262. In response to customer demands, we have a flexible and rapid global resource procurement system to accommodate short-term testing, and we not only deliver test results but also provide advice on improving your test design and code design as a testing partner.

• Embedded system design service

Unit Test On The Track is an embedded software quality improvement solution that provides necessary consulting, technical support, and essential unit testing tools as a package to ensure the quality of embedded software.

• Development support tools (ICE, emulators, debuggers, etc.)

Gaio supports the creation of models that serve as the foundation for model-based development! In automotive software development and machine control system development, "model-based development" using MATLAB/Simulink has become prevalent with the aim of improving quality and enhancing development efficiency. However, to advance this model-based development, it is necessary to convert traditional legacy code into Simulink models as assets. Gaio offers this model preparation work as a service for model-based development.

• Embedded system design service