@h2loop/autosar 1.1.0 → 1.2.0

package/python/ecuc_engine/codegen/bindings/sip_standin.json

@@ -5,25 +5,44 @@
     "NvM": {
       "detect": {"header": "NvM.h", "contains": "NvM_BlockDescriptorType"},
       "sourceIncludes": ["NvM.h"],
-      "macros": [
-        {"name": "NVM_TOTAL_NUM_OF_NVRAM_BLOCKS", "value": "max:NvMBlockDescriptor/NvMNvramBlockIdentifier+1"}
-      ],
+      "macros": [{"name": "NVM_TOTAL_NUM_OF_NVRAM_BLOCKS", "value": "max:NvMBlockDescriptor/NvMNvramBlockIdentifier+1"}],
       "tables": [
         {
-          "name": "NvM_BlockDescriptorTable", "type": "NvM_BlockDescriptorType", "qualifier": "NVM_CONST",
-          "rows": "NvMBlockDescriptor", "size": "NVM_TOTAL_NUM_OF_NVRAM_BLOCKS", "designated": true,
-          "doc": "indexed by NvMNvramBlockIdentifier (0 and 1 are reserved, SWS_NvM_00478)",
+          "name": "NvM_BlockDescriptorTable",
+          "type": "NvM_BlockDescriptorType",
+          "qualifier": "NVM_CONST",
+          "rows": "NvMBlockDescriptor",
+          "size": "NVM_TOTAL_NUM_OF_NVRAM_BLOCKS",
+          "designated": true,
+          "doc": "indexed by NvMNvramBlockIdentifier (0 and 1 are reserved block IDs)",
           "fields": [
-            {"name": "RamBlockDataAddress", "path": "param:NvMRamBlockDataAddress", "default": "NULL_PTR",
-             "extern": "VAR(uint8, NVM_APPL_DATA) {}[]"},
+            {
+              "name": "RamBlockDataAddress",
+              "path": "param:NvMRamBlockDataAddress",
+              "default": "NULL_PTR",
+              "extern": "VAR(uint8, NVM_APPL_DATA) {}[]"
+            },
             {"name": "NvBlockLength", "path": "param:NvMNvBlockLength"},
-            {"name": "FeeBlockNumber", "path": [["sub:NvMTargetBlockReference", "sub:NvMFeeRef", "ref:NvMNameOfFeeBlock", "param:FeeBlockNumber"],
-                                                 ["sub:NvMTargetBlockReference", "sub:NvMEaRef", "ref:NvMNameOfEaBlock", "param:EaBlockNumber"]]},
-            {"name": "ManagementType", "path": "param:NvMBlockManagementType"},
+            {
+              "name": "FeeBlockNumber",
+              "path": [
+                ["sub:NvMTargetBlockReference", "sub:NvMFeeRef", "ref:NvMNameOfFeeBlock", "param:FeeBlockNumber"],
+                ["sub:NvMTargetBlockReference", "sub:NvMEaRef", "ref:NvMNameOfEaBlock", "param:EaBlockNumber"]
+              ]
+            },
+            {
+              "name": "ManagementType",
+              "path": "param:NvMBlockManagementType",
+              "enum": {"NVM_BLOCK_NATIVE": 0, "NVM_BLOCK_REDUNDANT": 1, "NVM_BLOCK_DATASET": 2},
+              "doc": "NvM.h types the field as uint8 without literal values; the SWS defines no C encoding either (ECUC_NvM_00062 is an ECUC enum). Encoded in the SWS_NvM_00137 listing order, not the def's alphabetical literal order."
+            },
             {"name": "UseCrc", "path": "param:NvMBlockUseCrc"},
-            {"name": "SingleBlockCallback", "path": ["sub:NvMSingleBlockCallback", "param:NvMSingleBlockCallbackFnc"],
-             "default": "NULL_PTR",
-             "extern": "FUNC(Std_ReturnType, NVM_APPL_CODE) {}(NvM_BlockRequestType BlockRequest, NvM_RequestResultType JobResult)"}
+            {
+              "name": "SingleBlockCallback",
+              "path": ["sub:NvMSingleBlockCallback", "param:NvMSingleBlockCallbackFnc"],
+              "default": "NULL_PTR",
+              "extern": "FUNC(Std_ReturnType, NVM_APPL_CODE) {}(NvM_BlockRequestType BlockRequest, NvM_RequestResultType JobResult)"
+            }
           ]
         }
       ]
@@ -31,9 +50,7 @@
     "Dem": {
       "detect": {"header": "Dem.h", "contains": "Dem_EventIdType"},
       "genericTables": true,
-      "macros": [
-        {"name": "DEM_NUMBER_OF_EVENTS", "value": "max:DemEventParameter/DemEventId"}
-      ]
+      "macros": [{"name": "DEM_NUMBER_OF_EVENTS", "value": "max:DemEventParameter/DemEventId"}]
     },
     "PduR": {
       "detect": {"header": "PduR.h", "contains": "PduR_RoutingPathType"},
@@ -44,30 +61,53 @@
       ],
       "tables": [
         {
-          "name": "PduR_RoutingPaths", "type": "PduR_RoutingPathType", "qualifier": "PDUR_CONST", "static": true,
-          "rows": "PduRSrcPdu", "size": "PDUR_NUMBER_OF_SRC_PDUS",
-          "doc": "indexed by PduRSourcePduHandleId", "comment": "name",
+          "name": "PduR_RoutingPaths",
+          "type": "PduR_RoutingPathType",
+          "qualifier": "PDUR_CONST",
+          "static": true,
+          "rows": "PduRSrcPdu",
+          "size": "PDUR_NUMBER_OF_SRC_PDUS",
+          "doc": "indexed by PduRSourcePduHandleId",
+          "comment": "name",
           "fields": [
-            {"name": "DestModule", "path": ["back:PduRRoutingPath/PduRSrcPduRRef", "ref:PduRDestPduRRef", "peer:PduRDestPduRef", "module"],
-             "fmt": "PDUR_DEST_{MIP}"},
-            {"name": "DestLowerPduId", "path": ["back:PduRRoutingPath/PduRSrcPduRRef", "ref:PduRDestPduRRef", "peer:PduRDestPduRef", "sym"]},
+            {
+              "name": "DestModule",
+              "path": ["back:PduRRoutingPath/PduRSrcPduRRef", "ref:PduRDestPduRRef", "peer:PduRDestPduRef", "module"],
+              "fmt": "PDUR_DEST_{MIP}"
+            },
+            {
+              "name": "DestLowerPduId",
+              "path": ["back:PduRRoutingPath/PduRSrcPduRRef", "ref:PduRDestPduRRef", "peer:PduRDestPduRef", "sym"]
+            },
             {"name": "DestPduRPduId", "path": ["back:PduRRoutingPath/PduRSrcPduRRef", "ref:PduRDestPduRRef", "sym"]}
           ]
         },
         {
-          "name": "PduR_TxConfUpperPduId", "type": "PduIdType", "qualifier": "PDUR_CONST", "static": true, "scalar": true,
-          "rows": "PduRDestPdu", "size": "PDUR_NUMBER_OF_DEST_PDUS",
+          "name": "PduR_TxConfUpperPduId",
+          "type": "PduIdType",
+          "qualifier": "PDUR_CONST",
+          "static": true,
+          "scalar": true,
+          "rows": "PduRDestPdu",
+          "size": "PDUR_NUMBER_OF_DEST_PDUS",
           "doc": "indexed by PduRDestPduHandleId: the upper (Com) I-PDU to confirm when the source PDU asks for it (PduRSrcPduUpTxConf)",
           "fields": [
-            {"name": "UpperPduId", "path": ["back:PduRRoutingPath/PduRDestPduRRef", "ref:PduRSrcPduRRef", "peer:PduRSrcPduRef@Com", "sym"],
-             "when": ["back:PduRRoutingPath/PduRDestPduRRef", "ref:PduRSrcPduRRef", "param:PduRSrcPduUpTxConf"],
-             "default": "COMSTACK_INVALID_PDUID"}
+            {
+              "name": "UpperPduId",
+              "path": ["back:PduRRoutingPath/PduRDestPduRRef", "ref:PduRSrcPduRRef", "peer:PduRSrcPduRef@Com", "sym"],
+              "when": ["back:PduRRoutingPath/PduRDestPduRRef", "ref:PduRSrcPduRRef", "param:PduRSrcPduUpTxConf"],
+              "default": "COMSTACK_INVALID_PDUID"
+            }
           ]
         }
       ],
       "objects": [
-        {"name": "PduR_Config", "type": "PduR_PBConfigType", "qualifier": "PDUR_CONST",
-         "init": ["PduR_RoutingPaths", "PduR_TxConfUpperPduId", "PDUR_NUMBER_OF_SRC_PDUS", "PDUR_NUMBER_OF_DEST_PDUS"]}
+        {
+          "name": "PduR_Config",
+          "type": "PduR_PBConfigType",
+          "qualifier": "PDUR_CONST",
+          "init": ["PduR_RoutingPaths", "PduR_TxConfUpperPduId", "PDUR_NUMBER_OF_SRC_PDUS", "PDUR_NUMBER_OF_DEST_PDUS"]
+        }
       ]
     },
     "CanIf": {
@@ -79,19 +119,32 @@
       ],
       "tables": [
         {
-          "name": "CanIf_TxPduConfig", "type": "CanIf_TxPduConfigType", "qualifier": "CANIF_CONST", "static": true,
-          "rows": "CanIfTxPduCfg", "size": "CANIF_NUMBER_OF_TX_PDUS", "comment": "sym",
+          "name": "CanIf_TxPduConfig",
+          "type": "CanIf_TxPduConfigType",
+          "qualifier": "CANIF_CONST",
+          "static": true,
+          "rows": "CanIfTxPduCfg",
+          "size": "CANIF_NUMBER_OF_TX_PDUS",
+          "comment": "sym",
           "doc": "indexed by CanIfTxPduId",
           "fields": [
             {"name": "CanId", "path": "param:CanIfTxPduCanId", "fmt": "hex"},
             {"name": "Dlc", "path": ["ref:CanIfTxPduRef", "param:PduLength"]},
-            {"name": "Hth", "path": ["ref:CanIfTxPduBufferRef", "ref:CanIfBufferHthRef", "ref:CanIfHthIdSymRef", "sym"]},
+            {
+              "name": "Hth",
+              "path": ["ref:CanIfTxPduBufferRef", "ref:CanIfBufferHthRef", "ref:CanIfHthIdSymRef", "sym"]
+            },
             {"name": "UpperPduId", "path": ["peer:CanIfTxPduRef@PduR", "sym"]}
           ]
         },
         {
-          "name": "CanIf_RxPduConfig", "type": "CanIf_RxPduConfigType", "qualifier": "CANIF_CONST", "static": true,
-          "rows": "CanIfRxPduCfg", "size": "CANIF_NUMBER_OF_RX_PDUS", "comment": "sym",
+          "name": "CanIf_RxPduConfig",
+          "type": "CanIf_RxPduConfigType",
+          "qualifier": "CANIF_CONST",
+          "static": true,
+          "rows": "CanIfRxPduCfg",
+          "size": "CANIF_NUMBER_OF_RX_PDUS",
+          "comment": "sym",
           "doc": "indexed by CanIfRxPduId",
           "fields": [
             {"name": "CanId", "path": "param:CanIfRxPduCanId", "fmt": "hex"},
@@ -103,8 +156,222 @@
         }
       ],
       "objects": [
-        {"name": "CanIf_Config", "type": "CanIf_ConfigType", "qualifier": "CANIF_CONST",
-         "init": ["CanIf_TxPduConfig", "CanIf_RxPduConfig", "CANIF_NUMBER_OF_TX_PDUS", "CANIF_NUMBER_OF_RX_PDUS"]}
+        {
+          "name": "CanIf_Config",
+          "type": "CanIf_ConfigType",
+          "qualifier": "CANIF_CONST",
+          "init": ["CanIf_TxPduConfig", "CanIf_RxPduConfig", "CANIF_NUMBER_OF_TX_PDUS", "CANIF_NUMBER_OF_RX_PDUS"]
+        }
+      ]
+    },
+    "Com": {
+      "detect": {"header": "Com.h", "contains": "Com_SignalInfoType"},
+      "sourceIncludes": ["Com.h"],
+      "sets": {
+        "TxSignals": {
+          "rows": "ComSignal",
+          "where": [{"path": ["back:ComIPdu/ComIPduSignalRef", "param:ComIPduDirection"], "in": ["SEND"]}]
+        },
+        "RxSignals": {
+          "rows": "ComSignal",
+          "where": [{"path": ["back:ComIPdu/ComIPduSignalRef", "param:ComIPduDirection"], "in": ["RECEIVE"]}]
+        },
+        "TxIPdus": {"rows": "ComIPdu", "where": [{"path": "param:ComIPduDirection", "in": ["SEND"]}]},
+        "RxIPdus": {"rows": "ComIPdu", "where": [{"path": "param:ComIPduDirection", "in": ["RECEIVE"]}]}
+      },
+      "handleLayout": [
+        {"param": "ComHandleId", "sets": ["TxSignals", "RxSignals"]},
+        {"param": "ComIPduHandleId", "sets": ["TxIPdus", "RxIPdus"]}
+      ],
+      "require": [
+        {
+          "rows": "ComSignal",
+          "path": "param:ComSignalEndianness",
+          "in": ["LITTLE_ENDIAN"],
+          "why": "Com_PackBits/Com_UnpackBits pack LSB-first from ComBitPosition (Com_SignalInfoType has no endianness field)"
+        },
+        {"rows": "ComIPdu", "path": "param:ComIPduType", "in": ["NORMAL"], "why": "Com.c has no TP (large data) path"},
+        {
+          "rows": "ComSignal",
+          "path": "param:ComUpdateBitPosition",
+          "in": [null],
+          "why": "Com_SignalInfoType has no update bit"
+        }
+      ],
+      "unsupported": [
+        {"rows": "ComSignalGroup", "why": "Com.h has no signal-group table (Com_SignalGroupIdType only)"},
+        {"rows": "ComGwMapping", "why": "Com.c has no signal gateway"},
+        {"rows": "ComFilter", "why": "Com.c has no transmission mode selection (ComFilter / TMS)"},
+        {"rows": "ComTxModeFalse", "why": "Com.c has no transmission mode selection (ComTxModeFalse)"}
+      ],
+      "macros": [
+        {"name": "COM_NUMBER_OF_TX_SIGNALS", "value": "count:@TxSignals"},
+        {"name": "COM_NUMBER_OF_RX_SIGNALS", "value": "count:@RxSignals"},
+        {"name": "COM_NUMBER_OF_TX_IPDUS", "value": "count:@TxIPdus"},
+        {"name": "COM_NUMBER_OF_RX_IPDUS", "value": "count:@RxIPdus"},
+        {"name": "COM_NUMBER_OF_IPDUS", "value": "count:ComIPdu"}
+      ],
+      "vars": [
+        {
+          "name": "Com_IPduBuffer_{}",
+          "rows": "ComIPdu",
+          "type": "uint8",
+          "qualifier": "COM_VAR",
+          "static": true,
+          "size": ["ref:ComPduIdRef", "param:PduLength"],
+          "section": "VAR_NOINIT_UNSPECIFIED"
+        }
+      ],
+      "tables": [
+        {
+          "name": "Com_TxSignalInfo",
+          "type": "Com_SignalInfoType",
+          "qualifier": "COM_CONST",
+          "static": true,
+          "rows": "@TxSignals",
+          "size": "COM_NUMBER_OF_TX_SIGNALS",
+          "designated": true,
+          "comment": "sym",
+          "doc": "Tx signals, indexed by ComHandleId (Com_SendSignal: TxSignals[SignalId])",
+          "fields": [
+            {"name": "BitPosition", "path": "param:ComBitPosition"},
+            {"name": "BitSize", "path": "param:ComBitSize"},
+            {
+              "name": "Type",
+              "path": "param:ComSignalType",
+              "enum": {
+                "BOOLEAN": "COM_SIGTYPE_BOOLEAN",
+                "UINT8": "COM_SIGTYPE_UINT8",
+                "UINT16": "COM_SIGTYPE_UINT16",
+                "UINT32": "COM_SIGTYPE_UINT32",
+                "SINT8": "COM_SIGTYPE_SINT8",
+                "SINT16": "COM_SIGTYPE_SINT16",
+                "SINT32": "COM_SIGTYPE_SINT32"
+              }
+            },
+            {"name": "IPduRef", "path": ["back:ComIPdu/ComIPduSignalRef", "sym"]},
+            {"name": "InitValue", "path": "param:ComSignalInitValue", "fmt": "int", "default": "0u"},
+            {
+              "name": "TransferProperty",
+              "path": "param:ComTransferProperty",
+              "enum": {
+                "PENDING": "COM_XFER_PENDING",
+                "TRIGGERED": "COM_XFER_TRIGGERED",
+                "TRIGGERED_ON_CHANGE": "COM_XFER_TRIGGERED_ON_CHANGE"
+              },
+              "default": "COM_XFER_PENDING"
+            },
+            {"name": "Notification", "path": "call:rteSignalCallback", "default": "NULL_PTR"}
+          ]
+        },
+        {
+          "name": "Com_RxSignalInfo",
+          "type": "Com_SignalInfoType",
+          "qualifier": "COM_CONST",
+          "static": true,
+          "rows": "@RxSignals",
+          "size": "COM_NUMBER_OF_RX_SIGNALS",
+          "designated": "{sym} - COM_NUMBER_OF_TX_SIGNALS",
+          "comment": "sym",
+          "doc": "Rx signals, indexed by ComHandleId - COM_NUMBER_OF_TX_SIGNALS (Com_ReceiveSignal)",
+          "fields": [
+            {"name": "BitPosition", "path": "param:ComBitPosition"},
+            {"name": "BitSize", "path": "param:ComBitSize"},
+            {
+              "name": "Type",
+              "path": "param:ComSignalType",
+              "enum": {
+                "BOOLEAN": "COM_SIGTYPE_BOOLEAN",
+                "UINT8": "COM_SIGTYPE_UINT8",
+                "UINT16": "COM_SIGTYPE_UINT16",
+                "UINT32": "COM_SIGTYPE_UINT32",
+                "SINT8": "COM_SIGTYPE_SINT8",
+                "SINT16": "COM_SIGTYPE_SINT16",
+                "SINT32": "COM_SIGTYPE_SINT32"
+              }
+            },
+            {"name": "IPduRef", "path": ["back:ComIPdu/ComIPduSignalRef", "sym"]},
+            {"name": "InitValue", "path": "param:ComSignalInitValue", "fmt": "int", "default": "0u"},
+            {
+              "name": "TransferProperty",
+              "path": "param:ComTransferProperty",
+              "enum": {
+                "PENDING": "COM_XFER_PENDING",
+                "TRIGGERED": "COM_XFER_TRIGGERED",
+                "TRIGGERED_ON_CHANGE": "COM_XFER_TRIGGERED_ON_CHANGE"
+              },
+              "default": "COM_XFER_PENDING"
+            },
+            {"name": "Notification", "path": "call:rteSignalCallback", "default": "NULL_PTR"}
+          ]
+        },
+        {
+          "name": "Com_TxIPduInfo",
+          "type": "Com_TxIPduInfoType",
+          "qualifier": "COM_CONST",
+          "static": true,
+          "rows": "@TxIPdus",
+          "size": "COM_NUMBER_OF_TX_IPDUS",
+          "designated": true,
+          "comment": "sym",
+          "doc": "Tx I-PDUs, indexed by ComIPduHandleId; CycleTicks = ComTxModeTimePeriod / ComMainTxTimeBase of the I-PDU's ComMainFunctionTx",
+          "fields": [
+            {"name": "PduRSrcPduId", "path": ["peer:ComPduIdRef@PduR/PduRSrcPdu", "sym"]},
+            {"name": "Length", "path": ["ref:ComPduIdRef", "param:PduLength"]},
+            {
+              "name": "TxMode",
+              "path": ["sub:ComTxIPdu", "sub:ComTxModeTrue", "sub:ComTxMode", "param:ComTxModeMode"],
+              "enum": {
+                "NONE": "COM_TXMODE_NONE",
+                "DIRECT": "COM_TXMODE_DIRECT",
+                "PERIODIC": "COM_TXMODE_PERIODIC",
+                "MIXED": "COM_TXMODE_MIXED"
+              },
+              "default": "COM_TXMODE_NONE"
+            },
+            {
+              "name": "CycleTicks",
+              "path": ["sub:ComTxIPdu", "sub:ComTxModeTrue", "sub:ComTxMode", "param:ComTxModeTimePeriod"],
+              "divide": ["ref:ComIPduMainFunctionRef", "param:ComMainTxTimeBase"],
+              "default": "0u"
+            },
+            {"name": "Buffer", "path": "name", "fmt": "Com_IPduBuffer_{}"}
+          ]
+        },
+        {
+          "name": "Com_RxIPduInfo",
+          "type": "Com_RxIPduInfoType",
+          "qualifier": "COM_CONST",
+          "static": true,
+          "rows": "@RxIPdus",
+          "size": "COM_NUMBER_OF_RX_IPDUS",
+          "designated": "{sym} - COM_NUMBER_OF_TX_IPDUS",
+          "comment": "sym",
+          "doc": "Rx I-PDUs, indexed by ComIPduHandleId - COM_NUMBER_OF_TX_IPDUS; TimeoutTicks = smallest non-zero ComFirstTimeout/ComTimeout of the I-PDU's signals without update bit (SWS_Com_00291) / ComMainRxTimeBase",
+          "fields": [
+            {"name": "Length", "path": ["ref:ComPduIdRef", "param:PduLength"]},
+            {
+              "name": "TimeoutTicks",
+              "agg": {
+                "over": "ComIPduSignalRef",
+                "params": ["ComFirstTimeout", "ComTimeout"],
+                "op": "min_nonzero",
+                "skipIf": "ComUpdateBitPosition"
+              },
+              "divide": ["ref:ComIPduMainFunctionRef", "param:ComMainRxTimeBase"],
+              "default": "0u"
+            },
+            {"name": "Buffer", "path": "name", "fmt": "Com_IPduBuffer_{}"}
+          ]
+        }
+      ],
+      "objects": [
+        {
+          "name": "Com_Config",
+          "type": "Com_ConfigType",
+          "qualifier": "COM_CONST",
+          "init": ["Com_TxSignalInfo", "Com_RxSignalInfo", "Com_TxIPduInfo", "Com_RxIPduInfo"]
+        }
       ]
     }
   }

package/python/ecuc_engine/codegen/emit.py

@@ -31,6 +31,26 @@ class Ctx:
     sources: list = field(default_factory=list)  # project .c/.h files (static + in-house), for SchM scans
     generating: set = field(default_factory=set)  # module names generated in this run
     available: set = field(default_factory=set)  # header basenames reachable by the build (incl. the output dir)
+    out_headers: dict = field(default_factory=dict)  # headers of other generators (e.g. the RTE) in the project's output dir
+
+    def module_release(self, mip: str) -> tuple:
+        """AUTOSAR release the module's generated configuration is built for: the published information of its
+        static code (<MIP>_AR_RELEASE_*_VERSION in <Mip>.h, SWS_BSW_00059), which SWS_BSW_00036-style checks compare
+        against; the ECUC schema release only when the project has no such header."""
+        f = self.headers.get(f"{mip}.h")
+        rel = published_release(f, mip.upper()) if f else None
+        return rel or self.release
+
+    def header_text(self, name: str) -> Optional[str]:
+        """Text of a project header or of another generator's header in the output dir (None if absent)."""
+        f = self.headers.get(name) or self.out_headers.get(name)
+        if not f:
+            return None
+        try:
+            with open(f, errors="replace") as fh:
+                return fh.read()
+        except OSError:
+            return None
 
     def xsym(self, c: Container, here: ModuleCfg, used: set) -> str:
         """Symbol of a container for use in module `here`: the TPS_ECUC_02108 name when its provider header
@@ -46,12 +66,32 @@ class Ctx:
         return f"{W.c_uint(v)} /* {sym} */" if v is not None else sym
 
 
+def published_release(path: str, MIP: str) -> Optional[tuple]:
+    """(major, minor, revision) from <MIP>_AR_RELEASE_{MAJOR,MINOR,REVISION}_VERSION in a header, if defined."""
+    import re
+    try:
+        with open(path, errors="replace") as fh:
+            t = fh.read()
+    except OSError:
+        return None
+    v = []
+    for k in ("MAJOR", "MINOR", "REVISION"):
+        m = re.search(rf"#\s*define\s+{re.escape(MIP)}_AR_RELEASE_{k}_VERSION\s+\(?(\d+)", t)
+        v.append(int(m.group(1)) if m else None)
+    if v[0] is None or v[1] is None:
+        return None
+    return (v[0], v[1], v[2] or 0)
+
+
 class ModuleOutput:
     def __init__(self, ctx: Ctx, mc: ModuleCfg):
         self.ctx = ctx
         self.mc = mc
         self.mip = mc.mip
         self.MIP = mc.MIP
+        self.release = ctx.module_release(mc.mip)
+        self.vars: dict = {}  # rank -> [(section, text)]: RAM objects (e.g. I-PDU buffers) next to the tables
+        self.errors: list = []  # configuration the static-code binding cannot represent (generation fails)
         self.groups: list = []  # (title, [define lines])
         self.types: list = []
         self.hdecls: list = []
@@ -86,6 +126,12 @@ class ModuleOutput:
             if e not in lst:
                 lst.append(e)
 
+    def var(self, rank: int, section: str, text: str):
+        """A RAM object owned by the configuration (e.g. a buffer the const tables point to)."""
+        rank = max(rank, 1)
+        self.vars.setdefault(rank, []).append((section, text))
+        self.tables.setdefault(rank, [])
+
     def include(self, h: str):
         if h not in self.c_includes:
             self.c_includes.append(h)
@@ -100,7 +146,7 @@ class ModuleOutput:
         return "sha256:" + h.hexdigest()[:16]
 
     def _banner(self, name: str) -> str:
-        return W.banner(name, self.mc.name, self.mc.variant, self.ctx.release, self.ctx.cg.rel_files(self.mc),
+        return W.banner(name, self.mc.name, self.mc.variant, self.release, self.ctx.cg.rel_files(self.mc),
                         self._digest)
 
     def render(self) -> dict:
@@ -111,7 +157,7 @@ class ModuleOutput:
         parts = [self._banner(hname), "", f"#ifndef {g}", f"#define {g}", ""]
         for inc in self.h_includes:
             parts.append(f'#include "{inc}"')
-        maj, mnr, rev = self.ctx.release
+        maj, mnr, rev = self.release
         sw = [int(x) if x.isdigit() else 0 for x in ENGINE_VERSION.split("-")[0].split(".")][:3]
         ver = [(f"{self.MIP}_CFG_AR_RELEASE_MAJOR_VERSION", f"{maj}u"),
                (f"{self.MIP}_CFG_AR_RELEASE_MINOR_VERSION", f"{mnr}u"),
@@ -151,6 +197,12 @@ class ModuleOutput:
             if externs:
                 text += ["/* Objects owned by other modules / the application, referenced by this configuration */",
                          *externs, ""]
+            sections: dict = {}
+            for r in sorted(ranks):
+                for sec, v in self.vars.get(r, []):
+                    sections.setdefault(sec, []).append(v)
+            for sec in sorted(sections):
+                text += [W.memmap(self.mip, "\n".join(sections[sec]), sec), ""]
             text += [W.memmap(self.mip, "\n\n".join(body)), ""]
             out[fname] = "\n".join(text)
         out.update(self.extra_files)
@@ -204,8 +256,23 @@ def scalar_macros(cg: CgModel, mo: ModuleOutput):
         mo.group(f"Pre-compile parameters of {c.def_name} ({c.path})", lines)
 
 
+def enum_literal_values(literals: list) -> list:
+    """C values of enumeration literals used in #if comparisons.
+
+    When every literal is <common stem><decimal number> with distinct numbers (NVM_API_CONFIG_CLASS_1..3), the
+    number in the name is the value: the name states the ordinal (SWS_NvM_00560..00562 API configuration class
+    1/2/3), so #if (X >= X_2) keeps its meaning and no literal is 0. Otherwise the def literal order is used (the
+    ECUC def lists literals alphabetically, so that order carries no meaning beyond being stable).
+    """
+    import re
+    m = [re.fullmatch(r"(.*?)(\d+)", x) for x in literals]
+    if all(m) and len({x.group(1) for x in m}) == 1 and len({int(x.group(2)) for x in m}) == len(literals):
+        return [int(x.group(2)) for x in m]
+    return list(range(len(literals)))
+
+
 def enum_literals(mo: ModuleOutput, d: D.DefNode):
-    """Guarded values for module-prefixed enum literals used in #if comparisons (def literal order)."""
+    """Guarded values for module-prefixed enum literals used in #if comparisons (see enum_literal_values)."""
     lits = [x for x in d.literals if x.upper().startswith(mo.MIP + "_")]
     if not lits or len(lits) != len(d.literals):
         return
@@ -213,8 +280,9 @@ def enum_literals(mo: ModuleOutput, d: D.DefNode):
     if key in mo.defined:
         return
     mo.defined.add(key)
-    lines = [f"#ifndef {lit}\n" + W.define(lit, W.c_uint(i)) + "\n#endif" for i, lit in enumerate(d.literals)]
-    mo.groups.append((f"Literals of {d.name} (def literal order; the static code may predefine them)", lines))
+    vals = enum_literal_values(d.literals)
+    lines = [f"#ifndef {lit}\n" + W.define(lit, W.c_uint(v)) + "\n#endif" for v, lit in zip(vals, d.literals)]
+    mo.groups.append((f"Literals of {d.name} (the static code may predefine them)", lines))
 
 
 def symbolic_names(cg: CgModel, mo: ModuleOutput):