NATICK, USA: The MathWorks announced that its Simulink Verification and Validation software automatically evaluates and verifies system models for compliance with DO-178B and IEC-61508 standards and ...