Alternatives and similar repositories for kekinian

Users that are interested in kekinian are comparing it to the libraries listed below

• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆13Updated 2 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆41Updated 8 months ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated last month
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 6 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• Frama-C / open-source-case-studies
  Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
  ☆28Updated 4 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated this week
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 8 months ago
• AdaCore / qemu
  ☆12Updated last week
• au-ts / sddf
  A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…
  ☆32Updated this week
• nasa / CertWare
  ☆50Updated 8 years ago
• DOCGroup / CIAO
  CIAO is a C++ implementation of the OMG's LwCCM standard.
  ☆11Updated 4 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆57Updated last month
• smaccm / smaccm
  ☆33Updated 6 years ago
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆22Updated 4 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆109Updated 3 years ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆33Updated this week
• antmicro / ecos
  eCos 3.0 RTOS, with Xiilinx Zynq and NXP Vybrid support and other additions
  ☆19Updated 8 years ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆13Updated last year
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 7 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• hex-five / multizone-iot-sdk
  MultiZone® Trusted Firmware is the quick and safe way to build secure IoT applications with any RISC-V processor. It provides secure acce…
  ☆19Updated last year
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 2 weeks ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• OpenAADL / Crazyflie
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Updated 5 years ago
• seahorn / verify-c-common
  ☆17Updated 11 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• jgrivera67 / HiRTOS
  HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
  ☆39Updated 3 weeks ago
• esa / opengeode
  OpenGEODE - a free SDL State Machine editor for space applications...and more
  ☆76Updated 3 weeks ago