FUNCTIONAL SAFETY SOFTWARE IMAGE INTEGRITY VERIFIER

Various embodiments include methods and devices for generating and verifying a software image with a safety feature. Embodiments may include generating a safety feature from a first software image, and generating a second software image including the safety feature. Embodiments may include, retrieving a first safety feature from a software image with the first safety feature, calculating a second safety feature based on information relating to the software image with the first safety feature, comparing the first safety feature and the second safety feature, and verifying safety of the software image with the first safety feature in response to the first safety feature matching with the second safety feature. The methods and devices may be implemented in compliance with functional safety standards, such as ISO 26262 functional safety standards and, in compliance with Automotive Safety Integrity Level (ASIL) requirements, such as ASIL-D and/or ASIL QM requirements. Divers modes de réalisation comportent des procédés et des dispositifs permettant de générer et de vérifier une image logicielle présentant une caractéristique de sécurité. Des modes de réalisation peuvent consister à générer une caractéristique de sécurité à partir d'une première image logicielle, et à générer une seconde image logicielle comportant la caractéristique de sécurité. Des modes de réalisation peuvent consister à récupérer une première caractéristique de sécurité à partir d'une image logicielle présentant la première caractéristique de sécurité, à calculer une seconde caractéristique de sécurité sur la base d'informations relatives à l'image logicielle présentant la première caractéristique de sécurité, à comparer la première caractéristique de sécurité et la seconde caractéristique de sécurité, et à vérifier la sécurité de l'image logicielle présentant la première caractéristique de sécurité en réponse à la correspondance de la première caractéristique de sécurité avec la seconde caractéristique de sécurité. Les procédés et dispositifs peuvent être mis en œuvre conformément à des normes de sécurité fonctionnelle, telles que les normes de sécurité fonctionnelle ISO 26262 et, conformément à des exigences de niveau d'intégrité de la sécurité automobile (ASIL), telles que les exigences ASIL-D et/ou ASIL QM.