textual-notation-of-model/packages/architecture/execution_environments.sysml

Source

1package DE4SDV_ExecutionEnvironments {2  private import SAF_Viewpoints::*;3  private import DE4SDV_Stakeholders::*;4  private import Views::*;567  doc /*8   * Reusable execution-environment shared asset for DE4SDV model-based PLE.9   *10   * EngineeringExecutionEnvironment describes System 2 build, simulation,11   * verification, and evidence hosts. VehicleTargetExecutionEnvironment12   * describes System 1 compute deployed into an SDV member product. A board13   * family appearing in one role does not imply qualification for the other.14   *15   * Native SysML v2 variation/variant notation carries structural choices.16   * The companion Feature Catalogues carry cross-tree compatibility algebra.17   * Bill-of-Features evidence metadata is validated by configure_variant.py.18   */1920  enum def ExecutionEnvironmentEvidenceStatus {21    draft;22    planned;23    inspected;24    simulated;25    analyzed;26    tested;27    accepted;28    rejected;29    gap;30  }3132  part def ExecutionEnvironment;3334  part def ComputeNode;35  part def EngineeringComputeNode :> ComputeNode;36  part def VehicleComputeNode :> ComputeNode;3738  part def OperatingSystem;39  part def EngineeringOperatingSystem :> OperatingSystem;40  part def VehicleOperatingSystem :> OperatingSystem;4142  part def ExecutionRuntime;43  part def EngineeringExecutionRuntime :> ExecutionRuntime;44  part def VehicleExecutionRuntime :> ExecutionRuntime;4546  part def AOSPAAOSBuildResourceEnvelope {47    doc /*48     * Minimum engineering-system capability envelope for a pinned AAOS build49     * and a Cuttlefish execution attempt. These values describe a readiness50     * requirement, not evidence that a candidate host currently provides it.51     */52    attribute targetArchitecture : ScalarValues::String = "x86_64";53    attribute minimumMemoryGiB : ScalarValues::Integer = 64;54    attribute minimumFreeStorageGiB : ScalarValues::Integer = 400;55    attribute nestedVirtualizationRequired : ScalarValues::Boolean = true;56    attribute targetRuntime : ScalarValues::String = "AAOS Cuttlefish";57  }5859  part def AOSPAAOSBuildRuntimeHost :> EngineeringComputeNode {60    doc /*61     * System 2 enabling-system role for building the pinned AAOS target and62     * attempting a Cuttlefish runtime. It is separate from the System 163     * vehicle/platform runtime and does not imply interoperability evidence.64     */65    part resourceEnvelope : AOSPAAOSBuildResourceEnvelope;66  }6768  part def IntelX8664NestedKvmHostCandidate :> AOSPAAOSBuildRuntimeHost {69    doc /*70     * Provider-neutral candidate for an Intel x86_64 Linux host with nested71     * virtualization. Cloud provider, region, quota, disk performance, and72     * /dev/kvm availability remain planned preflight questions.73     */74  }7576  part def LinuxX8664AOSPBuildOperatingSystem :> EngineeringOperatingSystem {77    doc /* Candidate Linux x86_64 operating-system environment for the AAOS build. */78  }7980  part def NestedKvmCuttlefishRuntimeCandidate :> EngineeringExecutionRuntime {81    doc /*82     * Candidate nested-KVM execution runtime for Cuttlefish. Presence of the83     * runtime definition does not prove that KVM is available on a host.84     */85  }8687  part def Arm64ProcessorArchitecture;8889  part def NVIDIAJetsonOrinNanoDeveloperKitSuper8GiB :> EngineeringComputeNode {90    doc /*91     * Exact maintained INC-AEBS-009A evidence host. Kernel-reported board model:92     * "NVIDIA Jetson Orin Nano Engineering Reference Developer Kit Super".93     * Public device family: Jetson Orin Nano Developer Kit Super, 8 GiB class,94     * AArch64/ARM64.95     */96    part processorArchitecture : Arm64ProcessorArchitecture;97  }9899  part def AppleSiliconMacCandidate :> EngineeringComputeNode {100    doc /*101     * Generic Apple Silicon M-series engineering-host candidate. No specific102     * M1/M2/M3/M4 machine and no DE4SDV runtime evidence are claimed.103     */104    part processorArchitecture : Arm64ProcessorArchitecture;105  }106107  part def NXPVehicleComputeCandidate :> VehicleComputeNode {108    doc /*109     * Unverified vehicle-target candidate. Exact NXP board/SoC, architecture,110     * board revision, memory, and toolchain remain unresolved product-line111     * decisions; this definition must not be read as qualification.112     */113  }114115  part def Ubuntu2204TegraLinux :> EngineeringOperatingSystem {116    doc /* Ubuntu 22.04 with the NVIDIA Tegra kernel/platform integration. */117  }118119  part def MacOSOnAppleSiliconCandidate :> EngineeringOperatingSystem {120    doc /* Unverified native macOS engineering-host candidate. */121  }122123  part def ZephyrRTOSCandidate :> VehicleOperatingSystem {124    doc /* Unverified native Zephyr vehicle-target candidate. */125  }126127  part def NativeLinuxArm64OCI :> EngineeringExecutionRuntime {128    doc /* Native Linux ARM64 OCI-container execution using Docker-compatible runtime. */129  }130131  part def VirtualizedLinuxArm64OCIOnMacOSCandidate :> EngineeringExecutionRuntime {132    doc /*133     * Unverified Linux/ARM64 OCI execution through a macOS-hosted virtual134     * machine. This is not equivalent to native Linux execution evidence.135     */136  }137138  part def NativeZephyrRuntimeCandidate :> VehicleExecutionRuntime {139    doc /*140     * Unverified native Zephyr execution. It does not imply that the Autoware141     * ROS 2 application composition can execute on Zephyr.142     */143  }144145  part def ExecutionEnvironmentEvidenceArtifact {146    doc /* Retained repository artifact supporting an environment claim. */147  }148149  part def TestedExecutionEnvironmentEvidence :> ExecutionEnvironmentEvidenceArtifact;150  part def InspectedExecutionEnvironmentEvidence :> ExecutionEnvironmentEvidenceArtifact;151  part def PlannedExecutionEnvironmentEvidence :> ExecutionEnvironmentEvidenceArtifact;152153  part def EngineeringExecutionEnvironment :> ExecutionEnvironment {154    doc /* Configurable System 2 engineering, simulation, or verification host. */155156    variation part computeNode : EngineeringComputeNode {157      variant part jetsonOrinNano : NVIDIAJetsonOrinNanoDeveloperKitSuper8GiB;158      variant part appleSiliconMac : AppleSiliconMacCandidate;159      variant part intelX8664NestedKvmHost : IntelX8664NestedKvmHostCandidate;160    }161162    variation part operatingSystem : EngineeringOperatingSystem {163      variant part ubuntu2204Tegra : Ubuntu2204TegraLinux;164      variant part macOSAppleSilicon : MacOSOnAppleSiliconCandidate;165      variant part linuxX8664AOSPBuild : LinuxX8664AOSPBuildOperatingSystem;166    }167168    variation part executionRuntime : EngineeringExecutionRuntime {169      variant part nativeLinuxArm64OCI : NativeLinuxArm64OCI;170      variant part virtualizedLinuxArm64OCIOnMacOS : VirtualizedLinuxArm64OCIOnMacOSCandidate;171      variant part nestedKvmCuttlefish : NestedKvmCuttlefishRuntimeCandidate;172    }173  }174175  part def AOSPAAOSBuildRuntimeEnvironment :> EngineeringExecutionEnvironment {176    doc /*177     * Candidate System 2 enabling environment for the pinned AAOS target and178     * Cuttlefish. It is a reusable candidate configuration, not a selected179     * cloud deployment or runtime-interoperability result.180     */181    part :>> computeNode = computeNode::intelX8664NestedKvmHost;182    part :>> operatingSystem = operatingSystem::linuxX8664AOSPBuild;183    part :>> executionRuntime = executionRuntime::nestedKvmCuttlefish;184  }185186  part def VehicleTargetExecutionEnvironment :> ExecutionEnvironment {187    doc /*188     * Configurable System 1 vehicle compute target. The zero-multiplicity189     * variants preserve the honest state in which no concrete target has been190     * selected; they do not represent physical product features.191     */192193    variation part computeNode : VehicleComputeNode[0..1] {194      variant part nxpVehicleCompute : NXPVehicleComputeCandidate;195      variant part noConcreteComputeNode[0];196    }197198    variation part operatingSystem : VehicleOperatingSystem[0..1] {199      variant part zephyr : ZephyrRTOSCandidate;200      variant part noConcreteOperatingSystem[0];201    }202203    variation part executionRuntime : VehicleExecutionRuntime[0..1] {204      variant part nativeZephyr : NativeZephyrRuntimeCandidate;205      variant part noConcreteExecutionRuntime[0];206    }207  }208209  concern physicalStructureConcern : PhysicalStructureConcern {210    subject;211    stakeholder systemsEngineer : SystemsEngineer;212    stakeholder reviewer : OpenSourceReviewer;213  }214215  concern argumentationAssuranceConcern : ArgumentationAssuranceConcern {216    doc /* Evidence-based assurance claims and their supporting argumentation. */217  }218219  view executionEnvironmentsAssuranceView {220    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {221      frame argumentationAssuranceConcern;222    }223224    expose DE4SDV_ExecutionEnvironments::*;225    render asTreeDiagram;226  }227}228