Skip to content

@DLR-FT DLR Institute of Flight Systems

Change the repository type filter

All

    Repositories list

    26 repositories

    • wasm-interpreter

      Public
      A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies
      interpreterwasm
      Rust
      •
      Apache License 2.0
      •5•21•46•0•Updated Aug 14, 2025Aug 14, 2025

    • arinc653-wasm

      Public
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Aug 13, 2025Aug 13, 2025

    • sysml-v2-sql

      Public
      Rust
      •
      Apache License 2.0
      •0•0•2•1•Updated Aug 12, 2025Aug 12, 2025

    • xilinx-nix-utils

      Public
      A flake which hopefully proves useful for fellow Xilinx users
      Tcl
      •3•4•0•0•Updated Aug 5, 2025Aug 5, 2025

    • SysMLv2LibrarySTPA

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 23, 2025Jul 23, 2025

    • TBT-Segmentation

      Public
      This tool allows to segment a trace of events using a temporal behavior tree specification
      Rust
      •
      Other
      •0•3•0•0•Updated Jul 22, 2025Jul 22, 2025

    • a653rs-linux

      Public
      Rust
      •
      Apache License 2.0
      •4•5•14•3•Updated Jul 8, 2025Jul 8, 2025

    • coua

      Public
      Tool for automated compliance checks in CI
      toolknowledge-graphcertificationontologiesavionics
      Python
      •
      Apache License 2.0
      •0•0•6•0•Updated Jul 8, 2025Jul 8, 2025

    • ModelBasedSTPA

      Public
      MIT License
      •1•10•0•0•Updated Jul 2, 2025Jul 2, 2025

    • wasm-interpreter-review-table-dasc-2025

      Public
      Code for generating interpreter review table in the paper On the Design of a WebAssembly Interpreter for Safety Critical Avionics Applications (DASC 2025)
      Python
      •0•0•0•0•Updated Jun 26, 2025Jun 26, 2025

    • sysml-v2-nix

      Public
      Nix tooling around SysML v2
      Nix
      •1•3•0•0•Updated Jun 24, 2025Jun 24, 2025

    • seL4-nix-utils

      Public
      Nix tooling for the seL4 microkernel & ecosystem
      Nix
      •
      Apache License 2.0
      •1•12•1•1•Updated Jun 18, 2025Jun 18, 2025

    • RTLola-ROS2-Adapter

      Public
      Automatically exposes ROS 2 topics to CISPA's RTLola interpreter without manual overhead.
      Rust
      •
      Other
      •1•1•0•0•Updated Jun 13, 2025Jun 13, 2025

    • sphinx-ext-sparql

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 15, 2025Apr 15, 2025

    • malkoha

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 3, 2025Apr 3, 2025

    • seL4-summit-2024-rust-training-code

      Public
      Code for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.
      Rust
      •1•0•0•0•Updated Feb 18, 2025Feb 18, 2025

    • a653rs-router

      Public
      ARINC 653 message router based on a653rs
      Rust
      •
      Apache License 2.0
      •1•2•2•0•Updated Jan 21, 2025Jan 21, 2025

    • DEOS-rs

      Public
      Proof-of-Concept Rust port to DEOS
      Shell
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 29, 2024Nov 29, 2024

    • a653rs

      Public
      Arinc653 abstraction library for hypervisor independent partition programming
      Rust
      •
      Apache License 2.0
      •3•12•9•0•Updated Nov 5, 2024Nov 5, 2024

    • wasm-separation-kernel

      Public
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 15, 2024Oct 15, 2024

    • a653rs-router-data

      Public
      Measurement data for a653rs-router
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • a653rs-xng

      Public
      Rust
      •
      Apache License 2.0
      •2•1•0•0•Updated Jun 19, 2024Jun 19, 2024

    • a653rs-postcard

      Public
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Jun 14, 2024Jun 14, 2024

    • sel4-rs

      Public
      Rust
      •1•2•3•0•Updated Apr 2, 2024Apr 2, 2024

    • sysml-v2-nu

      Public
      Nushell
      •0•1•0•0•Updated Mar 5, 2024Mar 5, 2024

    • xng-rs-log

      Public
      Logger using XNG console
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jun 13, 2023Jun 13, 2023