Patents by Inventor Peter S. Szpak
Peter S. Szpak 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).
-
Publication number: 20230376281Abstract: Systems and methods may generate code, for a model, with one or more service access points generated and at locations in the code based on an analysis of model constraints and deployment specifications (e.g., RTE specifications or OS specifications). The systems and methods may analyze the model and identify a functionality that needs an RTE service. The system and methods may receive deployment specifications. The systems and methods may generate code for the model, where an analysis of model constraints and the deployment specifications determine which service access points are generated and where in the code the service access points are located. In an embodiment, the code may be executed by different RTEs. In an embodiment, the systems and methods may determine, based on the analysis of the model constraints and the deployment specification, one or more admissible implementations for an RTE service that may be implemented in different ways.Type: ApplicationFiled: July 31, 2023Publication date: November 23, 2023Inventors: Biao Yu, Peter S. Szpak, Yuan Cao, Ebrahim Mehran Mestchian
-
Patent number: 11755294Abstract: Systems and methods may generate code, for a model, with one or more service access points generated and at locations in the code based on an analysis of model constraints and deployment specifications (e.g., RTE specifications or OS specifications). The systems and methods may analyze the model and identify a functionality that needs an RTE service. The system and methods may receive deployment specifications. The systems and methods may generate code for the model, where an analysis of model constraints and the deployment specifications determine which service access points are generated and where in the code the service access points are located. In an embodiment, the code may be executed by different RTEs. In an embodiment, the systems and methods may determine, based on the analysis of the model constraints and the deployment specification, one or more admissible implementations for an RTE service that may be implemented in different ways.Type: GrantFiled: May 27, 2021Date of Patent: September 12, 2023Assignee: The MathWorks, Inc.Inventors: Biao Yu, Peter S. Szpak, Yuan Cao, Ebrahim Mehran Mestchian
-
Patent number: 11327725Abstract: Systems and methods may aggregate and organize implicit and explicit initialization, reset, and termination operations defined throughout the hierarchy of an executable. The systems and methods may analyze the model and identify implicit and explicit initialization, reset, and termination operations defined at various hierarchical levels. The systems and methods may aggregate the implicit and explicit initialization, reset, and termination operations into an initialize callable unit, a reset callable unit, and a termination callable unit. The systems and methods may apply optimizations to the callable units, and resolve conflicts. The systems and methods may define a single entry point for each of the initialize, reset, and termination callable units.Type: GrantFiled: January 14, 2020Date of Patent: May 10, 2022Assignee: The MathWorks, Inc.Inventors: Peter S. Szpak, Biao Yu, Alongkrit Chutinan
-
Publication number: 20220083706Abstract: Systems and methods decouple model components from a model execution style for which the model components are created, and the model components may be utilized in parent models having different execution styles. A model component may be partitioned into executable entities, and the entry points of the executable entities and their call styles may be identified. An adaptation layer that includes access points for the entry points may be constructed. The model component, including the adaptation layer, may be included in the model, and connection elements of the parent model may be connected to the access points of the adaptation layer. The execution call styles associated with the connection elements of the parent model may be bound to the execution call styles of the entry points as originally designed. The adaptation layer may manage translation of call styles and may coordinate scheduling of data communication with the model component.Type: ApplicationFiled: November 29, 2021Publication date: March 17, 2022Inventors: Peter S. Szpak, Biao Yu, Alongkrit Chutinan
-
Patent number: 11244090Abstract: Systems and methods decouple model components from a model execution style for which the model components are created, and the model components may be utilized in parent models having different execution styles. A model component may be partitioned into executable entities, and the entry points of the executable entities and their call styles may be identified. An adaptation layer that includes access points for the entry points may be constructed. The model component, including the adaptation layer, may be included in the model, and connection elements of the parent model may be connected to the access points of the adaptation layer. The execution call styles associated with the connection elements of the parent model may be bound to the execution call styles of the entry points as originally designed. The adaptation layer may manage translation of call styles and may coordinate scheduling of data communication with the model component.Type: GrantFiled: September 2, 2016Date of Patent: February 8, 2022Assignee: The MathWorks, Inc.Inventors: Peter S. Szpak, Biao Yu, Alongkrit Chutinan
-
Publication number: 20210382698Abstract: Systems and methods may generate code, for a model, with one or more service access points generated and at locations in the code based on an analysis of model constraints and deployment specifications (e.g., RTE specifications or OS specifications). The systems and methods may analyze the model and identify a functionality that needs an RTE service. The system and methods may receive deployment specifications. The systems and methods may generate code for the model, where an analysis of model constraints and the deployment specifications determine which service access points are generated and where in the code the service access points are located. In an embodiment, the code may be executed by different RTEs. In an embodiment, the systems and methods may determine, based on the analysis of the model constraints and the deployment specification, one or more admissible implementations for an RTE service that may be implemented in different ways.Type: ApplicationFiled: May 27, 2021Publication date: December 9, 2021Inventors: Biao Yu, Peter S. Szpak, Yuan Cao, Ebrahim Mehran Mestchian
-
Publication number: 20200379739Abstract: Processing external code includes: parsing the external code to identify a first semantic entity, mapping the first semantic entity to a second semantic entity, the first semantic entity comprising a first set of one or more specified attributes and the second semantic entity comprising a second set of one or more attributes that are capable of being specified, determining that a first attribute of the second set of one or more attributes does not have a corresponding specified attribute within the first set of one or more specified attributes, determining available information for specifying the first attribute of the second set of one or more attributes, and storing the second semantic entity in association with the first attribute of the second set of one or more attributes specified based on user selection or specifying the first attribute in response to available information provided to a user interface system.Type: ApplicationFiled: May 31, 2019Publication date: December 3, 2020Inventors: Vivek Bhownani, Alexander C. Feinman, Fazil Peermohammed, David A. Foti, Ebrahim Mehran Mestchian, Yao Ren, Vijaya Raghavan, Peter S. Szpak, Matthew Englehart, Roy Mathew, Emmanuel Roy, Dekun Pei, Jianhao Du, Antoine Requet, Shailesh Shashikant Nirgudkar
-
Patent number: 10831456Abstract: Processing external code includes: parsing the external code to identify a first semantic entity, mapping the first semantic entity to a second semantic entity, the first semantic entity comprising a first set of one or more specified attributes and the second semantic entity comprising a second set of one or more attributes that are capable of being specified, determining that a first attribute of the second set of one or more attributes does not have a corresponding specified attribute within the first set of one or more specified attributes, determining available information for specifying the first attribute of the second set of one or more attributes, and storing the second semantic entity in association with the first attribute of the second set of one or more attributes specified based on user selection or specifying the first attribute in response to available information provided to a user interface system.Type: GrantFiled: May 31, 2019Date of Patent: November 10, 2020Assignee: The MathWorks, Inc.Inventors: Vivek Bhownani, Alexander C. Feinman, Fazil Peermohammed, David A. Foti, Ebrahim Mehran Mestchian, Yao Ren, Vijaya Raghavan, Peter S. Szpak, Matthew Englehart, Roy Mathew, Emmanuel Roy, Dekun Pei, Jianhao Du, Antoine Requet, Shailesh Shashikant Nirgudkar
-
Patent number: 10666744Abstract: A first request is received for one or more service interface specifications. The first request includes information about one or more model element interface specifications usable for identifying the service interface specifications. The model element interface specifications are part of or extracted from one or more executable model elements of an executable graphical model. The service interface specifications correspond to respective services that include features complying with the model element interface specifications and are associated with information necessary for implementing semantics of the model elements. The information about the model element interface specifications is analyzed, comprising evaluating semantics of the executable model elements within the executable graphical model. The service interface specifications are identified based on the analyzing. Information is provided representing the identified service interface specifications for display and selection.Type: GrantFiled: June 1, 2018Date of Patent: May 26, 2020Assignee: The MathWorks, Inc.Inventors: Qingmin Shi, Sankalp S. Modi, Peter S. Szpak, Hidayet T. Simsek
-
Publication number: 20200150931Abstract: Systems and methods may aggregate and organize implicit and explicit initialization, reset, and termination operations defined throughout the hierarchy of an executable. The systems and methods may analyze the model and identify implicit and explicit initialization, reset, and termination operations defined at various hierarchical levels. The systems and methods may aggregate the implicit and explicit initialization, reset, and termination operations into an initialize callable unit, a reset callable unit, and a termination callable unit. The systems and methods may apply optimizations to the callable units, and resolve conflicts. The systems and methods may define a single entry point for each of the initialize, reset, and termination callable units.Type: ApplicationFiled: January 14, 2020Publication date: May 14, 2020Inventors: Peter S. Szpak, Biao Yu, Alongkrit Chutinan
-
Patent number: 10585648Abstract: Systems and methods may aggregate and organize implicit and explicit initialization, reset, and termination operations defined throughout the hierarchy of an executable. The systems and methods may analyze the model and identify implicit and explicit initialization, reset, and termination operations defined at various hierarchical levels. The systems and methods may aggregate the implicit and explicit initialization, reset, and termination operations into an initialize callable unit, a reset callable unit, and a termination callable unit. The systems and methods may apply optimizations to the callable units, and resolve conflicts. The systems and methods may define a single entry point for each of the initialize, reset, and termination callable units.Type: GrantFiled: December 28, 2016Date of Patent: March 10, 2020Assignee: The MathWorks, Inc.Inventors: Peter S. Szpak, Biao Yu, Alongkrit Chutinan
-
Publication number: 20190370028Abstract: A first request is received for one or more service interface specifications. The first request includes information about one or more model element interface specifications usable for identifying the one or more service interface specifications. The one or more model element interface specifications are part of or are extracted from one or more executable model elements of an executable graphical model. The one or more service interface specifications correspond to respective services that include features complying with the one or more model element interface specifications and are associated with information necessary for implementing semantics of the one or more model elements. The information about the one or more model element interface specifications is analyzed, comprising evaluating semantics of the one or more executable model elements within the executable graphical model. The one or more service interface specifications are identified based on the analyzing.Type: ApplicationFiled: June 1, 2018Publication date: December 5, 2019Inventors: Qingmin SHI, Sankalp S. MODI, Peter S. SZPAK, Hidayet T. Simsek
-
Patent number: 10423518Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.Type: GrantFiled: April 27, 2016Date of Patent: September 24, 2019Assignee: The MathWorks, Inc.Inventors: Stefan David, Patrick Munier, Alexandre De Barros, Bernd J. Kanamueller, Peter S. Szpak
-
Patent number: 10372841Abstract: A system and method automatically ensures consistency among a design model and one or more test models that test the design model. The system may include a broker adapted to construct an interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization states. It may also identify the outputs, inputs, and initialization setting objects of the test models. Proposed changes to the design model's interface may be captured by the broker, and applied to the design model and to the test models atomically. Proposed changes to a given test model that implicate the design model's interface also may be captured, and applied to the given test model, the other test models, and the design model atomically. Default behaviors may be defined for applying the proposed changes to the other test models and the design model.Type: GrantFiled: October 28, 2012Date of Patent: August 6, 2019Assignee: The MathWorks, Inc.Inventors: Robert O. Aberg, Peter S. Szpak, Andrew C. Grace
-
Patent number: 10157246Abstract: A method of specifying and configuring a causal relationship between the dynamics of a graphical model and the execution of components of the model is disclosed. Model component execution is tied to the occurrence of model events. Model events are first defined in the modeling environment. The occurrence of conditions in the model specified in the definition of the event causes the event to be “posted”. Model components that have been associated with the occurrence of the event “receive” the notice of the posting of the event and then execute. Random components within a subsystem may be designated to execute upon the occurrence of an event, as may non-contiguous components within a model. The association between model events and component execution may be specified without drawing graphical indicators connecting components in the view of the model.Type: GrantFiled: September 25, 2015Date of Patent: December 18, 2018Assignee: The MathWorks, Inc.Inventors: Peter S. Szpak, Matthew J. Englehart
-
Patent number: 9934004Abstract: A computer readable medium including executable instructions that when executed perform a method for validating an optimization in generated code using an executable constraints document is provided. The medium can include instructions for relating an assumption to the optimization during code generation. The medium can include instructions for generating the executable constraints document during the code generation, the executable constraints document including information about the relating; and the medium can include instructions for executing the constraints document when the validating is performed, the validating including performing an operation based on a validation result produced by the validating, where the operation includes displaying the validation result to a user, storing the validation result, sending the validation result to a destination, or modifying the generated code.Type: GrantFiled: March 31, 2014Date of Patent: April 3, 2018Assignee: The MathWorks, Inc.Inventors: Aravind Pillarisetti, Peter S. Szpak, Jesung Kim, Xiaocang Lin, Pieter J. Mosterman
-
Patent number: 9891894Abstract: A device may receive a model for code generation. The device may determine to preserve continuity with a first generated code associated with the model. The device may receive, based on determining to preserve continuity, a first generation record associated with the first generated code. The first generation record may include information associated with generation of the first code. The device may generate second code based on the model and the first generation record. The device may create a second generation record based on the second generated code. The second generation record may include information associated with generation of the second code. The device may provide the second generated code.Type: GrantFiled: August 14, 2013Date of Patent: February 13, 2018Assignee: The MathWorks, Inc.Inventors: Matthew J. Englehart, Xiaocang Lin, Hidayet T. Simsek, Peter S. Szpak, Michael D. Tocci
-
Publication number: 20170351789Abstract: Systems and methods decouple model components from a model execution style for which the model components are created, and the model components may be utilized in parent models having different execution styles. A model component may be partitioned into executable entities, and the entry points of the executable entities and their call styles may be identified. An adaptation layer that includes access points for the entry points may be constructed. The model component, including the adaptation layer, may be included in the model, and connection elements of the parent model may be connected to the access points of the adaptation layer. The execution call styles associated with the connection elements of the parent model may be bound to the execution call styles of the entry points as originally designed. The adaptation layer may manage translation of call styles and may coordinate scheduling of data communication with the model component.Type: ApplicationFiled: September 2, 2016Publication date: December 7, 2017Inventors: Peter S. Szpak, Biao Yu, Alongkrit Chutinan
-
Publication number: 20170351492Abstract: Systems and methods may aggregate and organize implicit and explicit initialization, reset, and termination operations defined throughout the hierarchy of an executable. The systems and methods may analyze the model and identify implicit and explicit initialization, reset, and termination operations defined at various hierarchical levels. The systems and methods may aggregate the implicit and explicit initialization, reset, and termination operations into an initialize callable unit, a reset callable unit, and a termination callable unit. The systems and methods may apply optimizations to the callable units, and resolve conflicts. The systems and methods may define a single entry point for each of the initialize, reset, and termination callable units.Type: ApplicationFiled: December 28, 2016Publication date: December 7, 2017Inventors: Peter S. Szpak, Biao Yu, Alongkrit Chutinan
-
Publication number: 20170315903Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.Type: ApplicationFiled: April 27, 2016Publication date: November 2, 2017Inventors: Stefan David, Patrick Munier, Alexandre De Barros, Bernd J. Kanamueller, Peter S. Szpak