AMAGI: Master Parameter Sheet v2.0 Verified — Amagi Framework Hardware-Enforced PTCB for Autonomous CPS

Read full text
Authors: Alexey Mikhailovich Burlai
Cited by: 12
References: 8

Abstract

License: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) — https://creativecommons.org/licenses/by-nc/4.0/legalcode. Commercial and safety-critical use of derivatives is subject to S-APL v2.0 (Strict Architectural Principle License) — full text in the attached PDF and at https://zenodo.org/records/20753406. The Zenodo `license` field shows CC BY-NC 4.0 (the SPDX ID accepted by Zenodo); S-APL v2.0 governs any commercial or safety-critical use of derivative works. ─────────────────────────────────────────────── Master parameter sheet for the AMAGI Architectural Class — the single source of truth for all quantitative and configuration parameters referenced across the AMAGI document family. SCOPEConsolidates all numerical values, timing budgets, memory maps, register definitions, clock frequencies, voltage thresholds, and diagnostic intervals referenced by Framework v2.0, NIPU v1.1, MEM v1.1, HARA v1.0, FMEDA v1.0, and Traceability Matrix v1.0. Any change to a parameter in this sheet propagates normatively to all dependent documents. PARAMETER CATEGORIES• Timing budgets (CRTM response ≤ 15 µs, EGW gate-close latency ≤ 50 ns)• Memory map (MAG in eFuse/OTP, SHMF regions, audit log partition)• Clock and reset (watchdog timeout, brownout thresholds)• Diagnostic intervals (CRC period, hash chain block size)• Cryptographic parameters (ML-KEM-1024, ML-DSA-44, SLH-DSA-128f parameters) VERSIONINGAll parameters are versioned per semver. Version 2.0 supersedes v1.0 (Zenodo record 10.5281/zenodo.20145098) and aligns with Framework v2.0, NIPU v1.1, and MEM v1.1. ALIGNMENTThis document is normatively aligned with: Framework v2.0, NIPU v1.1, MEM v1.1, HARA v1.0, FMEDA v1.0, Traceability Matrix v1.0, S-APL v2.0, and AGIAM Charter v1.2.

Fields of Study & Subjects

Modeling and Simulation Systems Security and Verification in Computing Real-Time Systems Scheduling

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
18 June 2026
Language
EN