Method and apparatus for real-time control loop application execution from a high-level description
Assignee(Un)Manned N.V.
InventorFilip Leonard Etienne VERHAEGHE
Life of this patent
Estimating the term…
Loading patent…
Assignee(Un)Manned N.V.
InventorFilip Leonard Etienne VERHAEGHE
Estimating the term…
The present approach provides a method for safety-critical systems to reduce the required long V development and certification process, into a process that is up to 80% shorter, as well as safer. The present approach creates a pre-certified system, with both pre-certified hardware and pre-certified software. The pre-certified system may be configured to implement a safety-critical software compilation, that contains variables, operations, and template instantiations defining the safety-critical system. This approach eliminates the process below the high-level requirements for the safety-critical software through prior action. To support the configuration, the present approach implements three kinds of components: variables, operators, and templates that provide input, output and abstracted concepts. A configuration defines a set of variables, operations and template instantiations. A tool is used that takes high-level requirements written in a computer readable format into the configuration.
A safety-critical system development and certification process, the safety-critical system comprising safety-critical software configured to operate on a certified hardware device, the process comprising:
Dependencies are inferred from the claim text.