G Cyber Channel is streaming daily!

ISO 26262 compliant safety concept design tool for SCDL

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.)

Automatically generate test data with high model coverage in a short time.

"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.)

Achieving a reduction in rework man-hours in "performance verification"!

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 promise speed, quality, and value - a test partner you can rely on.

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

ISO 26262 Compliant Security Threat Analysis Support Tool

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

Automation of program visualization and documentation, a strong "ally" for code reviews.

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.)

Coverage measurement tool 'used by everyone' for embedded software development unit testing

"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.)

Don't miss the competition! Visualize variable access.

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.)

Although I have heard that verification efficiency at the RTL stage improves with verification methodologies using SystemVerilog such as UVM, many designers may not fully understand what can be done with SystemVerilog and how to use it. In this seminar, we will introduce the basic functions and usefulness of SystemVerilog verification using a sample design. 1. Design Overview 2. UART Test Environment 3. Assertions (SVA & PSL) 4. Functional Coverage 5. Random Test Bench 6. DPI-C

The RTCA/DO-254 guidance recommends that applicants define and implement HDL coding standards. This work begins with a planning process that includes the definition of the standard, how it will be implemented, and, if the process is automated, the evaluation methods for tools or results. A key issue is that the guidance does not have clearly defined formal standards, leading to questions about how to conduct a detailed review of HDL code. In this webinar, we will demonstrate the use of ALINT-PRO to enforce coding standards and highlight the benefits of streamlining the overall design review to meet the objectives of DO-254.

[Speaker] Takahiro Tachikawa, President of International University and Professor at the Graduate School of International Management [Key Lecture Content] In February of this year, the 7th Energy Basic Plan was approved by the Cabinet. What is the essence of this plan that the media and others do not convey? How will this plan impact the development and social implementation of hydrogen, ammonia, and next-generation fuels (synthetic methane, synthetic liquid fuels, green LP gas, etc.)? This lecture will delve into these points. In particular, it will focus on the content of the risk scenario, which is viewed as the main scenario among stakeholders in the energy industry, and the newly defined role of natural gas as an "important energy source even after achieving carbon neutrality." [Lecture Items] 1. The 7th Energy Basic Plan 2. Hydrogen 3. Ammonia 4. Synthetic Fuels 5. Risk Scenario 6. Natural Gas Shift 7. Q&A / Business Card Exchange

[Lecturer] Professor Shiro Kawabata, Faculty of Science and Technology, Hosei University [Key Lecture Content] Prime Minister Ishiba has positioned 2025 as the inaugural year for the industrialization of quantum technology and has indicated a policy to strengthen support for the industrialization of quantum technology. Additionally, at the G7 Summit held in Canada in June 2025, a joint statement titled "Joint Statement on the Future of Quantum Technology," focusing on quantum technology centered around quantum computers, was adopted. Quantum computers are computers that utilize principles of quantum mechanics, such as superposition and quantum entanglement, for information processing. By using quantum computers, it becomes possible to solve several mathematical problems, such as factorization, machine learning, quantum chemistry calculations, finance, and linear simultaneous equations, exponentially faster compared to classical computers. As a result, major global corporations and startups are globally expanding their development and business in quantum computer hardware and software. This seminar will introduce the basics of quantum computers, the latest research and development trends, business trends, technical challenges, and future prospects.

[Speaker] Shintaro Kobayashi, Group Manager, ICT and Content Industry Consulting Department, Nomura Research Institute, Ltd. [Key Lecture Content] The Personal Information Protection Law is undergoing fundamental changes to promote AI development. The Personal Information Protection Commission has proposed a shift towards a risk-based system where companies voluntarily address risks. A key feature of this new system is the establishment of a framework that allows the use of personal information for AI development without the need for individual consent. In this lecture, based on the policy of legal reform, we will carefully explain the points for advancing data utilization by leveraging the legal benefits of the new system, as well as how to establish privacy governance that should drive these efforts, incorporating specific initiatives and examples of solutions. [Lecture Items] 1. Trends in the amendment of the Personal Information Protection Law 2. Practical methods for utilizing personal information without individual consent 3. PETs for safely utilizing AI 4. Achieving governance efficiency and sophistication through AI 5. Q&A / Business card exchange