GAIO attended ‘Embedded World 2019’

GAIO attended ‘Embedded World 2019’


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

exhibition view

 

Exhibitors Forum


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

 「Watch the video including presentation」
 https://events.techcast.com/embedded-world/2019/mi-halle3a-1530/

 

Overview


GAIO attended the exhibition show 'Embedded World 2019'


GAIO attended the exhibition show 'Embedded World 2019' held at Fachmesse in Nuremberg, Germany.
We displayed 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】

GAIO has a presentation at the Exhibitor's Forum.

        Date/Time : 27 Feb.2019 15:30~16:00
        Exhibitors Forum : Hall 3A-730

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

       Speaker : Amselem Arnaud

Presentation Exhibitor´s Forum

 

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


 

 

 




scroll back to page top