Analyzing the state of a technical system with respect to requirements compliance
AssigneeSiemens Aktiengesellschaft
InventorsANDREAS JOANNI, DANIEL RATIU
Life of this patent
Estimating the term…
Abstract
The following refers to a computer-implemented approach for evaluation of contractual requirements in view of a technical railway system, namely whether the latter complies with the requirements. The technical railway system and is modeled in case of non-compliance the system is modeled and contractual requirements are modeled in one common model. The generated model is analyzed in order to calculate control instructions for matching the same.
Claims13
A method for processing requirements for a technical system, employing at least one processor configured to execute computer-executable instructions stored in a memory, the method comprising:
- receiving determined requirements;
- receiving determined state of the technical system;
- modeling the determined requirements commonly with the determined state using a formal description, the formal description being a domain specific language;
- in the modeled system:
- analyzing whether the determined requirements are met by the technical system and in case of non-compliance:
- computing system control instructions, that indicate how the determined requirements have to be adapted, so that the determined requirements are feasible by the technical system and concurrently
- computing requirement control instructions, that indicate how the determined state has to be amended in order to meet the determined requirements.
A system state analyzer for digitally processing requirements for a technical system, comprising:
- a requirement interface for receiving determined requirements
- a system detector, which is interfacing with the technical system and which is adapted for receiving a determined state of the technical system;
- a modeling entity, which is adapted for modeling the determined requirements commonly with the determined state using a DSL language;
- a decision logic, which is adapted for analyzing in the modeled system whether the determined requirements are met by the technical system and in case of non-compliance triggering a processor:
- for computing requirement control instructions, that indicate how the determined requirements have to be adapted, so that the determined requirements are feasible by the technical system and concurrently,
- for computing system control instructions (sci), that indicate how the determined state has to be amended in order to meet the determined requirements, and
- an interface for providing a result of the analyzer.
Dependencies are inferred from the claim text.