The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 22, 2019
Filed:
Sep. 12, 2016
Applicant:
The University of Tulsa, Tulsa, OK (US);
Inventors:
John Chandler Hale, Broken Arrow, OK (US);
Peter Joseph Hawrylak, Tulsa, OK (US);
Mauricio Jose Papa, Broken Arrow, OK (US);
Assignee:
The University of Tulsa, Tulsa, OK (US);
Attorney:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 21/00 (2013.01); G06F 21/57 (2013.01); G06Q 50/00 (2012.01); H04L 29/06 (2006.01); G06Q 10/00 (2012.01);
U.S. Cl.
CPC ...
G06F 21/577 (2013.01); G06F 21/00 (2013.01); G06Q 10/00 (2013.01); G06Q 50/00 (2013.01); H04L 63/1433 (2013.01); G06F 2221/034 (2013.01);
Abstract
The present invention provides for analysis of cyber-physical systems with relation to compliance requirements such as regulatory compliance, maintenance compliance and safety compliance. Generally, the invention provides for a set of paths from an initial state to an end state, and analyzing the paths to determine which ones contain a violation state. Based on the resultant paths test scripts are generated. Additionally, other compliance related procedures can be performed utilizing the path analysis.