{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"RITE","owner":"ge-high-assurance","isFork":false,"description":"DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)","allTopics":["eclipse-ide","certification","assurance-case"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":10,"issueCount":22,"starsCount":3,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T12:52:02.653Z"}},{"type":"Public","name":"VERDICT","owner":"ge-high-assurance","isFork":false,"description":"DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)","allTopics":["fault-tree","model-checking","attack-defense","system-engineering","cyber-resiliency","behavioral-analysis","architecture-analysis"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":10,"issueCount":8,"starsCount":40,"forksCount":14,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T11:22:32.640Z"}},{"type":"Public","name":"RACK","owner":"ge-high-assurance","isFork":false,"description":"DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK) ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":81,"starsCount":19,"forksCount":6,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T22:16:22.885Z"}},{"type":"Public","name":"VERDICT-update-sites","owner":"ge-high-assurance","isFork":false,"description":"Update sites for VERDICT plugin","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T13:09:21.998Z"}},{"type":"Public","name":"OPAI","owner":"ge-high-assurance","isFork":false,"description":"Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA","allTopics":["machine-learning","validation","data-model","machine-learning-algorithms","verification","ontology","artificial-intelligence","artificial-neural-networks","intelligent-systems","intelligent-transportation-systems","assurance-case","overarching-properties"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T15:24:37.216Z"}},{"type":"Public","name":"OYSTER","owner":"ge-high-assurance","isFork":false,"description":"PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-14T12:58:37.772Z"}},{"type":"Public","name":"sadl-snapshot-repository","owner":"ge-high-assurance","isFork":false,"description":"Snapshot versions of SADLServer and Reasoner dependencies","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Eclipse Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-15T16:54:02.867Z"}},{"type":"Public","name":"verdict-snapshot-repository","owner":"ge-high-assurance","isFork":false,"description":"VERDICT libraries","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-05T13:44:04.871Z"}},{"type":"Public","name":"flight-readiness-asp","owner":"ge-high-assurance","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Prolog","color":"#74283c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-21T11:49:08.224Z"}},{"type":"Public","name":"RACK-Turnstile-Example","owner":"ge-high-assurance","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-16T18:32:26.765Z"}},{"type":"Public","name":"ge-high-assurance.github.io","owner":"ge-high-assurance","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-24T18:41:07.960Z"}},{"type":"Public","name":"assurance-case","owner":"ge-high-assurance","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-28T19:11:09.775Z"}},{"type":"Public","name":"High-Assurance-Systems-Projects","owner":"ge-high-assurance","isFork":false,"description":"Brief descriptions of GE High Assurance Systems research team projects.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-23T17:51:10.429Z"}},{"type":"Public","name":"SOTERIA","owner":"ge-high-assurance","isFork":false,"description":"An automated way to synthesize safety-informed architectures","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-10T16:05:55.732Z"}},{"type":"Public","name":"safety-analysis","owner":"ge-high-assurance","isFork":false,"description":"A model-based framework for modeling, visualizing, and analyzing the safety of system architectures","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-10T15:21:24.761Z"}}],"repositoryCount":15,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}