Events/Seminars
GAIO will attend ‘Embedded World 2020’
GAIO will attend the exhibition show 'Embedded World 2020'
held at Fachmesse in Nuremberg, Germany.
held at Fachmesse in Nuremberg, Germany.
Outline
| Date | 25 /Feb - 27 /Feb/2020 |
|---|---|
| At | Exhibition Centre Nuremberg, Germany |
| GAIO TECHNOLOGY's Booth | 4-616, Hall 4 |
GAIO's Booth Location
GAIO's Products
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.
PROMPT NEW!
Model-based development (MBD) using MATLAB/Simulink is widely used
in the development of software for electronic control units (ECUs)
that require high safety and reliability to be installed
in automotive systems, etc. One of the challenges is generating
test data for large and complex models. As a subset of the MATLAB/Simulink,
the PROMPT automatically generates model-coverage-exhaustive test vectors
for large and complex models in a short time.
※ Jointly developed with JAIST (Japan Advanced Institute of Science and Technology)
Model-based development (MBD) using MATLAB/Simulink is widely used
in the development of software for electronic control units (ECUs)
that require high safety and reliability to be installed
in automotive systems, etc. One of the challenges is generating
test data for large and complex models. As a subset of the MATLAB/Simulink,
the PROMPT automatically generates model-coverage-exhaustive test vectors
for large and complex models in a short time.
※ Jointly developed with JAIST (Japan Advanced Institute of Science and Technology)
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 modeling tool that supports safety concept design
and facilitates information sharing between designers and developers.
The Safety Concept Description Language (Safety Concept Description Language(SCDL)
is based on specifications and standards developed by the Safety Concept Notation
Study Group SCN-SG. Editors with block diagrams can describe safety concepts
and promote common agreements and sharing.
* 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 modeling tool that supports safety concept design
and facilitates information sharing between designers and developers.
The Safety Concept Description Language (Safety Concept Description Language(SCDL)
is based on specifications and standards developed by the Safety Concept Notation
Study Group SCN-SG. Editors with block diagrams can describe safety concepts
and promote common agreements and sharing.
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.
* 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.
CasePlayer2
* Creates program documents by analyzing source code
* Improves software reliability of newly developed source code
* Aids understanding of existing software resources
* Certified by TUV SUD as a tool that meets ISO 26262 standard
CasePlayer2 is an integrated reverse CASE tool that can create program documents
such as flowcharts and MISRA-C reports from analyzing the source code.
It includes a Document Browser for easy access to the program documentsand source code for review.
* Creates program documents by analyzing source code
* Improves software reliability of newly developed source code
* Aids understanding of existing software resources
* Certified by TUV SUD as a tool that meets ISO 26262 standard
CasePlayer2 is an integrated reverse CASE tool that can create program documents
such as flowcharts and MISRA-C reports from analyzing the source code.
It includes a Document Browser for easy access to the program documentsand source code for review.
SharedVariableChecker2
*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
SharedVariableChecker2 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.
*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
SharedVariableChecker2 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.
CoverageMaster winAMS
* Target code based embedded C/C++ software unit test tool
* Unit testing on actual MPU target code using instruction set simulator
* Automatically create input test data for C1 & MC/DC coverage
* Certified by TUV SUD as a tool that meets the ISO 26262 and IEC 61508 standards
CoverageMaster winAMS is an automated embedded software unit testing
tool that executes the target MPU device's code for achieving reliable
testing results. The standard coverage modes C0, C1, and MC/DC required
by Automotive Functional Safety Standard ISO 26262 are fully supported.
* Target code based embedded C/C++ software unit test tool
* Unit testing on actual MPU target code using instruction set simulator
* Automatically create input test data for C1 & MC/DC coverage
* Certified by TUV SUD as a tool that meets the ISO 26262 and IEC 61508 standards
CoverageMaster winAMS is an automated embedded software unit testing
tool that executes the target MPU device's code for achieving reliable
testing results. The standard coverage modes C0, C1, and MC/DC required
by Automotive Functional Safety Standard ISO 26262 are fully supported.
Plas-Qlite NEW!
* Software performance measurement tool not requiring actual hardware
* Performance measurement using a microcomputer simulator
* Automation of whole process from creation of measurement data to measurement execution
* Latency can be customized
* Software performance measurement tool not requiring actual hardware
* Performance measurement using a microcomputer simulator
* Automation of whole process from creation of measurement data to measurement execution
* Latency can be customized
