The model checker analyzes the Simulink model and produces a list of detailed findings displaying the places that do not comply with the standard.
Compliance with the modeling standard is required based on DO-178B or ISO 26262 and can be checked automatically with the tool.
Qualification based on DO-178B or ISO 26262 is available optionally.
The model checker tests the compliance of a Simulink model with another modeling standard. SILVER ATENA has defined its own modeling standard, which has been optimized for the high requirements of safety-relevant applications. Moreover, the tool can be used for and adapted to customer-specific modeling standards.
The model checker can be applied every time code is generated from Simulink models. The tool is especially applicable when the development standards require it, such as DO-178B or ISO 26262.