sireum / kekinianLinks
Sireum: A High Assurance System Engineering Platform
☆12Updated this week
Alternatives and similar repositories for kekinian
Users that are interested in kekinian are comparing it to the libraries listed below
Sorting:
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆68Updated 3 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- Component Architecture test suite and example apps.☆29Updated 2 months ago
- Robotics with Ada, ARM, and Lego☆17Updated last year
- 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
- Examples and case-study that use OSATE☆57Updated last month
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆13Updated 7 years ago
- Robot navigation algorithms implemented in SPARK☆12Updated 10 years ago
- sel4 benchmarking applications and support library.☆20Updated last week
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆28Updated 4 years ago
- ☆34Updated 6 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆42Updated 9 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- ☆33Updated 6 years ago
- COMODO2 is a Java tool that allows to transform a UML/SysML model into code for different software platforms.☆25Updated last year
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated last month
- Ada-language framework☆44Updated last week
- A Tool for Multi-Paradigm Modeling☆24Updated 8 months ago
- ☆12Updated 8 months ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- Ada Embedded Network Stack☆24Updated last week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 2 months ago
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆40Updated last month
- Capability Distribution Language tools for seL4☆37Updated 2 months ago
- ☆51Updated 8 years ago
- A startup code generator for embedded projects☆30Updated 4 months ago