Patents by Inventor Lucia Rapanotti

Lucia Rapanotti 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).

  • Framework for guided change management and change impact analysis with automated change validation through formal executable semantics
    Patent number: 11704605
    Abstract: A method of managing change in a complex system begins with identifying an unsatisfied need to be met by the system. To satisfy the need a proposed change to the system to satisfy the need is represented a high-level representation of the proposed change. The high-level representation is mapped to a low-level executable semantic model, which is used to validate the proposed change and ensure the proposed change meets the identified and does not require additional changes to the system. On a condition that the validating steps determines that additional changes are required the additional changes are represented in the high-level representation of the system; the high-level change is mapped to the low-level executable semantic model and the additional changes are re-validated.
    Type: Grant
    Filed: April 1, 2020
    Date of Patent: July 18, 2023
    Assignees: SIEMENS CORPORATION, THE OPEN UNIVERSITY
    Inventors: Georgi Markov, Jon Hall, Lucia Rapanotti
  • FRAMEWORK FOR GUIDED CHANGE MANAGEMENT AND CHANGE IMPACT ANALYSIS WITH AUTOMATED CHANGE VALIDATION THROUGH FORMAL EXECUTABLE SEMANTICS
    Publication number: 20200320447
    Abstract: A method of managing change in a complex system begins with identifying an unsatisfied need to be met by the system. To satisfy the need a proposed change to the system to satisfy the need is represented a high-level representation of the proposed change. The high-level representation is mapped to a low-level executable semantic model, which is used to validate the proposed change and ensure the proposed change meets the identified and does not require additional changes to the system. On a condition that the validating steps determines that additional changes are required the additional changes are represented in the high-level representation of the system; the high-level change is mapped to the low-level executable semantic model and the additional changes are re-validated.
    Type: Application
    Filed: April 1, 2020
    Publication date: October 8, 2020
    Inventors: Georgi Markov, Jon Hall, Lucia Rapanotti