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

From February 11 (Wednesday) to February 13 (Friday), Mikasa Trading Co., Ltd. will sponsor the technology conference "JANOG57 Meeting in Osaka" held at the Congre Convention Center. This event provides an open platform for field engineers to freely discuss and share the latest network technologies, practical operational know-how, and case studies of failures. This time, we will be exhibiting a booth in collaboration with Western Digital Marketing LLC, showcasing innovative storage solutions such as the "Ultrastar Data60" and HDDs with a maximum capacity of 30TB. The Ultrastar Data60 is recognized for its ability to efficiently accommodate up to 60 high-quality HDDs while achieving large capacity, low cost, and space-saving design. Additionally, we will display mobile label printers made by Brady Japan at our booth. You will have the opportunity to see products that are actively used in infrastructure development and data management up close. Don't miss this chance to experience the technologies that support the future! We look forward to seeing you at the venue.

Cancer Biomarker Discovery 2026 is an online seminar focused on the latest biomarker discovery and analysis technologies in the field of cancer research. Advanced technologies that support the understanding, diagnosis, and treatment research of cancer, such as liquid biopsy, proteomics, and spatial omics analysis, will be introduced. This seminar primarily targets basic and clinical researchers involved in cancer research, as well as those interested in biomarker discovery and analysis. In our section, we will introduce the latest techniques in fluorescent imaging for spatial biology and spatial proteomics research, centered around the Invitrogen EVOS S1000 Spatial Imaging System. Unlike traditional microscopy, which is limited in multiplex immunostaining, our spectral unmixing technology enables simultaneous imaging of up to 9 colors, allowing for rapid data acquisition with minimized sample damage. Additionally, we will explain a practical workflow using direct conjugate antibodies and TSA-based Invitrogen Aluora amplification reagents, proposing high-reproducibility analysis methods that leverage spatial information. For research use only. Not for diagnostic use.

In spatial biology/spatial proteomics research, the coexistence of "high-quality multiplex fluorescence image acquisition" and "reliable quantitative analysis" is becoming increasingly important. This webinar, co-hosted by Thermo Fisher Scientific and Indica Labs, will introduce a practical workflow that allows for a comprehensive understanding from imaging to analysis. Recommended for: - Those interested in spatial biology/spatial proteomics research who want to systematically understand the entire process from imaging to analysis. - Those who are already conducting or considering the implementation of multiplex imaging (multiplex immunostaining). - Those who feel limited by traditional four-color fluorescence observation and wish to engage in higher-dimensional spatial information analysis. This is a free seminar, so please join us. *For research use only. Not for diagnostic use.

[Speaker] Naoki Eguchi, Attorney at Baker McKenzie [Lecture Topics] 1. Utilization of Storage Batteries (1) Storage Batteries for Renewable Energy Integration (2) Grid-Side Storage Batteries (3) Hybrid Power Generation with Solar, Wind, and Storage Batteries 2. Positioning of Grid-Side Storage Batteries 3. Subsidies for Grid-Side Storage Batteries / Long-Term Decarbonization Power Source Auctions 4. Practical Aspects and Contracts for Grid-Side Storage Batteries - Offtake Model, Merchant Model 5. Current Status of Corporate PPAs (Overseas and Japan) 6. Types of Corporate PPAs (Physical and Virtual) 7. Contracts for Corporate PPAs 8. Corporate PPAs and Project Finance 9. Q&A / Business Card Exchange

[Instructor] Professor at Waseda University Graduate School of Political Science and Economics / Director of the Institute for Environmental Economic Management Visiting Researcher at Sciences Po Paris Faculty Fellow at the National Institute of Economic and Industrial Research Mr. Toshihide Arimura [Key Lecture Content] Starting in the fiscal year 2026, participation in the GX-ETS will become mandatory for some companies in Japan. Carbon costs will become an increasingly important factor in considering long-term value creation for businesses. This seminar will explain the impacts of the full-scale implementation of the GX-ETS on Japanese companies and the economy. Additionally, we will introduce the future outlook for the GX-ETS and the paths that should be taken, from the perspectives of comparison with overseas emissions trading systems and its economic significance.