Name: GE High Assurance Software
Type: Organization
Bio: The High Assurance Systems team at GE Research is developing technology and tools to support trust in software intensive critical infrastructure.
Location: Niskayuna, NY
Blog: https://www.ge.com/research/
GE High Assurance Software's Projects
Brief descriptions of GE High Assurance Systems research team projects.
Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA
PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
Snapshot versions of SADLServer and Reasoner dependencies
A model-based framework for modeling, visualizing, and analyzing the safety of system architectures
An automated way to synthesize safety-informed architectures
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
VERDICT libraries
Update sites for VERDICT plugin