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.
John Glass - Franklin MA, US Thomas J. Erkkinen - Ann Arbor MI, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 17/50
US Classification:
703 13, 716106
Abstract:
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.
John Glass - Franklin MA, US Thomas J. Erkkinen - Ann Arbor MI, US
Assignee:
The MathWorks, Inc. - Natick MA
International Classification:
G06F 17/50
US Classification:
703 13, 716 4
Abstract:
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.
Graphical Model Preparation For Embedded Deployment
Peter Szpak - Newton MA, US Thomas J. Erkkinen - Ann Arbor MI, US
Assignee:
The Mathworks, Inc. - Natick MA
International Classification:
G06F 3/048
US Classification:
715764, 715735, 715964
Abstract:
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.