FMEA for Methods #225
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,22 @@ | ||
| # ******************************************************************************* | ||
| # Copyright (c) 2025 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 = "call_method_fta", | ||
| srcs = [ | ||
| "call_blocks_fta.puml", | ||
| "wrong_in_args_provided_fta.puml", | ||
| "wrong_results_used_fta.puml", | ||
| ], | ||
| visibility = ["//visibility:public"], | ||
| ) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,26 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
|
||
| $TopEvent("Method Call blocks", "Communication.CallBlocks") | ||
|
|
||
| $OrGate("Gate1", "TopEvent") | ||
| $BasicEvent("Method call blocks in message-passing at the caller side -> send blocked", "Communication.BlocksOnCaller", "Gate1") | ||
| $BasicEvent("Method call blocks in user-handler at the callee side", "Communication.CallBlocksOnUserHandler", "Gate1") | ||
| $BasicEvent("Method call blocks in reply at the callee side -> send blocked ", "Communication.CallBlocksOnCallee", "Gate1") | ||
|
|
||
|
|
||
| @enduml |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,32 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
|
||
| $TopEvent("Wrong input arguments provided", "Communication.WrongInArgsProvided") | ||
|
|
||
| $OrGate("Gate1", "TopEvent") | ||
|
|
||
| $IntermediateEvent("Caller did not/only partially provide InArgs", "Event1", "Gate1") | ||
| $OrGate("Gate2", "Event1") | ||
| $BasicEvent("Call signalled before InArgs completely provided", "Event2", "Gate2") | ||
| $BasicEvent("Caller provided InArgs in wrong location", "Event4", "Gate2") | ||
|
|
||
| $IntermediateEvent("Caller provided wrong InArgs", "Event5", "Gate1") | ||
| $OrGate("Gate4", "Event5") | ||
| $BasicEvent("Caller provided InArgs in wrong layout", "Communication.InArgsWrongLayout", "Gate4") | ||
| $BasicEvent("Caller updates InArgs concurrently after call signalling", "Communication.InArgsUpdateAfterCall", "Gate4") | ||
|
|
||
| @enduml |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,26 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
Contributor
There was a problem hiding this comment. This path is no longer valid |
||
|
|
||
| $TopEvent("Wrong call result used", "Communication.WrongResultsUsed") | ||
|
|
||
| $OrGate("Gate1", "TopEvent") | ||
| $BasicEvent("Caller used result from wrong location", "Event10", "Gate1") | ||
| $BasicEvent("Caller used result in wrong layout", "Event11", "Gate1") | ||
| $BasicEvent("Caller used result before fully provided", "Event12", "Gate1") | ||
| $BasicEvent("Caller used result while concurrently updated", "Event13", "Gate1") | ||
|
|
||
| @enduml | ||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,32 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
|
||
| $TopEvent("Wrong input arguments used", "Communication.WrongInArgsUsed") | ||
|
|
||
| $OrGate("Gate1", "TopEvent") | ||
| $IntermediateEvent("Callee used wrong InArgs", "Event1", "Gate1") | ||
| $IntermediateEvent("Callee used corrupted InArgs", "Event2", "Gate1") | ||
| $OrGate("Gate2", "Event1") | ||
| $OrGate("Gate3", "Event2") | ||
| $BasicEvent("Callee used InArgs from wrong location", "Event3", "Gate2") | ||
| $BasicEvent("Callee used InArgs before being provided", "Event4", "Gate2") | ||
|
|
||
| $BasicEvent("Callee used InArgs in wrong layout", "Event5", "Gate3") | ||
| $BasicEvent("Callee used InArgs while concurrently updated", "Event6", "Gate3") | ||
| $BasicEvent("InArgs corrupted by 3d party", "Event7", "Gate3") | ||
|
|
||
| @enduml |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,28 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
|
||
| $TopEvent("Wrong method called", "Communication.WrongMethodCalled") | ||
|
|
||
| $OrGate("Gate1", "TopEvent") | ||
| $IntermediateEvent("MethodId mismatch provider/consumer", "Event2", "Gate1") | ||
| $IntermediateEvent("Wrong user handler called", "Event4", "Gate1") | ||
| $IntermediateEvent("Wrongly configured", "Event3", "Event2") | ||
| $TransferIn("Transfer2", "Event3") | ||
| $BasicEvent("User Handler assignment wrong", "Communication.UserMethodCallHandlerAssignmentWrong", "Event4") | ||
| $BasicEvent("MethodId corrupted", "Event5", "Event2") | ||
|
|
||
| @enduml |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,32 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
|
||
| $TopEvent("Wrong call result provided", "Communication.WrongResultsProvided") | ||
| $OrGate("Gate1", "TopEvent") | ||
| $IntermediateEvent("Callee did provide no result", "Event3", "Gate1") | ||
| $IntermediateEvent("Callee did provide wrong result", "Event4", "Gate1") | ||
| $OrGate("Gate3", "Event3") | ||
| $OrGate("Gate4", "Event4") | ||
| $BasicEvent("Callee signalled call finished before or without providing result completely", "Event5", "Gate3") | ||
| $BasicEvent("Callee provided result in wrong location", "Event8", "Gate3") | ||
|
|
||
| $BasicEvent("Callee provided result in wrong layout", "Event9", "Gate4") | ||
| $BasicEvent("Callee concurrently updates result after signaling it", "Event11", "Gate4") | ||
|
|
||
|
|
||
|
|
||
| @enduml |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,21 @@ | ||
| # ******************************************************************************* | ||
| # Copyright (c) 2025 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 = "smart_pointer_fta", | ||
| srcs = [ | ||
| "//score/mw/com/requirements/safety_analysis/root_causes/smart_pointer/method_signature_element_ptr:method_signature_element_ptr_fta", | ||
| "//score/mw/com/requirements/safety_analysis/root_causes/smart_pointer/sample_ptr_sample_allocate_ptr", | ||
| ], | ||
| visibility = ["//visibility:public"], | ||
| ) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,21 @@ | ||
| # ******************************************************************************* | ||
| # Copyright (c) 2025 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 = "method_signature_element_ptr_fta", | ||
| srcs = [ | ||
| "failure_freeing_resources_on_destruction_fta.puml", | ||
| "points_to_wrong_data_fta.puml", | ||
| ], | ||
| visibility = ["//visibility:public"], | ||
| ) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,25 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
|
||
| $TopEvent("Failure freeing resources on destruction", "Communication.MethodSignatureElementPtrFailsToFree") | ||
|
|
||
| $OrGate("Gate1", "TopEvent") | ||
| $BasicEvent("Does not free method signature element", "Event1", "Gate1") | ||
| $IntermediateEvent("Frees wrong method signature element", "Event2", "Gate1") | ||
| $BasicEvent("Overwrite of element in use", "Communication.ChangingStateFails", "Event2") | ||
|
|
||
| @enduml |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,29 @@ | ||
| ' ******************************************************************************* | ||
| ' Copyright (c) {year} 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 ../../../../../../../../third_party/traceability/doc/sample_library/safety_analysis/fta_metamodel.puml | ||
|
|
||
| $TopEvent("Points to wrong data", "Communication.MethodSignatureElementPtrWrongTarget") | ||
|
|
||
| $OrGate("Gate1", "TopEvent") | ||
| $IntermediateEvent("Shared Memory no longer valid", "Event2", "Gate1") | ||
| $BasicEvent("Life-Cycle issues", "Communication.LifeCycleIssues", "Event2") | ||
| $IntermediateEvent("Wrong memory location referenced", "Event3", "Gate1") | ||
| $OrGate("Gate2", "Event3") | ||
| $BasicEvent("References valid memory outside shared-memory", "Event4", "Gate2") | ||
| $BasicEvent("References valid memory inside shared-memory", "Event5", "Gate2") | ||
| $BasicEvent("References invalid memory", "Event6", "Gate2") | ||
|
|
||
| @enduml |
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The year needs to be filled