Patents by Inventor Kit Yan Siu
Kit Yan Siu has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 10402173Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.Type: GrantFiled: February 24, 2017Date of Patent: September 3, 2019Assignee: General Electric CompanyInventors: Liling Ren, Han Yu, Gregory Reed Sykes, Michael Richard Durling, Kit Yan Siu, Scott Alan Stacey
-
Patent number: 10346140Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.Type: GrantFiled: August 5, 2015Date of Patent: July 9, 2019Assignee: General Electric CompanyInventors: Timothy Lee Johnson, Andrew Walter Crapo, Michael Richard Durling, Alexander Walsch, Kit Yan Siu, Luca Parolini, Panagiotis Manolios, Meng Li, Han Yu, Scott Alan Stacey, Gregory Reed Sykes
-
Patent number: 10169217Abstract: A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.Type: GrantFiled: April 6, 2016Date of Patent: January 1, 2019Assignee: GENERAL ELECTRIC COMPANYInventors: Han Yu, Michael Richard Durling, Kit Yan Siu, Meng Li, Baoluo Meng, Scott Alan Stacey, Daniel Edward Russell, Gregory Reed Sykes
-
Publication number: 20180246703Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.Type: ApplicationFiled: February 24, 2017Publication date: August 30, 2018Inventors: Liling REN, Han YU, Gregory Reed SYKES, Michael Richard DURLING, Kit Yan SIU, Scott Alan STACEY
-
Publication number: 20180196739Abstract: Automated requirements-based test case generation method includes constructing a software architecture model derived from software design model architectural information, allocating requirement models into blocks/operators of the software architecture model, and generating component-level requirements-based test cases from the software architecture configured to be executable at different levels in the software architecture.Type: ApplicationFiled: March 9, 2018Publication date: July 12, 2018Inventors: Meng LI, Michael Richard DURLING, Kit Yan SIU, Italo OLIVEIRA, Han YU, Augusto Marasca DE CONTO
-
Patent number: 9940222Abstract: Automated requirements-based test case generation method includes constructing in a model-based development tool a software architecture model automatically derived from architectural information of a software design model, allocating requirement models into blocks/operators of the software architecture model, and generating component level requirements-based test cases from the software architecture.Type: GrantFiled: November 20, 2015Date of Patent: April 10, 2018Assignee: GENERAL ELECTRIC COMPANYInventors: Meng Li, Michael Richard Durling, Kit Yan Siu, Italo Oliveira, Han Yu, Augusto Marasca De Conto
-
Publication number: 20180039514Abstract: Methods, apparatus, systems and articles of manufacture to facilitate efficient scheduling of digital tasks in a system are disclosed. Periodic and aperiodic tasks may be identified, an initial minimum required duration may be determined based on the periodic and aperiodic tasks, a finish-to-activate duration of the aperiodic task may be determined, a final minimum required duration may be determined based on the initial minimum required duration and the finish-to-activate duration, a time budget may be adjusted to be the final minimum required duration, and the aperiodic task may be activated within the time budget based on the finish-to-activate duration.Type: ApplicationFiled: August 5, 2016Publication date: February 8, 2018Inventors: Hongwei LIAO, Panagiotis MANOLIOS, Terrell Michael BRACE, Gregory Reed SYKES, Kevin J. JONES, Kit Yan SIU
-
Publication number: 20170293549Abstract: A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.Type: ApplicationFiled: April 6, 2016Publication date: October 12, 2017Inventors: Han Yu, Michael Richard Durling, Kit Yan Siu, Meng Li, Baoluo Meng, Scott Alan Stacey, Daniel Edward Russell, Gregory Reed Sykes
-
Patent number: 9747079Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generateType: GrantFiled: December 15, 2014Date of Patent: August 29, 2017Assignee: General Electric CompanyInventors: Kit Yan Siu, Andrew Walter Crapo, Michael Richard Durling, Luca Parolini, Panagiotis Manolios, Han Yu, Scott Stacey
-
Publication number: 20170147482Abstract: Automated requirements-based test case generation method includes constructing in a model-based development tool a software architecture model automatically derived from architectural information of a software design model, allocating requirement models into blocks/operators of the software architecture model, and generating component level requirements-based test cases from the software architecture.Type: ApplicationFiled: November 20, 2015Publication date: May 25, 2017Inventors: Meng LI, Michael Richard DURLING, Kit Yan SIU, Italo OLIVEIRA, Han YU, Augusto Marasca De CONTO
-
Publication number: 20170039039Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.Type: ApplicationFiled: August 5, 2015Publication date: February 9, 2017Inventors: Timothy Lee Johnson, Andrew Walter Crapo, Michael Richard Durling, Alexander Walsch, Kit Yan Siu, Luca Parolini, Panagiotis Manolios, Meng Li, Han Yu, Scott Alan Stacey, Gregory Reed Sykes
-
Publication number: 20160170714Abstract: According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generateType: ApplicationFiled: December 15, 2014Publication date: June 16, 2016Inventors: Kit Yan Siu, Andrew Walter Crapo, Michael Richard Durling, Luca Parolini, Panagiotis Manolios, Han Yu, Scott Stacey
-
Publication number: 20110146232Abstract: A pulse detonation turbine engine (PDTE) includes at least one controllable multi-tube pulse detonation combustor (PDC) configured to initiate firing of one or more pulse detonation tubes in response to operation of a plurality of controllable peripheral PDC components to regulate PDTE output characteristics. A control system including a programmable controller directed by algorithmic software operates to generate control inputs for the plurality of controllable peripheral PDC components in response to PDTE input conditions, such that one or more PD tube controllable inputs can be different for at least one PD tube relative to another PD tube within the multi-tube PDC, and further such that detonation timing can be different for at least one PD tube relative to another PD tube within the multi-tube PDC.Type: ApplicationFiled: December 23, 2009Publication date: June 23, 2011Applicant: GENERAL ELECTRIC COMPANYInventors: Eric Richard Westervelt, Douglas Carl Hofer, Narendra Digamber Joshi, Kit Yan Siu, Ruijie Shi, Adam Rasheed, Venkat Eswarlu Tangirala