Search Results

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.