Skip to content
@uah-srg-tech

UAH - Space Research Group

Popular repositories Loading

  1. gss-eclipse gss-eclipse Public

    GSS Configuration Language plug-ins

    Java

  2. verification verification Public

    Component-based System Verification Model

    Java

  3. documents documents Public

    Java

  4. tmtcif tmtcif Public

    Java

  5. mde-req-docs mde-req-docs Public

    MDE created Requirement Docs

  6. gss_log_to_tcr gss_log_to_tcr Public

    Transformations from SRG_GSS logs to TCR instances

    C++

Repositories

Showing 10 of 12 repositories
  • massiva Public

    Monitoring and Analysis System for Software Inspection, Verification/Validation and Assessment

    C 0 EPL-2.0 0 0 0 Updated Jun 30, 2024
  • mde_to_ooxml Public

    Transformations from ECSS model instances to DOCX

    C++ 0 0 0 0 Updated May 6, 2024
  • test_campaign_parser Public

    Transormations for creating all the MASSIVA test files from SVS test procedures XML file

    C++ 0 0 0 0 Updated May 6, 2024
  • trace_disassertion_results Public

    Public results of the "Aportaciones al diseño de arquitectura de computadores orientadas al incremento de la fiabilidad en su uso para proyectos espaciales" thesis

    0 GPL-3.0 0 0 0 Updated Mar 20, 2024
  • riscv-isa-sim Public Forked from riscv-software-src/riscv-isa-sim

    Spike, a RISC-V ISA Simulator

    C 0 928 1 0 Updated Oct 27, 2022
  • uah_srg_edroobp_zephyr Public
    C++ 0 0 0 0 Updated Jul 12, 2022
  • gss-eclipse Public

    GSS Configuration Language plug-ins

    Java 0 EPL-2.0 0 0 0 Updated Jan 20, 2022
  • documents Public
    Java 0 EPL-2.0 0 0 0 Updated Jan 20, 2022
  • gss_log_to_tcr Public

    Transformations from SRG_GSS logs to TCR instances

    C++ 0 0 0 0 Updated Dec 2, 2021
  • mde-req-docs Public

    MDE created Requirement Docs

    0 EPL-2.0 0 0 0 Updated Apr 17, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…