The Mathworks, Inc.

Thomas Joseph Erkkinen

Peter S Szpak

John W Glass

Xiaocang Lin

Mirko Conrad

David William Hoadley

A method may include storing bug reports in a memory, where a particular one of the bug reports describes a software bug and includes information about a modeling application. The method may further include receiving, from another computer device, a request for bug reports relevant to a model generated using the modeling application, where the request includes information about the model; identifying one or more relevant bug reports, in the stored bug reports, by comparing the information about the modeling application, included in the stored bug reports, with the information about the model, included in the received request; and providing information about the one or more relevant bug reports to the other computer device.

Bug report checks in a modeling system

A computer implemented method for generating embedded code from a graphical model which includes: acquiring at least one condition related to at least one code generation goal, the at least one code generation goal being used to generate embedded code from the graphical model in a graphical modeling environment, the at least one code generation goal relating to a characteristic of the code to be generated from the graphical model, the graphical model representing a dynamic system having time-changing behavior modeled with differential, difference, and/or algebraic equations, the graphical model being capable of simulation based on the equations; and identifying, using a microprocessor, conditions that are inconsistent with the at least one code generation goal.

Graphical model preparation for embedded deployment

An analysis tool analyzes a model to determine the digital effect of the model in a modeling or programming environment. With the analysis tool, a user can determine minimum hardware functionality needed to execute the software generated from the model. The hardware functionality may include the word size of the microprocessor that executes the software appropriately. The hardware functionality may also include the execution speed of the microprocessor executing the software. The hardware functionality may further include the functionality of other hardware elements, such as the word length of an Analog to Digital converter. The analysis tool enables a user to produce a system at a low cost while achieving necessary performance criteria.

System and method for digital effects analysis

Digital effects analysis in modeling environments

A method of collecting information includes retrieving a criterion for certifying software for use on a safety-critical system, receiving user input information associated to the criterion, determining if the input information satisfies criterion for certifying the software for use on the safety-critical system, and providing output information to the user where the output information is identifying if the criterion is satisfied.

Certifying software for safety-critical systems

A software tool in a graphical modeling environment guides a user through the process of preparing a graphical model for embedded code generation. The software tool prompts the user to specify code generation goals for the embedded code and provides feedback to the user regarding the compliance of the graphical model with the specified goals. The software tool can perform selected checks and analysis on the graphical model prior to code generation to ensure compliance with specified conditions. The software tool update parameters of the graphical model to comply with the specified goals, to produce optimized target software based on the model.

Growing community of inventors

Ann Arbor, MI, United States of America

Thomas Joseph Erkkinen