From c0f985b18efeac519b88d909f33a8a3f3464436d Mon Sep 17 00:00:00 2001 From: Canberk Demirsoy Date: Mon, 5 Oct 2026 13:17:24 +0200 Subject: [PATCH] Add fta for returns_wrong_free_sample_count --- .../safety_analysis/root_causes/proxy/BUILD | 1 + .../get_free_sample_count_for_an_event/BUILD | 20 +++++++++++++++++++ .../returns_wrong_free_sample_count_fta.puml | 20 +++++++++++++++++++ 3 files changed, 41 insertions(+) create mode 100644 score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/BUILD create mode 100644 score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/returns_wrong_free_sample_count_fta.puml diff --git a/score/mw/com/dependability/safety_analysis/root_causes/proxy/BUILD b/score/mw/com/dependability/safety_analysis/root_causes/proxy/BUILD index 526b05aa6..13b317fc3 100644 --- a/score/mw/com/dependability/safety_analysis/root_causes/proxy/BUILD +++ b/score/mw/com/dependability/safety_analysis/root_causes/proxy/BUILD @@ -21,6 +21,7 @@ filegroup( "//score/mw/com/dependability/safety_analysis/root_causes/proxy/generic_proxy/generic_proxy_event/getsamplesize_from_generic_proxy_event:the_size_returned_is_bigger_then_the_actual_value_fta", "//score/mw/com/dependability/safety_analysis/root_causes/proxy/generic_proxy/generic_proxy_event/has_serialized_format:wrong_indication_if_format_is_serialized_fta", "//score/mw/com/dependability/safety_analysis/root_causes/proxy/generic_proxy/getting_access_to_generic_proxy_events:map_containing_nonexistent_events_fta", + "//score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event:returns_wrong_free_sample_count_fta", "//score/mw/com/dependability/safety_analysis/root_causes/proxy/get_new_samples_on_an_event:callback_invoked_with_wrong_data_fta", "//score/mw/com/dependability/safety_analysis/root_causes/proxy/get_new_samples_on_an_event:callback_not_invoked_despite_samples_available_fta", "//score/mw/com/dependability/safety_analysis/root_causes/proxy/set_receive_handler_for_an_event:set_receive_handler_for_an_event_fta", diff --git a/score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/BUILD b/score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/BUILD new file mode 100644 index 000000000..24eae0a89 --- /dev/null +++ b/score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/BUILD @@ -0,0 +1,20 @@ +# ******************************************************************************* +# Copyright (c) 2026 Contributors to the Eclipse Foundation +# +# See the NOTICE file(s) distributed with this work for additional +# information regarding copyright ownership. +# +# This program and the accompanying materials are made available under the +# terms of the Apache License Version 2.0 which is available at +# https://www.apache.org/licenses/LICENSE-2.0 +# +# SPDX-License-Identifier: Apache-2.0 +# ******************************************************************************* + +filegroup( + name = "returns_wrong_free_sample_count_fta", + srcs = [ + "returns_wrong_free_sample_count_fta.puml", + ], + visibility = ["//score/mw/com/dependability:__subpackages__"], +) diff --git a/score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/returns_wrong_free_sample_count_fta.puml b/score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/returns_wrong_free_sample_count_fta.puml new file mode 100644 index 000000000..3d74b4921 --- /dev/null +++ b/score/mw/com/dependability/safety_analysis/root_causes/proxy/get_free_sample_count_for_an_event/returns_wrong_free_sample_count_fta.puml @@ -0,0 +1,20 @@ +' ******************************************************************************* +' Copyright (c) 2026 Contributors to the Eclipse Foundation +' +' See the NOTICE file(s) distributed with this work for additional +' information regarding copyright ownership. +' +' This program and the accompanying materials are made available under the +' terms of the Apache License Version 2.0 which is available at +' https://www.apache.org/licenses/LICENSE-2.0 +' +' SPDX-License-Identifier: Apache-2.0 +' ******************************************************************************* +@startuml + +!include fta_metamodel.puml + +$FailureMode("Returns wrong free sample count", "Communication.ReturnsWrongFreeSampleCount") +$RootCause("Root Cause Returns wrong free sample count", "RootCauseReturnsWrongFreeSampleCount", "Communication.ReturnsWrongFreeSampleCount") + +@enduml