-
公开(公告)号:US09612806B2
公开(公告)日:2017-04-04
申请号:US14475302
申请日:2014-09-02
Applicant: THE MATHWORKS, INC.
Inventor: Mirko Conrad , Xiaocang Lin , Jun Yan , Peter S. Szpak , Appa Rao Nirakh , Jayaprabha Shankar
CPC classification number: G06F8/35 , G06F11/3604
Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and or other forms of equivalence between the selected slice and the identified generated code.
-
公开(公告)号:US09304838B1
公开(公告)日:2016-04-05
申请号:US14833978
申请日:2015-08-24
Applicant: The MathWorks, Inc.
Inventor: Arwen M. Warlock , Biao Yu , Matthew J. Englehart , Peter S. Szpak , Murali K. Yeddanapudi , Yuan Cao
CPC classification number: G06F9/542 , G06F2209/545
Abstract: A device may receive a model including a group of blocks, and may receive a command to execute the model. The device may assign a parameter sample time to a subset of blocks of the group of blocks. The parameter sample time may permit a block, of the subset of blocks, to be executed based on a parameter change event detected during the execution of the model. The device may cause the model to be executed after assigning the parameter sample time to the subset of blocks. The device may detect a parameter change event, associated with the model, prior to the execution of the model being completed. The parameter change event may include an event that is external to the execution of the model. The device may cause at least one block, of the subset of blocks, to be executed based on the detecting the parameter change event.
-
23.
公开(公告)号:US20160011919A1
公开(公告)日:2016-01-14
申请号:US14866151
申请日:2015-09-25
Applicant: The MathWorks, Inc.
Inventor: Peter S. Szpak
CPC classification number: G06F17/5009 , G06F8/31 , G06F9/542 , G06F2209/543 , G06F2217/74
Abstract: 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.
-
公开(公告)号:US20230376281A1
公开(公告)日:2023-11-23
申请号:US18228211
申请日:2023-07-31
Applicant: The MathWorks, Inc.
Inventor: Biao Yu , Peter S. Szpak , Yuan Cao , Ebrahim Mehran Mestchian
Abstract: 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.
-
公开(公告)号:US11755294B2
公开(公告)日:2023-09-12
申请号:US17332205
申请日:2021-05-27
Applicant: The MathWorks, Inc.
Inventor: Biao Yu , Peter S. Szpak , Yuan Cao , Ebrahim Mehran Mestchian
Abstract: 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.
-
公开(公告)号:US20220083706A1
公开(公告)日:2022-03-17
申请号:US17536660
申请日:2021-11-29
Applicant: The MathWorks, Inc.
Inventor: Peter S. Szpak , Biao Yu , Alongkrit Chutinan
Abstract: 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.
-
公开(公告)号:US10666744B2
公开(公告)日:2020-05-26
申请号:US15995495
申请日:2018-06-01
Applicant: The MathWorks, Inc.
Inventor: Qingmin Shi , Sankalp S. Modi , Peter S. Szpak , Hidayet T. Simsek
Abstract: 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. A selection of at least one of the identified service interface specifications is stored after the selection is made.
-
28.
公开(公告)号:US20200150931A1
公开(公告)日:2020-05-14
申请号:US16741957
申请日:2020-01-14
Applicant: The MathWorks, Inc.
Inventor: Peter S. Szpak , Biao Yu , Alongkrit Chutinan
Abstract: 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.
-
29.
公开(公告)号:US20170351492A1
公开(公告)日:2017-12-07
申请号:US15392682
申请日:2016-12-28
Applicant: The MathWorks, Inc.
Inventor: Peter S. Szpak , Biao Yu , Alongkrit Chutinan
IPC: G06F9/44
CPC classification number: G06F8/34 , G06F8/10 , G06F8/35 , G06F9/445 , G06F9/44505 , G06F9/44594 , G06F17/5022 , G06F17/5036
Abstract: 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.
-
公开(公告)号:US09672389B1
公开(公告)日:2017-06-06
申请号:US13730092
申请日:2012-12-28
Applicant: The MathWorks, Inc.
Inventor: Pieter J. Mosterman , Peter S. Szpak , Jay R. Torgerson , Daniel F. Higgins , Paul F. Kinnucan
CPC classification number: G06G7/48 , A63F2300/1025 , A63F2300/64 , A63F2300/8082 , G06F3/048 , G06F17/5009 , G06F17/5095
Abstract: A computing device may receive a request to create a link between a control mechanism of a human machine interface and an attribute of a model. The model, when executed, may simulate behavior of a system. The human machine interface may correspond to a physical object. The request may include information identifying the attribute and information identifying the control mechanism. The computing device may create a link between the control mechanism and the attribute based on receiving the request. The computing device may further observe the control mechanism in a spatial environment and detect that the control mechanism has changed based on observing the control mechanism. The computing device may modify a value, associated with the attribute, based on detecting that the control mechanism has changed and based on the link.
-
-
-
-
-
-
-
-
-