Patents by Inventor Minxue PAN

Minxue PAN 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).

  • Interrupt-driven system verification method based on interrupt sequence diagram
    Patent number: 11853721
    Abstract: An interrupt-driven system verification method based on interrupt sequence diagrams includes the steps of: establishing an interrupt-driven system model based on an interrupt sequence diagram, dividing interaction fragments in the obtained interrupt sequence diagram into basic interaction fragments and composite interaction fragments and sequentially converting the basic interaction fragments and the composite interaction fragments into the corresponding automaton models, combining the automaton models into one automaton model, adding the constraints in the interrupt sequence diagram to the converted automaton model, adding the verification attribute information as a constraint to the converted automaton model, describing an automaton as an input format acceptable to the automaton verification tool, and verifying the model with the automaton verification tool.
    Type: Grant
    Filed: July 17, 2019
    Date of Patent: December 26, 2023
    Assignee: NANJING UNIVERSITY
    Inventors: Minxue Pan, Shouyu Chen, Tian Zhang, Linzhang Wang, Xuandong Li
  • Interrupt-Driven System Verification Method Based on Interrupt Sequence Diagram
    Publication number: 20220317976
    Abstract: An interrupt-driven system verification method based on interrupt sequence diagrams includes the steps of: establishing an interrupt-driven system model based on an interrupt sequence diagram, dividing interaction fragments in the obtained interrupt sequence diagram into basic interaction fragments and composite interaction fragments and sequentially converting the basic interaction fragments and the composite interaction fragments into the corresponding automaton models, combining the automaton models into one automaton model, adding the constraints in the interrupt sequence diagram to the converted automaton model, adding the verification attribute information as a constraint to the converted automaton model, describing an automaton as an input format acceptable to the automaton verification tool, and verifying the model with the automaton verification tool.
    Type: Application
    Filed: July 17, 2019
    Publication date: October 6, 2022
    Inventors: Minxue PAN, Shouyu CHEN, Tian ZHANG, Linzhang WANG, Xuandong LI