Back to results
US 2004/0169591 A1Published application
Certifying software for safety-critical systems
AssigneeThe Math Works, Inc.
InventorThomas J. Erkkinen
Life of this patent
Estimating the term…
Abstract
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.
Claims64
A method of collecting information comprising:
- retrieving a first criterion for certifying software for use on a safety-critical system;
- receiving user input information associated to the first criterion;
- determining if the input information aids in satisfying the first criterion for certifying the software for use on the safety-critical system;
- and
- providing output information to the user, the output information identifying if the first criterion is satisfied.
2 more elements
A method of collecting information comprising:
- in a computer system, retrieving a first criterion for certifying the software for use on a safety-critical system;
- receiving user input information associated to the first criterion;
- determining if the input information aids in satisfying the first criterion for certifying the software for use on the safety-critical system;
- and
- providing output information to the user, the output information identifying if the first criterion is satisfied.
2 more elements
An article comprising:
- a storage medium having stored thereon instructions that when executed by a machine result in the following:
- retrieve a first criterion for certifying software for use on a safety-critical system;
- receive user input information associated to the first criterion;
- determine if the input information aids in satisfying the first criterion for certifying the software for use on the safety-critical system;
- and
- provide output information to the user, the output information identifying if the first criterion is satisfied.
3 more elements
A graphical user interface (GUI) comprising:
- a workspace;
- a set of graphical semantics for displaying a first criterion for certifying software for use on a safety-critical system;
- a set of graphical semantics for receiving user input information to aid in satisfying the first criterion;
- and
- a set of graphical semantics for displaying output information to the user, the output information identifying if the first criterion is satisfied.
2 more elements
Dependencies are inferred from the claim text.