The size and complexity associated with software that monitors, controls, and protects flight critical products continues to grow. This is compounded by an increased use of autonomous systems which are just as complex, if not more so, since many operator responsibilities are supported and replaced by software in unmanned systems.
Further, these systems are subject to cyber-enabled attacks, thereby necessitating another level of complex software to ensure security. GE Research devoted a team to research and develop a new suite of tools to address the challenges with design, development, and verification of these software-intensive products.
The goals were to develop technology, processes, and tools that result in more efficient software and system development as measured by cost and cycle time, and to enable new capabilities such as autonomy and the Industrial Internet.
The GE Research team created a tool chain named Analysis of Semantic Specifications and Efficient generation of Requirements-based Tests to formalize requirements capture, requirements analysis, and auto test generation.
-
Our Expertise
Capabilities utilized for High Assurance Systems project
-
High Assurance Systems
Enabling the design, development, and verification of safety critical infrastructure
Read more