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

사용자 가이드AI 생성

시간 동기화의 송수신 메시지 인증을 위한 신선도 값을 제공합니다.
AI 생성 미검증 모델: 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은 AUTOSAR Adaptive Platform의 tsync 모듈 내에서 Freshness Value Management를 위한 인터페이스를 나타냅니다. 주요 책임은 재생 및 스푸핑 공격으로부터 메시지를 암호학적으로 보호할 수 있도록 시간 동기화 서비스 ara::tsync에 최신 신선도 값(Freshness Values)을 제공하는 것입니다 [SWS_TS_14198], [SWS_TS_14199].

중앙 상호작용 파트너로는 TimeSync 기능이 동작하며, 이는 송신 및 수신된 보안 메시지에 대한 신선도 값 컨테이너(apext::tsync::FVContainer)를 검색하기 위해 FVM을 호출합니다 [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을 반환합니다 [SWS_TS_14200].
  • 작동 상태: 성공적인 초기화는 이후의 신선도 값 요청이 유효한 결과를 반환하기 위한 필수 전제 조건일 것으로 보입니다. 질문 Q-df4ee3e749313b94 (열림) 초기화가 완료된 후 인스턴스는 작동 상태로 유지되며 구성된 신선도 값 ID에 대한 요청에 응답합니다.
  • 동시성: 모든 메서드가 thread-safe으로 표시되어 있으므로, 외부 잠금 메커니즘 없이도 송신 및 수신을 위한 신선도 값에 동시 접근할 수 있습니다 [SWS_TS_14198], [SWS_TS_14199].

사용 경로

TimeSync 컴포넌트에 의한 일반적인 호출 순서는 초기화 및 송수신 경로에 대한 신선도 값의 지속적인 결정을 포함합니다:

  1. 서비스 초기화: TimeSync는 시작 시 메서드 Initialize()을 실행하고 반환된 ara::core::Result에 오류가 없는지 확인합니다 [SWS_TS_14200].
  2. 보안 메시지 송신: 메시지를 전송하기 전에 TimeSync는 각 FreshnessValueID과 함께 GetTxFreshness()을 호출합니다 [SWS_TS_14199]. 수신된 FVContainer 객체는 인증자 계산에 사용되는 신선도 값을 제공합니다 [SWS_TS_14199].
  3. 보안 메시지 수신: 메시지가 도착하면 TimeSync는 GetRxFreshness()을 호출하고 FreshnessValueID, 메시지에 포함된 잘린 값 TruncatedFreshnessValue, 이전 인증 시도 횟수 AuthVerifyAttempts을 전달합니다 [SWS_TS_14198]. FVM은 이로부터 인증자 검증을 위한 전체 신선도 값을 결정합니다 [SWS_TS_14198].
TimeSync에서의 초기화 및 신선도 값 산출TimeSyncFVMUse 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): 요청된 ID에 대해 신선도 값을 사용할 수 없는 경우 GetTxFreshness() 또는 GetRxFreshness()에서 반환됩니다 [SWS_TS_14198], [SWS_TS_14199]. 오류 발생 시 작업은 상태를 변경하지 않습니다(롤백 시맨틱).
  • 수신 시 반복 검증 시도: 매개변수 AuthVerifyAttempts은 0에서 시작하여 인증 시도가 실패할 때마다 증가합니다 [SWS_TS_14198]. 이러한 증가는 시간상 약간 어긋난 신선도 값을 수용하기 위해 내부 허용 창(acceptance window)을 점진적으로 조정하는 데 FVM에 의해 사용될 것으로 보입니다. 질문 Q-8f151c47d2607f90 (열림)

이 가이드는 tsync 모듈에 대한 AUTOSAR R25-11 사양 요구사항만을 기반으로 하며 자동으로 생성되었습니다.

멤버 맵

메서드

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.

AI 생성 미검증 모델: gemini-3.8-flash-medium · 노력: medium · 온도: 제어 불가 · 프롬프트: 37f7da507510 출처
독일어 가이드에서 번역됨gemini-3.8-flash-low · 2026-10-13 · 독일어 원문

클래스 apext::tsync::FVM(apext/tsync/fvm.h에 정의됨)의 동기 인터페이스 GetRxFreshness은(는) 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]. 성공 시 여기에는 TimeSync가 후속 인증자 계산에 필요로 하는 전체 최신성 값을 갖는 apext::tsync::FVContainer이(가) 포함됩니다 [SWS_TS_14198]. 최신성 값을 사용할 수 없는 경우 오류 코드 TsyncFvmErrc::kFVNotAvailable 및 롤백 시맨틱을 갖는 복구 가능한 오류가 반환됩니다 [SWS_TS_14198].

시그니처는 noexcept(으)로 선언되어 있으며, 구현은 예외 안전(exception safe) 및 스레드 안전(thread-safe)한 것으로 명시되어 있습니다 [SWS_TS_14198].

이 텍스트는 AUTOSAR 사양 R25-11을 기반으로 AI에 의해 생성되었습니다.

구현자 가이드 준비 중 (복잡도 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#20574ed6
Content hash
20574ed6
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.

AI 생성 미검증 모델: gemini-3.8-flash-medium · 노력: medium · 온도: 제어 불가 · 프롬프트: 9a44eddcc1b0 출처
독일어 가이드에서 번역됨gemini-3.8-flash-low · 2026-10-13 · 독일어 원문

함수 GetTxFreshness은(는) 헤더 apext/tsync/fvm.h에서 클래스 apext::tsync::FVM의 인터페이스로 정의되어 있습니다([SWS_TS_14199]). 이 함수는 전송된 메시지에 대한 현재 최신성 값을 쿼리하기 위해 TimeSync 컴포넌트에 의해 호출됩니다. 이 최신성 값은 아웃바운드 전송을 위한 암호화 인증자를 계산하기 위해 TimeSync에 반드시 필요합니다.

호출 시 최신성 값의 식별자는 std::uint16_t 형식의 파라미터 FreshnessValueID을(를) 통해 전달됩니다([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]). 따라서 동기 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#4a3e7154
Content hash
4a3e7154
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

AI 생성 미검증 모델: gemini-3.8-flash-medium · 노력: medium · 온도: 제어 불가 · 프롬프트: e3e4199a5145 출처 열린 질문 (2)
독일어 가이드에서 번역됨gemini-3.8-flash-low · 2026-10-13 · 독일어 원문

사용

네임스페이스 apext::tsync::FVM의 함수 Initialize은(는) [SWS_TS_14200]에 따른 Freshness Value Manager(FVM) 초기화에 사용됩니다. 이 인터페이스는 헤더 파일 apext/tsync/fvm.h을(를) 통해 제공되며 시그니처 ara::core::Result<void> Initialize() noexcept;을(를) 갖습니다. 호출은 동기적으로 전달 매개변수 없이 수행됩니다. 성공 시 빈 반환 형식 void을(를) 갖는 ara::core::Result이(가) 제공됩니다.

오류 처리

실행 중 문제가 발생하면 함수는 결과 객체 내에서 특정 오류 코드 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#a55326c4
Content hash
a55326c4
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