Patent ID: 11971997
Assignee: RAYTHEON BBN TECHNOLOGIES CORP.
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A method comprising:
generating a system model comprising a plurality of system requirements, at least by performing natural-language processing on a natural-language representation of the plurality of system requirements;
performing, based at least on the system model, a first analysis of the plurality of system requirements against a plurality of codified system requirements rules;
determining, based at least on the first analysis of the plurality of system requirements against the plurality of codified system requirements rules, that the plurality of system requirements comprises a violation of a system requirements rule in the plurality of system requirements rules; and
generating a report that identifies at least (a) the violation of the system requirements rule and (b) a suggested action to remediate the violation of the system requirements rule;
wherein performing the first analysis of the plurality of system requirements comprises applying one or more queries in a semantic query language to the system model;
further comprising generating at least a subset of the one or more queries, based at least on the natural-language processing on the natural-language representation of the plurality of system requirements;
wherein the system model comprises a set of confidentiality, integrity, and authentication (CIA) constraints;
wherein the set of CIA constraints comprises at least one confidentiality constraint, or least one integrity constraint, or at least one authentication constraint; and
wherein the one or more queries represent one or more system constraints not included in the set of CIA constraints.