Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("In-Memory configuration wrong", "Communication.InMemoryConfigurationWrong")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ filegroup(
"//score/mw/com/dependability/safety_analysis/root_causes/proxy/subscribe_for_an_event:subscribe_to_wrong_event_fta",
"//score/mw/com/dependability/safety_analysis/root_causes/proxy/subscribe_for_an_event:subscribe_with_wrong_max_sample_count_fta",
"//score/mw/com/dependability/safety_analysis/root_causes/proxy/unsubscribe_for_an_event:does_not_unsubscribe_fta",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ filegroup(
"call_blocks_fta.puml",
"wrong_in_args_provided_fta.puml",
"wrong_results_used_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Method Call blocks", "Communication.CallBlocks")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Wrong input arguments provided", "Communication.WrongInArgsProvided")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Wrong call result used", "Communication.WrongResultsUsed")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "construction_fta",
srcs = [
"service_is_found_but_does_not_exist_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Service is found, but does not exist", "Communication.ServiceIsFoundButDoesNotExist")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "service_not_found_fta",
srcs = [
"service_not_found_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Expand All @@ -23,6 +24,7 @@ filegroup(
name = "wrong_service_found_fta",
srcs = [
"wrong_service_found_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Service not found", "Communication.ServiceNotFound")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Wrong service found", "Communication.WrongServiceFound")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "the_size_returned_is_bigger_then_the_actual_value_fta",
srcs = [
"the_size_returned_is_bigger_then_actual_value_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("The size returned is bigger / smaller then the actual value", "Communication.TheSizeReturnedIsBiggerThenTheActualValue")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "map_containing_nonexistent_events_fta",
srcs = [
"map_containing_nonexistent_events_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Map containing non-existent events", "Communication.MapContainingNonexistentEvents")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "callback_invoked_with_wrong_data_fta",
srcs = [
"callback_invoked_with_wrong_data_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Expand All @@ -23,6 +24,7 @@ filegroup(
name = "callback_not_invoked_despite_samples_available_fta",
srcs = [
"callback_not_invoked_despite_samples_available_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Callback invoked with wrong data", "Communication.CallbackInvokedWithWrongData")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Callback not invoked, despite samples available", "Communication.CallbackNotInvokedDespiteSamplesAvailable")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "start_find_service_callback_is_redundantly_called_fta",
srcs = [
"start_find_service_callback_is_redundantly_called_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("StartFindService callback is called unexpectedly", "Communication.StartFindServiceCallbackCalledUnexpectedly")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "subscribe_to_wrong_event_fta",
srcs = [
"subscribe_to_wrong_event_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Expand All @@ -23,6 +24,7 @@ filegroup(
name = "subscribe_with_wrong_max_sample_count_fta",
srcs = [
"subscribe_with_wrong_max_sample_count_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Subscribe to Wrong Event or Field", "Communication.SubscribeToWrongEvent")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
' *******************************************************************************
@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Subscribe with wrong max. sample count", "Communication.SubscribeWithWrongMaxSampleCount")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "does_not_unsubscribe_fta",
srcs = [
"does_not_unsubscribe_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
' *******************************************************************************
@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Does not unsubscribe", "Communication.DoesNotUnsubscribe")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@ filegroup(
"//score/mw/com/dependability/safety_analysis/root_causes/skeleton/send_an_event_or_field:sends_to_wrong_consumer_fta",
"//score/mw/com/dependability/safety_analysis/root_causes/skeleton/stop_offer_a_service:only_partially_stop_offer_fta",
"//score/mw/com/dependability/safety_analysis/root_causes/skeleton/stop_offer_a_service:stop_offer_on_wrong_ids_fta",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "allocate_in_wrong_memory_fta",
srcs = [
"allocate_in_wrong_memory_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Expand All @@ -23,6 +24,7 @@ filegroup(
name = "to_few_memory_allocated_fta",
srcs = [
"to_few_memory_allocated_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Allocate in Wrong Memory", "Communication.MemoryAllocatedInWrongSection")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("To few memory allocated", "Communication.TooFewMemoryAllocated")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "creation_of_skeleton_not_possible_fta",
srcs = [
"creation_of_skeleton_not_possible_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Creation of Skeleton not possible", "Communication.CreationOfSkeletonNotPossible")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "no_resources_freed_fta",
srcs = [
"no_resources_freed_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Expand All @@ -23,6 +24,7 @@ filegroup(
name = "wrong_resources_freed_fta",
srcs = [
"wrong_resources_freed_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("No resources freed", "Communication.NoResourcesFreed")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Wrong resources freed", "Communication.WrongResourcesFreed")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ filegroup(
name = "wrong_in_args_used_fta",
srcs = [
"wrong_in_args_used_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Expand All @@ -23,6 +24,7 @@ filegroup(
name = "wrong_method_called_fta",
srcs = [
"wrong_method_called_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Expand All @@ -31,6 +33,7 @@ filegroup(
name = "wrong_results_provided_fta",
srcs = [
"wrong_results_provided_fta.puml",
"@score_tooling//plantuml:fta_metamodel",
],
visibility = ["//visibility:public"],
)
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Wrong input arguments used", "Communication.WrongInArgsUsed")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Wrong method called", "Communication.WrongMethodCalled")

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

@startuml

!include ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml
!include fta_metamodel.puml

$TopEvent("Wrong call result provided", "Communication.WrongResultsProvided")
$OrGate("Gate1", "TopEvent")
Expand Down
Loading