公开(公告)号：US09594608B2

公开(公告)日：2017-03-14

申请号：US14335159

申请日：2014-07-18

Applicant: The MathWorks, Inc.

Inventor： Hidayet Tunc Simsek ,  Vijaya Raghavan ,  Ramamurthy Mani

IPC: G06F9/54

CPC classification number: G06F9/546 ,  G06F2209/548

Abstract: A system and method may generate executable models having message sending objects and message receiving objects. A message may include a fixed data payload, and the message may persist for only a determined time interval of a total execution or simulation time of model. Message queues may be established for the messages, and the queues may have attributes. The model may include a state-based portion having states and transitions. States may be configured to generate and send messages, and to receive and process messages. In addition, transitions may be guarded by particular messages. The system and method also may generate standalone code, such as source code, for the model. The standalone code may include code that establishes a message passing service to support the sending and receiving of messages.

Abstract translation: 系统和方法可以生成具有消息发送对象和消息接收对象的可执行模型。 消息可以包括固定数据有效载荷，并且消息可以仅持续在模型的总执行或模拟时间的确定的时间间隔。 可以为消息建立消息队列，并且队列可以具有属性。 模型可以包括具有状态和转换的基于状态的部分。 可以将状态配置为生成和发送消息，以及接收和处理消息。 此外，转换可以被特定消息保护。 系统和方法还可以为模型生成独立代码，如源代码。 独立代码可以包括建立消息传递服务以支持消息的发送和接收的代码。

公开(公告)号：US09323851B1

公开(公告)日：2016-04-26

申请号：US13669851

申请日：2012-11-06

Applicant: The MathWorks, Inc.

Inventor： Pieter J. Mosterman ,  Farid A. Abi-Zeid ,  Hidayet Tunc Simsek ,  Claudia Gaudagnini Wey ,  Mojdeh Shakeri ,  Jay Ryan Torgerson

IPC: G06F7/00 ,  G06F17/30

CPC classification number: G06F17/30867 ,  G06F17/30522 ,  G06F17/30864

Abstract: A system may receive a model, extract information from the model, form a group of tags using the extracted information, and associate the group of tags with the model. The system may further receive a search query including one or more sequences of characters anddetermine whether to provide the model in a list of models created for the search query, based on the one or more sequences of characters and the group of tags.

公开(公告)号：US20150020080A1

公开(公告)日：2015-01-15

申请号：US14335159

申请日：2014-07-18

Applicant: The MathWorks, Inc.

Inventor： Hidayet Tunc Simsek ,  Vijaya Raghavan ,  Ramamurthy Mani

IPC: G06F9/54

CPC classification number: G06F9/546 ,  G06F2209/548

Abstract: A system and method may generate executable models having message sending objects and message receiving objects. A message may include a fixed data payload, and the message may persist for only a determined time interval of a total execution or simulation time of model. Message queues may be established for the messages, and the queues may have attributes. The model may include a state-based portion having states and transitions. States may be configured to generate and send messages, and to receive and process messages. In addition, transitions may be guarded by particular messages. The system and method also may generate standalone code, such as source code, for the model. The standalone code may include code that establishes a message passing service to support the sending and receiving of messages.

Abstract translation: 系统和方法可以生成具有消息发送对象和消息接收对象的可执行模型。 消息可以包括固定数据有效载荷，并且消息可以仅持续在模型的总执行或模拟时间的确定的时间间隔。 可以为消息建立消息队列，并且队列可以具有属性。 模型可以包括具有状态和转换的基于状态的部分。 可以将状态配置为生成和发送消息，以及接收和处理消息。 此外，转换可以被特定消息保护。 系统和方法还可以为模型生成独立代码，如源代码。 独立代码可以包括建立消息传递服务以支持消息的发送和接收的代码。