September 26, 2016
Hitachi and Hitachi Automotive Systems develop an automated safety requirement verification technique for automotive control systems
Hitachi, Ltd. and Hitachi Automotive Systems, Ltd. today announced the co-development of technology that automatically verifies safety requirements for automotive control systems with computers by coding requirement specifications to simplify and unify expressions in the verification process conducted by car manufacturers and automotive suppliers. This technique enables the time required to verify that all the safety requirements are present to be reduced to one-tenth.
When this technique was applied to an Electric Power Steering (EPS) system, an automotive control system, it was confirmed that the technique can describe and verify all requirements that appeared in the safety requirement specification for the EPS. Furthermore, the volume of the description was decreased by 30% compared to the original description in English, and verification time was decreased from 60 minutes for an inspection to 6 minutes for automatic verification by a computer. The technique was reviewed a third-party testing and certification company, TÜV SÜD, and found to be effective in conforming to ISO 26262.
Safety requirements
