Pastey crate requirement

MODULE.bazel

@@ -373,3 +373,19 @@ crate.from_specs(
     ],
 )
 use_repo(crate, "crate_index")
+
+# TRLC dependency for requirements traceability
+bazel_dep(name = "trlc", version = "0.0.0", dev_dependency = True)
+git_override(
+    module_name = "trlc",
+    commit = "3a71fd56001b95dfbb5270a49449ec0a631cd56c",  #TRLC 2.0.4
+    remote = "https://github.com/bmw-software-engineering/trlc.git",
+)
+
+# Lobster dependency for requirements traceability
+bazel_dep(name = "lobster", version = "0.0.0", dev_dependency = True)
+git_override(
+    module_name = "lobster",
+    commit = "d528fbdec2cd72ff7967b51546fb0bd935810258",
+    remote = "https://github.com/bmw-software-engineering/lobster.git",
+)

docs/pastey/docs/BUILD

@@ -0,0 +1,22 @@
+# *******************************************************************************
+# 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
+# *******************************************************************************
+
+load("@trlc//:trlc.bzl", "trlc_requirements")
+
+trlc_requirements(
+    name = "aou",
+    srcs = [
+        "aou.trlc",
+    ],
+    visibility = ["//visibility:public"],
+)

docs/pastey/docs/aou.trlc

@@ -0,0 +1,30 @@
+/********************************************************************************
+ * 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
+ ********************************************************************************/
+package PasteyAoU
+
+import ScoreReq
+
+ScoreReq.AoU PasteyRustCompilerCertified {
+    description = "The Rust compiler used to build the pastey crate shall be safety certified up to ASIL B."
+    safety = ScoreReq.Asil.B
+    version = 1
+    note = "Safety-critical software development requires a qualified toolchain to ensure compiler-generated code meets functional safety requirements"
+}
+
+ScoreReq.AoU PasteyUsedInValidSyntaxPositions {
+    description = "It shall be ensured that the pastey macro is only invoked in Rust source positions where an identifier or item is syntactically valid."
+    safety = ScoreReq.Asil.B
+    note = "The pastey crate emits raw tokens into the surrounding code without additional context checks. Using it in invalid positions will result in compilation errors or undefined behavior."
+    version = 1
+    mitigates = "InvalidTokenPlacement, CompilationErrors, UndefinedBehavior"
+}

docs/pastey/docs/requirement/BUILD

@@ -0,0 +1,45 @@
+# *******************************************************************************
+# 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
+# *******************************************************************************
+
+load("@trlc//:trlc.bzl", "trlc_requirements")
+
+trlc_requirements(
+    name = "system_requirements",
+    srcs = [
+        "assumed_system_requirements.trlc",
+    ],
+    visibility = ["//visibility:public"],
+)
+
+trlc_requirements(
+    name = "feature_requirements",
+    srcs = [
+        "feature_requirements.trlc",
+    ],
+    visibility = ["//visibility:public"],
+    deps = [
+        ":system_requirements",
+    ],
+)
+
+trlc_requirements(
+    name = "component_requirements",
+    srcs = [
+        "component_requirements.trlc",
+    ],
+    visibility = ["//visibility:public"],
+    deps = [
+        ":system_requirements",
+        ":feature_requirements",
+    ],
+)

docs/pastey/docs/requirement/assumed_system_requirements.trlc

@@ -0,0 +1,23 @@
+********************************************************************************
+ * 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
+ ********************************************************************************/
+package RustCrateSysReq
+
+import ScoreReq
+
+ScoreReq.AssumedSystemReq ASR_RUST_CRATE {
+    description = "The SW-platform shall support implementation of applications in the Rust programming language up to ASIL B."
+    safety = ScoreReq.Asil.B
+    version = 1
+    rationale = "The system requires a Rust toolchain with stable language features to enable development of safety-critical software components"
+}
+