Update Tracing Policy of safety analysis (#174)

* [rules_score] update tracing policy in safety analysis

* fix the ci

Author: hoe-jo

.bazelignore

@@ -1,2 +1,15 @@
+# *******************************************************************************
+# 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
+# *******************************************************************************
+
 python_basics/integration_tests
 starpls/integration_tests

.bazelrc.ai_checker

@@ -1,3 +1,16 @@
+# *******************************************************************************
+# 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
+# *******************************************************************************
+
 ###############################################################################
 ## GitHub Copilot SDK - Environment (config:copilot)
 ###############################################################################

.pre-commit-config.yaml

@@ -22,7 +22,7 @@ repos:
       - id: check-executables-have-shebangs
       - id: check-added-large-files
         args: [--maxkb=100, --enforce-all] # increase or add git lfs if too strict
-        exclude: org.eclipse.dash.licenses-1.1.0.jar|blanket_index.html$
+        exclude: org.eclipse.dash.licenses-1.1.0.jar|blanket_index.html
   - repo: https://github.com/google/yamlfmt
     rev: 21ca5323a9c87ee37a434e0ca908efc0a89daa07 # v0.21.0
     hooks:
@@ -31,15 +31,14 @@ repos:
     rev: a1bb792acda6fd0724936b4ebbdbc8eceb9c0459 # v6.2.0
     hooks:
       - id: reuse-lint-file
-        exclude: \.svg$
+        exclude: \.(svg|tpl|txt|conf|lock|json|in)$
   - repo: local
     hooks:
       - id: copyright
         name: Check and fix copyright headers with cr_checker
-        entry: cr_checker/tool/pre-commit_wrapper --extensions h hpp c cpp rs rst py sh bzl ini yml yaml BUILD bazel --fix
-        exclude: \.svg$
+        entry: cr_checker/tool/pre-commit_wrapper --extensions h hpp c cpp rs rst py sh bzl ini yml yaml trlc rsl puml svg BUILD bazel --fix
         # this would be the better language implementation, but struggle with python tooling
         # language: python
         language: script
         minimum_pre_commit_version: 3.2.0
-        types_or: [python, yaml, ini, rst, sh, shell, bash, bazel, c, c++, rust]
+        types_or: [python, yaml, ini, rst, sh, shell, bash, bazel, c, c++, rust, plantuml, svg]

.pre-commit-hooks.yaml

@@ -12,9 +12,9 @@
 # *******************************************************************************
 - id: copyright
   name: Check and fix copyright headers with cr_checker
-  entry: cr_checker/tool/pre-commit_wrapper --extensions h hpp c cpp rs rst py sh bzl ini yml yaml BUILD bazel --fix
+  entry: cr_checker/tool/pre-commit_wrapper --extensions h hpp c cpp rs rst py sh bzl ini yml yaml trlc rsl puml svg BUILD bazel --fix
   # this would be the better language implementation, but struggle with python tooling
   # language: python
   language: script
   minimum_pre_commit_version: 3.2.0
-  types_or: [python, yaml, ini, rst, sh, shell, bash, bazel, c, c++, rust]
+  types_or: [python, yaml, ini, rst, sh, shell, bash, bazel, c, c++, rust, plantuml, svg]

bazel/rules/rules_score/examples/seooc/safety_analysis/assets/safety_analysis.puml

@@ -34,6 +34,7 @@ object "Failure Mode" as FailureMode
 object "Root Cause" as RootCause
 object "Safety Goal" as SafetyGoal
 object "Measure" as Measure
+object "Control Measure" as ControlMeasure
 object "Assumption of Use\n(AoU)" as AoU
 
 SafetyAnalysis <|-l- FMEA
@@ -49,8 +50,10 @@ SEooC "1" o-- "n" AoU
 FMEA ..> FailureMode : determine
 FTA ..> RootCause : determine
 
-Measure <|-u- AoU
-RootCause <-l- Measure : mitigates
+Measure <|-- ControlMeasure
+Measure <|-- AoU
+RootCause <-l- ControlMeasure : same ID
+RootCause <-l- AoU : mitigates
 
 
 

bazel/rules/rules_score/examples/seooc/safety_analysis/safety_analysis.md

@@ -105,18 +105,26 @@ $BasicEvent("No More Coffee", "SampleLibrary.NoMoreCoffee", "AG2")
 ![FTA Example](assets/fta_example.svg)
 
 ## Control Measures
-For each BasicEvent a Control Measure shall be derived. This will be performed again in TRLC. The Mapping between PlantUML and TRLC will be done again based on the ID. So for our case we will define a Control Measure for NoMoreCookies:
+For each BasicEvent a Control Measure shall be derived. This will be performed again in TRLC. The mapping between the FTA BasicEvent and the ControlMeasure is established by **using the same TRLC ID**: the `ControlMeasure` record name (combined with its package) must match the alias of the `$BasicEvent` in the FTA diagram.
+
+For our case the BasicEvent is defined as:
+
+```plantuml
+$BasicEvent("No More Cookies", "SampleLibrary.NoMoreCookies", "AG2")
+```
+
+The corresponding ControlMeasure must therefore be named `NoMoreCookies` in package `SampleLibrary`:
 
 ```trlc
-ScoreReq.ControlMeasure SampleAoU{
+ScoreReq.ControlMeasure NoMoreCookies{
     safety = ScoreReq.Asil.B
     description = "We shall only order family size cookie jars"
     version = 1
-    mitigates = "SampleLibrary.NoMoreCookies"
 }
-
 ```
 
+The traceability link is established automatically via matching of the fully-qualified name `SampleLibrary.NoMoreCookies`.
+
 ## Traceability Report
 
 The `dependability_analysis` rule wrapping the `fmea` target is a Bazel test rule that runs a [lobster](https://github.com/bmw-software-engineering/lobster) traceability report via `lobster-ci-report`.

bazel/rules/rules_score/examples/seooc/safety_analysis/sample_fmea_control_measures.trlc

@@ -18,19 +18,16 @@ ScoreReq.ControlMeasure JustBadLuck{
     safety = ScoreReq.Asil.B
     description = "Sometimes, the dark side wins. We shall be prepared for that."
     version = 1
-    mitigates = "SampleLibrary.JustBadLuck"
 }
 
 ScoreReq.ControlMeasure NoMoreCookies{
     safety = ScoreReq.Asil.B
     description = "We shall only order family size cookie jars"
     version = 1
-    mitigates = "SampleLibrary.NoMoreCookies"
 }
 
 ScoreReq.ControlMeasure NoMoreCoffee{
     safety = ScoreReq.Asil.B
     description = "We shall keep a coffee reserve for emergencies"
     version = 1
-    mitigates = "SampleLibrary.NoMoreCoffee"
 }

bazel/rules/rules_score/trlc/config/score_requirements_model.rsl

@@ -104,11 +104,20 @@ type FailureMode extends ScoreReq.RequirementSafety {
     interface optional      String
 }
 
-type ControlMeasure extends ScoreReq.RequirementSafety {
-    mitigates optional               String
+abstract type Measure extends ScoreReq.RequirementSafety {
+}
+
+type ControlMeasure extends Measure {
+}
+
+type PreventiveMeasure extends Measure {
+}
+
+type Mitigation extends Measure {
 }
 
 type AoU extends ControlMeasure {
+    mitigates optional               String
 }
 
 ///////////////////////////////

cr_checker/tests/test_cr_checker.py

@@ -10,6 +10,7 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 # *******************************************************************************
+
 # unit tests for the shebang handling in the cr_checker module
 from __future__ import annotations
 

lobster_bazel/parse_source_files.py

@@ -1,4 +1,3 @@
-#!/usr/bin/env python3
 # *******************************************************************************
 # Copyright (c) 2026 Contributors to the Eclipse Foundation
 #