Méthodes formelles et techniques de validation pour garantir la sécurité des systèmes automobiles - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Méthodes formelles et techniques de validation pour garantir la sécurité des systèmes automobiles

Résumé

La complexité croissante et la connectivité des systèmes automobiles suscitent des inquiétudes quant à leur vulnérabilité aux atteintes à la sécurité. Par conséquent, l'intégration de méthodes formelles et de techniques de validation est devenue cruciale pour garantir la sécurité des systèmes automobiles. Cet article de recherche vise à fournir un aperçu complet des méthodes formelles et des techniques de validation de pointe actuellement utilisées dans l'industrie automobile pour la sécurité des systèmes. L'article commence par discuter des défis associés à la sécurité des systèmes automobiles et des conséquences potentielles des atteintes à la sécurité. Ensuite, il explore différentes méthodes formelles, telles que la vérification de modèles, la démonstration de théorèmes et l'interprétation abstraite, qui ont été largement utilisées pour analyser et vérifier les propriétés de sécurité des systèmes automobiles. De plus, l'enquête met en évidence les techniques de validation utilisées pour garantir l'efficacité des mesures de sécurité, notamment les tests de pénétration, l'injection de fautes et les tests de fuzz. En outre, l'article examine l'intégration de méthodes formelles et de techniques de validation dans le cycle de développement automobile, y compris les phases d'ingénierie des exigences, de conception, de mise en oeuvre et de test. Il aborde les avantages et les limites de ces approches, en tenant compte de facteurs tels que l'évolutivité, l'efficacité et l'applicabilité aux systèmes automobiles réels. Grâce à une revue approfondie de la littérature pertinente et d'études de cas, cette enquête offre un aperçu des tendances actuelles de la recherche, des défis et des questions de recherche ouvertes dans le domaine des méthodes formelles et des techniques de validation pour la sécurité des systèmes automobiles. Les résultats de cette enquête peuvent constituer une ressource précieuse pour les chercheurs, les praticiens et les décideurs impliqués dans la conception, le développement et l'évaluation de systèmes automobiles sécurisés. Méthodes formelles et techniques de validation pour garantir la sécurité des systèmes automobiles
Fichier principal
Vignette du fichier
Hal__Méthodes_formelles_et_techniques_de_validation_pour_garantir_la_sécurité_des_systèmes_automobiles.pdf (384.7 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04371620 , version 1 (03-01-2024)

Identifiants

  • HAL Id : hal-04371620 , version 1

Citer

Moez Krichen. Méthodes formelles et techniques de validation pour garantir la sécurité des systèmes automobiles. 2024. ⟨hal-04371620⟩
157 Consultations
73 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More