Verification Report

Time Module Verification Report		status: valid security: NO safety: ASIL_B
applies_to_module_version: v1.0 verification_method: test_and_inspection version: 1 realizes: wp__verification_module_ver_report belongs to: mod__time
mod_vrep__time__report		Module Verification Report

Legend — status values and chart colours

Status — ASIL B valid_inspected — agreed and formally inspected valid — agreed, formal inspection still outstanding invalid — not agreed; metamodel checks are skipped

Status — QM valid — agreed; QM needs are not formally inspected, so this is their final state (valid_inspected counts here too) invalid — not agreed; metamodel checks are skipped

Test coverage — both classes fully covered — at least one test fully verifies the need partially covered — only partially verifying tests not covered — no verifying test at all

Components

Component Overview

Component	Safety	Security	Status
comp__time	ASIL_B	NO	valid
comp__time_daemon	ASIL_B	NO	valid
comp__ts_client	ASIL_B	NO	valid
comp__time_slave	QM	NO	valid

Time

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__time__unified_clock_facade	Unified clock facade across time domains	ASIL_B	valid
comp_req__time__snapshot_with_status	Immutable snapshot with quality metadata	ASIL_B	valid
comp_req__time__explicit_lifecycle	Explicit lifecycle for backends that need it	ASIL_B	valid
comp_req__high_res_steady_time__snapshot	HighResSteadyClock always-ready snapshot	ASIL_B	valid	HighResSteadyClockTest__NowReturnsTimepointSuitableForDurationArithmetic (passed)
comp_req__steady_time__snapshot	SteadyClock always-ready snapshot	ASIL_B	valid	SteadyClockTest__NowReturnsTimepointSuitableForDurationArithmetic (passed)
comp_req__system_time__snapshot	SystemClock always-ready snapshot	ASIL_B	valid	SystemClockTest__NowReturnsTimepointSuitableForDurationArithmetic (passed)
comp_req__vehicle_time__lifecycle	VehicleClock lifecycle operations	ASIL_B	valid	VehicleClockTest__InitForwardsToBackend (passed); VehicleClockTest__IsAvailableReturnsTrueWhenBackendReports (passed); VehicleClockTest__IsAvailableReturnsFalseWhenBackendUnavailable (passed); VehicleClockTest__WaitUntilAvailableForwardsTokenAndDeadlineToBackend (passed)
comp_req__vehicle_time__snapshot	VehicleClock returns snapshot with status	ASIL_B	valid	VehicleClockTest__NowReturnsSynchronizedStatusAndTimepoint (passed)

Test Coverage

No coverage data available for this component.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__time_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	ID doc__time_impl_inspection	Status draft
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Time Daemon

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__time_daemon__startup	Component Initialization	ASIL_B	valid
comp_req__time_daemon__shutdown	Component Shutdown	ASIL_B	valid
comp_req__time_daemon__gptp_shm_reception	Time Synchronization Data Reception	ASIL_B	valid
comp_req__time_daemon__sync_validation	Synchronization Status Validation	ASIL_B	valid
comp_req__time_daemon__sync_debounce	Synchronization State Stabilization	ASIL_B	valid
comp_req__time_daemon__time_jump_detection	Time Jump Detection	ASIL_B	valid
comp_req__time_daemon__timeout_detection	Timeout Detection	ASIL_B	valid
comp_req__time_daemon__time_data_publishing	Time Data Publishing	ASIL_B	valid
comp_req__time_daemon__published_data_content	Published Time Data Content	ASIL_B	valid
comp_req__time_daemon__time_point_qualifier	Time Point Qualifier Production	ASIL_B	valid
comp_req__time_daemon__publish_interval	Publish Interval	ASIL_B	valid
comp_req__time_daemon__non_blocking	Non-Blocking Access Path	ASIL_B	valid
comp_req__time_daemon__multi_client	Multi-Client Support	ASIL_B	valid
comp_req__time_daemon__error_reporting	Error Reporting	ASIL_B	valid
comp_req__time_daemon__time_jump_reaction	Time Jump Error Reaction	ASIL_B	valid
comp_req__time_daemon__time_jump_recovery	Time Jump Recovery	ASIL_B	valid
comp_req__time_daemon__timeout_reaction	Timeout Error Reaction	ASIL_B	valid
comp_req__time_daemon__platform_support	Platform Support	ASIL_B	valid

Test Coverage

No coverage data available for this component.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__time_daemon_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	ID doc__time_daemon_impl_inspection	Status draft
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Time Slave

---

Component Requirements Statistics

ASIL B — Requirements

no ASIL B requirements

QM — Requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__time_slave__startup	Component Startup	QM	valid
comp_req__time_slave__configuration	Component Configuration	QM	valid
comp_req__time_slave__shutdown	Component Shutdown	QM	valid
comp_req__time_slave__domain_filtering	Domain Number Filtering	QM	valid
comp_req__time_slave__ethernet_address	Ethernet address usage	QM	valid
comp_req__time_slave__sync_reception	Sync Message Reception	QM	valid
comp_req__time_slave__followup_processing	Follow_Up Message Processing	QM	valid
comp_req__time_slave__offset_calculation	Offset Calculation	QM	valid
comp_req__time_slave__pdelay_req	PDelayReq Transmission	QM	valid
comp_req__time_slave__pdelay_req_response	PDelayReq Response	QM	valid
comp_req__time_slave__pdelay_resp_reception	PDelayResp Message Reception	QM	valid
comp_req__time_slave__pdelay_resp_fu_rx	PDelayRespFollowUp Message Reception	QM	valid
comp_req__time_slave__pdelay_computation	Peer Delay Computation	QM	valid
comp_req__time_slave__phc_offset	PHC Offset Adjustment	QM	valid
comp_req__time_slave__phc_frequency	PHC Frequency Adjustment	QM	valid
comp_req__time_slave__sync_publishing	Time Sync Data Publishing	QM	valid
comp_req__time_slave__platform_support	Platform Support	QM	valid
comp_req__time_slave__error_reporting	Error Reporting	QM	valid
comp_req__time_slave__diagnostics	Synchronization Diagnostics	QM	valid

Test Coverage

No coverage data available for this component.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__time_slave_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	ID doc__time_slave_impl_inspection	Status draft
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Time Sync Client

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__ts_client__shared_memory_mgmt	Shared Memory Channel Management	ASIL_B	valid
comp_req__ts_client__shm_validation	Shared Memory Region Validation	ASIL_B	valid
comp_req__ts_client__publisher_creates	Publisher Creates Channels	ASIL_B	valid
comp_req__ts_client__receiver_multi_reader	Receiver Multi-Reader Semantics	ASIL_B	valid
comp_req__ts_client__data_validity	Data Validity Indication	ASIL_B	valid
comp_req__ts_client__seqlock_protocol	Lock-Free Synchronization	ASIL_B	valid
comp_req__ts_client__cache_optimization	Cache-Optimized Memory Layout	ASIL_B	valid
comp_req__ts_client__sync_status_data	gPTP Synchronization Status Exchange	QM	valid
comp_req__ts_client__sync_fup_data	Sync/FollowUp Message Metadata Exchange	QM	valid
comp_req__ts_client__pdelay_data	PDelay Message Metadata Exchange	QM	valid
comp_req__ts_client__time_correlation_data	Time Correlation Data Exchange	QM	valid
comp_req__ts_client__platform_support	Platform Support	QM	valid

Test Coverage

No coverage data available for this component.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__time_sync_client_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	ID doc__time_sync_client_impl_inspection	Status draft
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters