GAIO will attend the exhibition show ‘Embedded World 2019’

GAIO will attend the exhibition show ‘Embedded World 2019’


GAIO will attend the exhibition show 'Embedded World 2019' held at Fachmesse in Nuremberg, Germany.

Overview


GAIO will attend the exhibition show 'Embedded World 2019'


GAIO will attend the exhibition show 'Embedded World 2019' held at Fachmesse in Nuremberg, Germany.
We will display our new tool Shared Variable automatic analysis tool 'Shared Variable Checker2', the MBD Back-to-Back test tool 'MC-Verifier', the ISO 26262 safety concept design tool 'Safilia', and the security risk assessment tool 'SecuLia'.

  Date: 26 - 28/Feb/2019
  At: Exhibition Centre Nuremberg, Germany
  GAIO TECHNOLOGY's Booth : 「4-408, Hall 4」

【Embedded World 2019 Official Web Page : GAIO TECHNOLOGY】

Visit us at GAIO's booth!

GAIO will also have a presentation at the Exhibitor's Forum.

'Shared Variable Checker 2: How to statically detect Race Conditions
  and create Data Access and Call graphs on C Code'

      Date/Time/Place : To Be Determined

 

GAIO's Booth Location


GAIO's Exhibitions


「Shared Variable Checker2」New

*Graphically visualize Read/Write accesses to Shared Variables (Global) to improve software’s understanding and quality
*Expose Variable interference according to Task/Interrupt Priorities
*Analyze variables accessed through Pointers

Shared Variable Checker2 is a tool to visualize global variable accesses within tasks and functions. The tool graphically displays variable race conditions and relationships and contributes to identifying code defect risk points.
The tool is used together with our static analysis and document creation tool CasePlayer2.

Shared Variable Checker2 Information(Japanese page)
https://www.gaio.co.jp/products/svc2


 


「MC-Verifier」

* Back-to-Back (B2B) Test Tool for meeting ISO 26262 requirements
* Model-to-Model, Model-to-Software, Model-to-Target-Code B2B Testing
* Identify test error location (subsystem) on Simulink model
* Trace test errors over time on Simulink model
* Code Coverage (Statement, Branch, MC/DC)
* Certified by TUV SUD as a tool that meets the ISO 26262 and IEC 61508 standards

MC-Verifier is an integrated test tool for performing model-based development Back-to-Back testing required by ISO 26262 functional safety standard.
Debug and verify consistency between model, software, and target code implementation at a variety of development phases.

MC-Verifier Information
https://www.gaio.com/product/dev_tools/pdt_mcv.html


「Safilia」

* Safety concept modeling tool for ISO 26262
* Based on 'Safety Concept Description Language' (SCDL)
* Graphical block diagramming feature
* Clearly share safety concept information between designers and developers

Safilia is a safety concept modeling tool based on the 'Safety Concept Description Language' specification defined by Safety Concept Description Working Group (SCN-SG).
Safilia has a graphical block diagramming feature that enables to share the information about safety concepts between designers and developers.

Safilia Information
https://www.gaio.com/product/dev_tools/pdt_safilia.html


「SecuLia」

* Adopt the widely used threat analysis "Attack Tree" method
* Support the association method of the FTA and ATA mutual analysis
* In addition to security analysis, perform analysis with a focus on mutual influence of the security and safety analysis

SecuLia is a security risk assessment tool based on "Attack Tree" analysis method.
Applicable to ISO 26262's Part 3 (safety concept), Part 4 (system-level development), Part 5 (hardware development), Part 6 (software development) and equivalent secure development processes.

SecuLia Information(Japanese page)
https://www.gaio.co.jp/iso/seculia


Picture at GAIO booth last year