by SAE International in United States
System design continues to trend toward increasing complexity as more functionality is added to aviation systems and the level of automation is increased. Since exhaustive validation and verification of this functionality becomes increasingly difficult, reliance on development assurance is needed to provide confidence that errors in requirements, design and implementation have been identified and corrected. To address this need for increased development assurance, GE is introducing a tool called ASSERT™ (Analysis of Semantic Specifications and Efficient generation of Requirements-based Tests). The system developer uses this tool to capture requirements in an unambiguous way with built-in semantic error checking. The requirements analysis engine is then used to assist in requirements validation to identify common problems which may include requirements that conflict with one another, requirements that do not fully specify the behavior of a function, requirements that are not independent of one another, and requirements that are either always true or false. Having unambiguous and complete requirements also enables the tool to consistently generate a complete set of requirements-based test cases and procedures to ensure the…
Annotation ability available
A list of downloadable items.
Please Wait. Loading Available Formats...
This modal will allow the user to download citation information or export specific fields of data into one of three file formats: Excel, comma-separated values, or text.
Sorry, this document is already saved to a project folder.
Share this content via social media.
Share Via Email
Email sent successfully!
Use this modal to save a search.
The current search and criteria have already been saved. Please modify your criteria to save as a new search.
Request Sent successfully!
Search Tips: Search Operators:AND, OR, NOT; Wild Cards; Using Quotes
SAE MOBILUS® Search Tips
Please note: All terms not contained within quotes, will be evaluated using the OR operator. This means that your search results will contain all results that contain ANY of the entered terms.
AND, OR, NOT
SAE MOBILUS supports the use of the AND, OR and NOT BOOLEAN operators ONLY function with the Advanced Search.
Using the asterisk, ( * ) allows you to search for a partial word. For example, entering a keyword search of aero* will search for any word beginning with aero.
Using the question mark, ( ? ) allows you to search for a word with a single character wildcard. For example, searching for t?re would match both tire and tyre
Words in double quotes " " are treated as a phrase. Conducting a search for "heat model" will return all results in which the exact phrase "heat model" is found, while "heat modeling" would NOT be included.
A term combined with a phrase will be joined with an OR operator.
Searching for Standards
When searching for a standard please use the entire Document Number assigned, which includes the abbreviation. A space can be used, or omitted between the abbreviation and number.