Permet aux applications de générer et de vérifier des preuves de proximité pour des opérations de diagnostic SOVD protégées.
GÉNÉRÉ PAR IAnon vérifiéModèle : gemini-3.8-flash-medium · Effort : medium · Température : non réglable · Prompt : 7c7c088635a6ProvenanceQuestions ouvertes (2)
traduit du guide allemandgemini-3.8-flash-low · 2026-10-13 · Original allemand
Permet aux applications de générer et de vérifier des preuves de proximité pour des opérations de diagnostic SOVD protégées.
Dans l'AUTOSAR Adaptive Platform, la classe d'interface sert à implémenter des contrôles de proximité pour les opérations SOVD dans l'environnement de diagnostic [SWS_DM_01481]. Les applications dérivent de cette classe, activent le routage par le Diagnostic Management via Offer() et fournissent de manière asynchrone le challenge requis ainsi que sa validation ultérieure [SWS_DM_01478]. Les appels concurrents des méthodes de validation dépendent du mode de concurrence choisi lors de la construction, tandis que l'enregistrement et la destruction ne sont pas thread-safe.
Contexte
Dans l'AUTOSAR Adaptive Platform, la classe ara::diag::SovdProximityChallenge[SWS_DM_01481] sert à l'implémentation côté application de l'interface pour les preuves de proximité (Proximity Challenge) dans l'environnement Service-Oriented Vehicle Diagnostics (SOVD). Elle forme le pont entre l'AUTOSAR Diagnostic Management (DM ou Diagnostic Server) et l'application véhicule proprement dite, qui fournit la logique de sécurité pour les vérifications de proximité physiques ou cryptographiques AUTOSAR_AP_SWS_Diagnostics §8.56 « Providing the SOVD operation proximity_challenge ». Si une opération SOVD est configurée pour exiger une preuve de proximité (l'attribut proximityProofRequired est TRUE), le Diagnostic Management demande un challenge à l'application lors du traitement d'une requête de diagnostic et fait vérifier la réponse transmise par le client [SWS_DM_01398]. Trois parties principales participent à cet ensemble : le client SOVD externe, le Diagnostic Management faisant office d'intermédiaire et l'application utilisatrice.
L'instanciation de la classe de gestionnaire s'effectue via le constructeur SovdProximityChallenge[SWS_DM_01480]. Celui-ci lie l'instance à un ara::core::InstanceSpecifier défini dans le manifeste et détermine, via le paramètre ConcurrencyType, si l'exécution ultérieure s'effectuera de manière concurrente (kConcurrent) ou séquentielle (kNotConcurrent). Le constructeur lui-même est spécifié comme thread-safe [SWS_DM_01480]. Après la création de l'objet, le gestionnaire se trouve initialement à l'état passif. Ce n'est que par l'appel explicite de Offer()[SWS_DM_01478] que le Diagnostic Management est autorisé à relayer les requêtes à l'instance de l'application.
Le relayage peut être désactivé à tout moment au moyen de StopOffer()[SWS_DM_01495]. Ni Offer(), StopOffer() ni le destructeur virtuel ~SovdProximityChallenge()[SWS_DM_01479] ne sont thread-safe. Interprétation : avant la destruction de l'objet, il devrait être nécessaire d'appeler StopOffer() afin d'empêcher tout relayage vers un objet en cours de destruction. Question Q-b4c66854163f433e (ouverte) De plus, dans la pratique, une instance d'application devrait typiquement être conservée pendant toute la durée d'exécution du processus de diagnostic afin de sécuriser en continu les opérations SOVD. La sécurité des threads des méthodes d'interrogation et de validation proprement dites GetChallenge()[SWS_DM_01494] et ValidateResponse()[SWS_DM_01493] est contrôlée par le ConcurrencyType transmis dans le constructeur.
Parcours d'utilisation
Après une initialisation et une mise à disposition du service réussies au moyen de Offer()[SWS_DM_01478], la classe réagit aux requêtes du Diagnostic Management. Si un client SOVD demande une opération protégée, le DM appelle la méthode purement virtuelle GetChallenge()[SWS_DM_01494]. L'application génère le jeton de proximité et le renvoie de manière asynchrone avec l'échéance de validité (valid_until) via un ara::core::Future<SovdProximityChallengeType>[SWS_DM_01494]. Par défaut, il est supposé qu'il n'existe à tout moment qu'un seul challenge, valable pour tous les clients et toutes les opérations, sa durée de vie étant typiquement fixée (par ex. à deux minutes) de façon fixe AUTOSAR_AP_SWS_Diagnostics §8.56 « Providing the SOVD operation proximity_challenge ». Pour des scénarios plus complexes, l'application peut évaluer l'objet ara::diag::MetaInfo transmis afin d'effectuer des vérifications spécifiques au client ou à l'opération AUTOSAR_AP_SWS_Diagnostics §8.56 « Providing the SOVD operation proximity_challenge ».
Le Diagnostic Management transmet l'attribut proximity_challenge dans le corps de réponse au client [SWS_DM_01398]. Si le client répond avec une preuve de proximité, le DM relaie ces données via ValidateResponse()[SWS_DM_01493]. La zone mémoire transmise proximityResponse reste valide jusqu'à ce que le ara::core::Future<ProximityChallengeValidationResultType> retourné soit satisfait ou que le traitement soit interrompu [SWS_DM_01493]. Avant l'arrêt du processus, le service est désenregistré via StopOffer()[SWS_DM_01495].
Dès la création de l'objet via le constructeur [SWS_DM_01480], le framework vérifie la cohérence du modèle et peut signaler les violations suivantes : InstanceSpecifierMappingIntegrityViolation (l'identifiant ne peut pas être résolu ou ne renvoie pas à un prototype de port), PortInterfaceMappingViolation (le prototype de port n'est pas typé en tant que DiagnosticSovdProximityChallengeInterface), ProcessMappingViolation (aucun processus modélisé correspondant trouvé) ou InstanceSpecifierAlreadyInUseViolation (l'identifiant est déjà utilisé dans le processus) [SWS_DM_01480].
Lors de l'appel de Offer()[SWS_DM_01478], le ara::core::Result<void> résultant fournit en cas d'erreur des codes d'erreur standardisés : DiagOfferErrc::kAlreadyOffered si le service est déjà activement proposé pour ce port, ou DiagOfferErrc::kConfigurationMismatch si la configuration du moniteur ne concorde pas avec le DEXT. Aucun code d'erreur standardisé n'est défini pour GetChallenge()[SWS_DM_01494] et ValidateResponse()[SWS_DM_01493]. Toutes les fonctions membres de la classe sont déclarées comme noexcept et garantissent la sécurité vis-à-vis des exceptions.
Ce guide est basé sur la spécification AUTOSAR Adaptive Platform Release R25-11.
This Offer will enable the DM to forward request messages to this handler.
GÉNÉRÉ PAR IAnon vérifiéModèle : gemini-3.8-flash-medium · Effort : medium · Température : non réglable · Prompt : f009f89ccf76ProvenanceQuestions ouvertes (1)
traduit du guide allemandgemini-3.8-flash-low · 2026-10-13 · Original allemand
La méthode synchrone Offer de la classe ara::diag::SovdProximityChallenge (définie dans #include "ara/diag/sovd_proximity_challenge.h") enregistre le handler auprès du Diagnostic Management (DM) et permet à celui-ci de router les messages de requête entrants (request messages) vers l’instance du handler [SWS_DM_01478]. L’appel s’effectue sans paramètre et est spécifié avec noexcept[SWS_DM_01478].
ara::core::Result<void>[SWS_DM_01478] sert de valeur de retour. En cas d’erreur, la méthode renvoie un code d’erreur spécifique avec une sémantique de rollback [SWS_DM_01478] :
DiagOfferErrc::kAlreadyOffered : le service a déjà été proposé via l’instance [SWS_DM_01478].
DiagOfferErrc::kConfigurationMismatch : la configuration du handler ne correspond pas aux données DEXT [SWS_DM_01478].
En matière de sécurité d’exécution, la méthode est déclarée exception safe, mais est explicitement considérée comme not thread-safe[SWS_DM_01478]. Les appels parallèles sur la même instance doivent donc être synchronisés par l’application appelante. Le modèle de mise à disposition correspond au principe uniforme d’activation des handlers DM, tel qu’il est également appliqué entre autres pour ara::diag::GenericRoutine[SWS_DM_00557], ara::diag::GenericUDSService[SWS_DM_00619] et ara::diag::CommunicationControl[SWS_DM_00809]. Interprétation : tant que Offer n’a pas été exécuté avec succès, le DM ne transmet probablement pas les requêtes pour le challenge de proximité au handler. Question Q-320a80aca81ef460 (ouverte)
Cette note d'utilisation a été générée de manière automatisée sur la base d'AUTOSAR R25-11.
InstanceSpeci- InstanceSpecifier either cannot be resolved in the model in the fierMappingIn- context of your executable, or it refers to a model element other tegrityViolation than a PortPrototype.
PortInterfaceMap- A PortPrototype that is referenced by a pingViolation DiagnosticSovdProximityChallengePortMapping needs to be typed by a DiagnosticSovdProximityChallengeInterface. ProcessMappingVio- Matching InstanceRef exists, but no matching (modelled) Process lation found that matches the (runtime) process. InstanceSpecifier- Violation message that is sent in case a constructor in the ara AlreadyInUseViola- framework was called with an InstanceSpecifier already in use in tion this process.
Parameter (in)
Parameter
Beschreibung
instanceSpecifier
InstanceSpecifier to a PortPrototype of a DiagnosticSovdProximityChallengeInterface service instance in the manifest.
concurrencyType
Specifies if the interface is implemented as thread safe ( kConcurrent) or non-thread safe (kNotConcurrent).
Request a governed re-review of this record. The record is not changed immediately.
This StopOffer will disable the forwarding of request messages from DM.
GÉNÉRÉ PAR IAnon vérifiéModèle : gemini-3.8-flash-medium · Effort : medium · Température : non réglable · Prompt : d973f1eccf91ProvenanceQuestions ouvertes (1)
traduit du guide allemandgemini-3.8-flash-low · 2026-10-13 · Original allemand
La méthode StopOffer de la classe ara::diag::SovdProximityChallenge désactive le routage des messages de requête provenant du Diagnostic Management (DM) vers cette instance de service ([SWS_DM_01495]). L’interface est fournie via l’en-tête ara/diag/sovd_proximity_challenge.h.
Utilisation et contexte d’exécution
La fonction est appelée de manière synchrone, n’accepte aucun paramètre d’entrée et ne possède aucune valeur de retour ([SWS_DM_01495]). Après son exécution, le DM ne transmet plus aucune requête relative au challenge de proximité à l’application.
Traitement des erreurs et sécurité vis-à-vis des exceptions
La méthode est déclarée comme noexcept et est totalement sûre vis-à-vis des exceptions (exception safe) ([SWS_DM_01495]). Aucun état d’erreur ni code d’erreur spécifique n’est prévu pour cet appel.
Concurrence et cycle de vie
Concernant l’exécution, StopOffer est expressément spécifiée comme non sécurisée pour les threads (not thread-safe) ([SWS_DM_01495]). Les appels parallèles sur la même instance doivent être synchronisés côté appelant. Interprétation : l’appel devrait typiquement avoir lieu lors de l’arrêt du composant ou lorsque la vérification du challenge de proximité est temporairement suspendue. Question Q-7b8910a8d5f6dc05 (ouverte)
Interaction dans le Diagnostic Management
La démarche suit le modèle uniforme de désactivation du Diagnostic Management, tel qu’il est également utilisé de manière comparable pour ara::diag::CommunicationControl ([SWS_DM_00810]), ara::diag::DownloadService ([SWS_DM_00793]), ara::diag::EcuResetRequest ([SWS_DM_01017]) ou ara::diag::Monitor ([SWS_DM_01089] ; voir AUTOSAR_AP_SWS_Diagnostics §7.3.4.1.2 « Monitors ») afin de contrôler le flux de messages de diagnostic.
Cette note d'utilisation a été générée automatiquement sur la base de la spécification AUTOSAR R25-11.
This function validates the proximity response sent by the client.
GÉNÉRÉ PAR IAnon vérifiéModèle : gemini-3.8-flash-medium · Effort : medium · Température : non réglable · Prompt : 0179eb4520d7ProvenanceQuestions ouvertes (1)
traduit du guide allemandgemini-3.8-flash-low · 2026-10-13 · Original allemand
La méthode purement virtuelle ara::diag::SovdProximityChallenge::ValidateResponse sert à la validation d'une réponse de proximité transmise par le client [SWS_DM_01493]. L'instance de Diagnostic Server appelle cette méthode dès qu'un corps de requête SOVD contient l'attribut proximity_response[SWS_DM_01395], comme par exemple lors de requêtes visant à mettre fin à l'exécution d'une opération [SWS_DM_01391]. Sont transmis le span d'octets proximityResponse ainsi que l'objet de contexte metaInfo[SWS_DM_01493]. Ce dernier permet à l'application d'effectuer au besoin des contrôles spécifiques au client ou à l'opération SWS Diagnostics p. 215. Le résultat de la validation est fourni de manière asynchrone via un ara::core::Future<ProximityChallengeValidationResultType>[SWS_DM_01493].
L'interface est déclarée comme noexcept et sûre vis-à-vis des exceptions (exception safe) [SWS_DM_01493]. Aucun code d'erreur standardisé n'est prédéfini [SWS_DM_01493]. Interprétation : un échec de la validation de proximité devrait être représenté via le type de retour ProximityChallengeValidationResultType ou le canal d'erreur du future. Question Q-1be6378537b59f2b (ouverte)
Concernant la concurrence, la sécurité des threads est conditionnelle (conditional) : le fait que l'implémentation doive être thread-safe est contrôlé via le ConcurrencyType défini dans le constructeur [SWS_DM_01493]. Les données transmises dans le tampon proximityResponse restent valides jusqu'à ce que la promise associée soit satisfaite ou que le traitement soit interrompu par un CancellationHandler [SWS_DM_01493].
La fonction interagit avec la fourniture du challenge via GetChallenge[SWS_DM_01398]. Ce n'est qu'après une validation réussie de la réponse de proximité que le serveur exécute les actions demandées, telles que l'interruption d'une opération via Terminate sur la SovdOperationExecution[SWS_DM_02179].
Cette note d'utilisation a été générée automatiquement sur la base de la spécification AUTOSAR Adaptive R25-11.
gemini-3.8-flash-low· 2026-10-13 · Original allemand