DEENESPTFRRUARHIKOZHNL

فئة apext::tsync::FVM

[SWS_TS_14197] Upstream: RS_TS_20072 لم يُستورد النص بعد

class FVM {...};

A freshness value management interface for ara::tsync.

Header-Datei#include "apext/tsync/fvm.h"
Forwarding-Header#include "apext/tsync/tsync_fwd.h"
Scopenamespace apext::tsync

دليل المستخدممولَّد بالذكاء الاصطناعي

تُوفِّر قيم الجِدة لمصادقة رسائل مزامنة الوقت المرسَلة والمستلَمة.
مُولَّد بالذكاء الاصطناعي غير مُراجَع النموذج: gemini-3.8-flash-medium · الجهد: medium · درجة الحرارة: غير قابل للتحكم · الموجّه: 88e47d85a572 المصدر أسئلة مفتوحة (2)
مترجم من الدليل الألمانيgemini-3.8-flash-low · 2026-10-13 · الأصل الألماني

تُوفِّر قيم الجِدة لمصادقة رسائل مزامنة الوقت المرسَلة والمستلَمة.

تُستخدم الفئة apext::tsync::FVM كواجهة للوحدة لتوفير قيم الجِدة لرسائل مزامنة الوقت المؤمَّنة [SWS_TS_14199]. وقبل الاستخدام التشغيلي، يجب تهيئة المثيل أولياً، حيث يمكن بعد ذلك الحصول على قيم الجِدة للإرسال وكذلك للتحقق من الرسائل المستلَمة [SWS_TS_14200]. وعند الاستلام، يتم تمرير قيم الجِدة المقتطعة مع عداد للمحاولات الفاشلة، وذلك لإعادة بناء القيمة الكاملة لفحص أداة المصادقة. تم تحديد جميع دوال الواجهة بأنها آمنة ضد الاستثناءات وآمنة للخيوط.

السياق

تمثل الفئة apext::tsync::FVM واجهة لـ Freshness Value Management ضمن الوحدة tsync في AUTOSAR Adaptive Platform. وتتمثل مسؤوليتها الأساسية في توفير قيم الجِدة (Freshness Values) الحالية لخدمة مزامنة الوقت ara::tsync، حتى يمكن تأمين الرسائل تشفيرياً ضد هجمات إعادة الإرسال والتزوير [SWS_TS_14198]، [SWS_TS_14199].

تعمل وظيفة TimeSync كطرف تفاعل مركزي، حيث تستدعي FVM لاسترجاع حاويات قيم الجِدة (apext::tsync::FVContainer) للرسائل المؤمَّنة الصادرة والمستلَمة [SWS_TS_14198]، [SWS_TS_14199]. يتم تضمين تصريح الفئة عبر ملف الترويسة #include "apext/tsync/fvm.h". جميع الدوال المحددة مُصرَّح عنها بأنها آمنة للخيوط وآمنة ضد الاستثناءات (noexcept)، بحيث يمكن إجراء الاستدعاءات بالتوازي من سياقات تنفيذ مختلفة لمزامنة الوقت [SWS_TS_14198]، [SWS_TS_14199]، [SWS_TS_14200].

دورة الحياة

تنقسم دورة الحياة الوظيفية لمثيل FVM إلى مرحلة تهيئة أولية صريحة تليها مرحلة التشغيل العملياتي:

  • التهيئة الأولية: قبل استخدام دوال الاستعلام، يجب استدعاء الدالة Initialize() [SWS_TS_14200]. وعند الاكتمال بنجاح، تُرجع ara::core::Result<void> فارغاً. وإذا فشلت التهيئة الأولية، فإنها تُرجع رمز الخطأ TsyncFvmErrc::kFVInitializeFailed مع دلالات التراجع (Rollback) [SWS_TS_14200].
  • حالة التشغيل: يُرجَّح أن تكون التهيئة الأولية الناجحة هي الشرط الضروري لكي تُعطي الطلبات اللاحقة لقيم الجِدة نتائج صالحة. سؤال Q-df4ee3e749313b94 (مفتوح) وبعد إتمام التهيئة الأولية، يظل المثيل في حالة التشغيل ويجيب على الطلبات الخاصة بمعرّفات قيم الجِدة المكونة.
  • التزامن: نظراً لأن جميع الدوال مميزة بالعلامة thread-safe، يمكن إجراء عمليات الوصول إلى قيم الجِدة للإرسال والاستلام بشكل متزامن دون آليات قفل خارجية [SWS_TS_14198]، [SWS_TS_14199].

مسار الاستخدام

يتضمن الترتيب النموذجي للاستدعاءات من قِبل مكون TimeSync التهيئة الأولية بالإضافة إلى التحديد المستمر لقيم الجِدة لمساري الإرسال والاستلام:

  1. التهيئة الأولية للخدمة: يقوم TimeSync عند بدء التشغيل بتنفيذ الدالة Initialize() ويتحقق من خلو ara::core::Result المرتجع من الأخطاء [SWS_TS_14200].
  2. إرسال الرسائل المؤمَّنة: قبل إرسال رسالة، يستدعي TimeSync الدالة GetTxFreshness() مع FreshnessValueID المعني [SWS_TS_14199]. يوفِّر الكائن FVContainer المستلَم قيمة الجِدة التي تُستخدم لحساب أداة المصادقة [SWS_TS_14199].
  3. استلام الرسائل المؤمَّنة: عند ورود رسالة، يستدعي TimeSync الدالة GetRxFreshness() ويمرر FreshnessValueID، والقيمة المقتطعة TruncatedFreshnessValue المتضمنة في الرسالة، بالإضافة إلى عدد محاولات المصادقة السابقة AuthVerifyAttempts [SWS_TS_14198]. تحدد FVM من ذلك قيمة الجِدة الكاملة للتحقق من أداة المصادقة [SWS_TS_14198].
التهيئة وتحديد قيمة الحداثة في TimeSyncTimeSyncFVMUse Case: InitialisierungInitialize()ara::core::Result<void>Use Case: إرسال رسالةGetTxFreshness(FreshnessValueID)ara::core::Result<FVContainer>Use Case: استقبال رسالةGetRxFreshness(FreshnessValueID, TruncatedFreshnessValue, AuthVerifyAttempts)ara::core::Result<FVContainer>

مخطط التتابع: التسلسل النموذجي للتهيئة الأولية واسترجاع قيم الجِدة للإرسال والاستلام بواسطة TimeSync. المصادر: [SWS_TS_14198]، [SWS_TS_14199]، [SWS_TS_14200]

سيناريوهات الأخطاء

تُشير جميع دوال الواجهة إلى الأخطاء عبر ara::core::Result ومحددة بـ noexcept [SWS_TS_14198]، [SWS_TS_14199]، [SWS_TS_14200]. وتُعد حالات الخطأ والشروط المسبقة التالية ذات صلة:

  • فشل التهيئة الأولية (TsyncFvmErrc::kFVInitializeFailed): يحدث عندما يتعذر تهيئة FVM أولياً [SWS_TS_14200]. وبفضل دلالات التراجع، يظل النظام في الحالة الأولية المحددة وغير المهيأة.
  • عدم توفر قيمة الجِدة (TsyncFvmErrc::kFVNotAvailable): يتم إرجاعه بواسطة GetTxFreshness() أو GetRxFreshness() في حال عدم توفر قيمة جِدة للمعرّف المطلوب [SWS_TS_14198]، [SWS_TS_14199]. لا تُغير العمليات حالتها عند حدوث خطأ (دلالات التراجع).
  • محاولات التحقق المتكررة عند الاستلام: يبدأ المعامل AuthVerifyAttempts عند 0 وتتم زيادته مع كل محاولة مصادقة فاشلة [SWS_TS_14198]. يُرجَّح أن تفيد الزيادة FVM في ضبط نافذة قبول داخلية تدريجياً، وذلك للتسامح مع قيم الجِدة المزاحة زمنياً بشكل طفيف. سؤال Q-8f151c47d2607f90 (مفتوح)

يعتمد هذا الدليل حصراً على متطلبات المواصفة الخاصة بـ AUTOSAR R25-11 للوحدة tsync وتم إنشاؤه آلياً.

خريطة الأعضاء

الدوال الأعضاء

3
GetRxFreshnessGetTxFreshnessInitialize

مخطط الفئة

Hohle Dreieckspfeile = Vererbung (zeigt zur Basisklasse); Klicken öffnet die jeweilige Klassenseite.

G napext__tsync__FVM697 FVM + GetRxFreshness() + GetTxFreshness() + Initialize()

عرض التفاصيل

اختر عنصرًا من المخطط.

الدوال الأعضاء

GetRxFreshness دالة

Used by TimeSync to obtain the current freshness value for received messages.

ara::core::Result< FVContainer > GetRxFreshness (std::uint16_t FreshnessValueID, const FVContainer &TruncatedFreshnessValue, std::uint16_t AuthVerifyAttempts) noexcept;
GetTxFreshness دالة

Used by TimeSync to obtain the current freshness value for transmitted messages.

ara::core::Result< FVContainer > GetTxFreshness (std::uint16_t FreshnessValueID) noexcept;
Initialize دالة

Initializes FVM

ara::core::Result< void > Initialize () noexcept;

توثيق الدوال

دالة GetRxFreshness [SWS_TS_14198] Upstream: RS_TS_20072 لم يُستورد النص بعد

ara::core::Result< FVContainer > GetRxFreshness (std::uint16_t FreshnessValueID, const FVContainer &TruncatedFreshnessValue, std::uint16_t AuthVerifyAttempts) noexcept;

Used by TimeSync to obtain the current freshness value for received messages.

مُولَّد بالذكاء الاصطناعي غير مُراجَع النموذج: gemini-3.8-flash-medium · الجهد: medium · درجة الحرارة: غير قابل للتحكم · الموجّه: 37f7da507510 المصدر
مترجم من الدليل الألمانيgemini-3.8-flash-low · 2026-10-13 · الأصل الألماني

تُستخدم الواجهة المتزامنة GetRxFreshness للفئة apext::tsync::FVM (المعرَّفة في apext/tsync/fvm.h) بواسطة TimeSync لتحديد قيمة الحداثة الحالية للرسائل الواردة [SWS_TS_14198].

يتطلب الاستدعاء ثلاث معلمات [SWS_TS_14198]:

  • FreshnessValueID: المعرّف الرقمي لقيمة الحداثة (std::uint16_t) [SWS_TS_14198].
  • TruncatedFreshnessValue: الحاوية (apext::tsync::FVContainer) المحتوية على قيم الحداثة المقتطعة من الرسالة الآمنة المستلَمة [SWS_TS_14198].
  • AuthVerifyAttempts: عداد محاولات المصادقة لهذه الرسالة منذ آخر استلام لها؛ تبدأ القيمة من 0 للمحاولة الأولى وتزداد مع كل محاولة تحقق فاشلة [SWS_TS_14198].

تُرجع الدالة ara::core::Result<FVContainer> [SWS_TS_14198]. ويحتوي هذا في حالة النجاح على apext::tsync::FVContainer مع قيمة الحداثة الكاملة، والمطلوبة لحساب الموثِّق اللاحق بواسطة TimeSync [SWS_TS_14198]. إذا كانت قيمة الحداثة غير متوفرة، يُبلَّغ عن خطأ قابل للإصلاح برمز الخطأ TsyncFvmErrc::kFVNotAvailable ودلالات التراجع [SWS_TS_14198].

أُعلن عن التوقيع باستخدام noexcept؛ وحُدِّد التنفيذ بأنه آمن من الاستثناءات (exception safe) وآمن مؤشريًا (thread-safe) [SWS_TS_14198].

تم إنشاء هذا النص بواسطة ذكاء اصطناعي استنادًا إلى مواصفة AUTOSAR R25-11.

دليل المنفِّذ قيد الإعداد (التعقيد I1)

Header-Datei#include "apext/tsync/fvm.h"
Scopeclass apext::tsync::FVM
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Parameter (in)

ParameterBeschreibung
FreshnessValueIDTruncatedFreshnessValueAuthVerifyAttemptsthe identifier of the freshness value. the apext::tsync::FVContainer with the values from the received Secured message. the number of authentication verify attempts of this message since the last reception. The value is 0 for the first attempt and incremented on every unsuccessful verification attempt.

Rückgabewert

TypBeschreibung
ara::core::Result<FVContainer >an ara::core::Result containing a ara::core::Result:: value_type containing a apext::tsync::FVContainer that holds the freshness value to be used for the calculation of the authenticator by TimeSync, or recoverable error.

Fehler

FehlercodeBeschreibung
TsyncFvmErrc::kFVNotAvailablerollback_semantics the Freshness Value is not available.

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_TS_14198
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_TS_14198@rel:R25-11#4883147d
Content hash
4883147d
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_TimeSynchronization.pdf#nameddest=SWS_TS_14198
Status: valid/unmigrated Version: rel:R25-11#5a2df49d Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_TS_14198@rel:R25-11#5a2df49d
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#cbec70a42026-09-30
  • R24-11rel:R24-11#8dfc9f262026-10-14
  • R25-11rel:R25-11#5a2df49d2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

دالة GetTxFreshness [SWS_TS_14199] Upstream: RS_TS_20072 لم يُستورد النص بعد

ara::core::Result< FVContainer > GetTxFreshness (std::uint16_t FreshnessValueID) noexcept;

Used by TimeSync to obtain the current freshness value for transmitted messages.

مُولَّد بالذكاء الاصطناعي غير مُراجَع النموذج: gemini-3.8-flash-medium · الجهد: medium · درجة الحرارة: غير قابل للتحكم · الموجّه: 9a44eddcc1b0 المصدر
مترجم من الدليل الألمانيgemini-3.8-flash-low · 2026-10-13 · الأصل الألماني

تُعرَّف الدالة GetTxFreshness كواجهة للفئة apext::tsync::FVM في ملف الرأس apext/tsync/fvm.h ([SWS_TS_14199]). ويتم استدعاؤها بواسطة مكوّن TimeSync للاستعلام عن قيمة الحداثة الحالية للرسائل المرسَلة. وتعد قيمة الحداثة هذه مطلوبة بشكل إلزامي بواسطة TimeSync لحساب الموثِّق التشفيري لعمليات الإرسال الصادرة.

عند الاستدعاء، يُمرَّر معرّف قيمة الحداثة عبر المعلمة FreshnessValueID من النوع std::uint16_t ([SWS_TS_14199]). وكقيمة إرجاع، تُرجع الواجهة كائنًا من النوع ara::core::Result<FVContainer> بشكل متزامن. في حالة النجاح، يغلّف نوع الإرجاع مثيلًا من apext::tsync::FVContainer يحتوي على قيمة الحداثة الفعلية.

إذا لم تكن قيمة الحداثة المطلوبة جاهزة في وقت الاستعلام، تفشل العملية بخطأ قابل للإصلاح (recoverable error) ([SWS_TS_14199]). تُرجع الدالة في هذا السيناريو رمز الخطأ TsyncFvmErrc::kFVNotAvailable، مع التزام النظام بدلالات تراجع محددة.

فيما يتعلق بالتزامن والتسامح مع الأخطاء، حُدِّدت GetTxFreshness بأنها thread-safe بالإضافة إلى exception safe وزُوِّدت بالتعليق التوضيحي noexcept ([SWS_TS_14199]). وبالتالي، يمكن استدعاء الدالة دون حماية كائن استبعاد متبادل (Mutex) خارجي من خيوط متوازية دون الحاجة إلى تدابير وقائية ضد استثناءات C++ المتزامنة.

أُنشئت ملاحظة الاستخدام هذه آليًا استنادًا إلى مواصفات AUTOSAR.

دليل المنفِّذ قيد الإعداد (التعقيد I1)

Header-Datei#include "apext/tsync/fvm.h"
Scopeclass apext::tsync::FVM
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Parameter (in)

ParameterBeschreibung
FreshnessValueIDthe identifier of the freshness value.

Rückgabewert

TypBeschreibung
ara::core::Result<FVContainer >an ara::core::Result containing a ara::core::Result:: value_type containing a apext::tsync::FVContainer that holds the freshness value to be used for the calculation of the authenticator by TimeSync, or recoverable error.

Fehler

FehlercodeBeschreibung
TsyncFvmErrc::kFVNotAvailablerollback_semantics the Freshness Value is not available.

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_TS_14199
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_TS_14199@rel:R25-11#04f78905
Content hash
04f78905
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_TimeSynchronization.pdf#nameddest=SWS_TS_14199
Status: valid/unmigrated Version: rel:R25-11#09c3542d Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_TS_14199@rel:R25-11#09c3542d
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#a86e7a3f2026-09-30
  • R24-11rel:R24-11#1e7ee0612026-10-14
  • R25-11rel:R25-11#09c3542d2026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill

دالة Initialize [SWS_TS_14200] Upstream: RS_TS_20072 لم يُستورد النص بعد

ara::core::Result< void > Initialize () noexcept;

Initializes FVM

مُولَّد بالذكاء الاصطناعي غير مُراجَع النموذج: gemini-3.8-flash-medium · الجهد: medium · درجة الحرارة: غير قابل للتحكم · الموجّه: e3e4199a5145 المصدر أسئلة مفتوحة (2)
مترجم من الدليل الألمانيgemini-3.8-flash-low · 2026-10-13 · الأصل الألماني

الاستخدام

تُستخدم الدالة Initialize في نطاق الأسماء apext::tsync::FVM لتهيئة Freshness Value Manager (FVM) وفقًا لـ [SWS_TS_14200]. تُتاح الواجهة عبر ملف الرأس apext/tsync/fvm.h وتتميز بالتوقيع ara::core::Result<void> Initialize() noexcept;. يتم الاستدعاء بشكل متزامن وبدون معلمات ممرَّرة. وفي حالة النجاح، يتم توفير ara::core::Result بنوع إرجاع فارغ void.

معالجة الأخطاء

إذا حدثت مشكلة أثناء التنفيذ، تُرجع الدالة رمز الخطأ المحدد TsyncFvmErrc::kFVInitializeFailed داخل كائن النتيجة [SWS_TS_14200]. وتنص المواصفة هنا على دلالات التراجع، بحيث يُرجَّح عدم بقاء أي حالات وسيطة غير متسقة في حالة حدوث خطأ. سؤال Q-0d3c1a8f45444579 (مفتوح)

التزامن والقيود

بالنسبة لسياق الاستدعاء، صُنِّفت الدالة صراحةً بوصفها thread-safe وكذلك exception safe [SWS_TS_14200]. ونظرًا للمعرّف noexcept، يُضمن عدم تمرير أي استثناءات C++ إلى الخارج. تفسير: يُفترض أنه يجب إكمال خطوة التهيئة هذه بنجاح قبل أن يتسنى استدعاء طرق وظيفية أخرى لمكوّن FVM. سؤال Q-ba44afb55d21ac38 (مفتوح)

تم إنشاء ملاحظة الاستخدام هذه آليًا استنادًا إلى AUTOSAR R25-11.

Header-Datei#include "apext/tsync/fvm.h"
Scopeclass apext::tsync::FVM
Exception-Sicherheitexception safe
Thread-Sicherheitthread-safe

Rückgabewert

TypBeschreibung
ara::core::Result< void >an ara::core::Result containing a ara::core::Result:: value_type containing a void, kFVInitializeFailed otherwise.

Fehler

FehlercodeBeschreibung
TsyncFvmErrc::kFVInitializeFailedrollback_semantics Initialization fails

Request a governed re-review of this record. The record is not changed immediately.

Record
AUTOSAR/AP/record/SWS_TS_14200
Status
valid/unmigrated
Version
AUTOSAR/AP/record/SWS_TS_14200@rel:R25-11#cf071f2e
Content hash
cf071f2e
Source
https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_TimeSynchronization.pdf#nameddest=SWS_TS_14200
Status: valid/unmigrated Version: rel:R25-11#711e1128 Versionshistorie & Revisions (1 transition, 3 revision)
Current State
valid/unmigrated
Reason
mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign
2026-08-13-status-backfill
Active Version
AUTOSAR/AP/record/SWS_TS_14200@rel:R25-11#711e1128
Point-in-Time History:
Recorded Revisions (3):
  • R25-11rel:R25-11#55c36e332026-09-30
  • R24-11rel:R24-11#f1f5a9742026-10-14
  • R25-11rel:R25-11#711e11282026-10-14 active
DateActorTransitionReason / RationaleCampaign
2026-08-13toolnone → valid/unmigratedmechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record2026-08-13-status-backfill