Patent ID: 11900076
Assignee: SOLI BV
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 11:
12. A safety-critical control system comprising:
a pre-certified computer system having a processor, a plurality of system inputs, a plurality of system outputs, a non-transitory computer readable medium, and a pre-certified software application configured to execute a safety-critical software compilation;
the safety-critical software compilation comprising a plurality of variables, a plurality of operations, and a plurality of instantiations;
the non-transitory computer readable medium having stored thereon software instructions that, when executed by the processor, cause the processor to generate a control loop for executing the safety-critical software compilation,
the control loop comprising a sequence of ticks, wherein each tick after an initial tick is configured to receive a variable from a prior tick, receive an input to the safety-critical software compilation, calculate an operation of a current tick, prepare an output, and transmit an output; and
wherein each tick is configured to wait until the next tick before transmitting the prepared output, and each tick is configured to protect from change the prepared output prior to transmitting the prepared output;
wherein protecting the prepared output from change includes:
setting inputs from a prior tick only using constants or outputs of prior operations;
buffering the inputs and outputs of prior operations the operation depends on;
calculating the operation in the current tick only when the inputs and outputs of prior operations the operation depends on have been performed and buffered; and
preparing the output only if all of its fields will no longer change in the current tick.