During the summer of 2017, the Air Force Research Laboratory (AFRL), located in Dayton, Ohio, invited a team of experts from government, academia and industry to participate in their Summer of Innovation program.
The team focused on applying state of the art formal verification tools on the AFRL UxAS software. GE Research team members applied its Analysis of Semantic Specifications and Efficient generation of Requirements based Tests tool chain to capture, analyze requirements and generate test cases in the Requirements Group and led the Systems Safety Group.
The work was presented at the AFRL Safe and Secure Software and Systems Symposium (S5).
Capabilities utilized for High Assurance Systems: AFRL Summer of Innovation project
High Assurance Systems
Enabling the design, development, and verification of safety critical infrastructureRead more