GE High Assurance Software
The High Assurance Systems team at GE Research is developing technology and tools to support trust in software intensive critical infrastructure.
Niskayuna, NY
Pinned Repositories
flight-readiness-asp
High-Assurance-Systems-Projects
Brief descriptions of GE High Assurance Systems research team projects.
OPAI
Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA
RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
RITE
DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
sadl-snapshot-repository
Snapshot versions of SADLServer and Reasoner dependencies
safety-analysis
A model-based framework for modeling, visualizing, and analyzing the safety of system architectures
SOTERIA
An automated way to synthesize safety-informed architectures
VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
VERDICT-update-sites
Update sites for VERDICT plugin
GE High Assurance Software's Repositories
ge-high-assurance/VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
ge-high-assurance/RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
ge-high-assurance/SOTERIA
An automated way to synthesize safety-informed architectures
ge-high-assurance/RITE
DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
ge-high-assurance/safety-analysis
A model-based framework for modeling, visualizing, and analyzing the safety of system architectures
ge-high-assurance/flight-readiness-asp
ge-high-assurance/OPAI
Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA
ge-high-assurance/sadl-snapshot-repository
Snapshot versions of SADLServer and Reasoner dependencies
ge-high-assurance/VERDICT-update-sites
Update sites for VERDICT plugin
ge-high-assurance/assurance-case
ge-high-assurance/ge-high-assurance.github.io
ge-high-assurance/High-Assurance-Systems-Projects
Brief descriptions of GE High Assurance Systems research team projects.
ge-high-assurance/OYSTER
PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)
ge-high-assurance/RACK-Turnstile-Example
ge-high-assurance/verdict-snapshot-repository
VERDICT libraries