Repositories list

• massiva

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

  C

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Jun 30, 2024Jun 30, 2024

• mde_to_ooxml

  Public
  Transformations from ECSS model instances to DOCX

  C++

  •0•0•0•0•Updated May 6, 2024May 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, 2024May 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

  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 20, 2024Mar 20, 2024

• riscv-isa-sim

  Public
  Spike, a RISC-V ISA Simulator

  C

  •

  Other

  •887•0•1•0•Updated Oct 27, 2022Oct 27, 2022

• uah_srg_edroobp_zephyr

  Public
  C++

  •0•0•0•0•Updated Jul 12, 2022Jul 12, 2022

• gss-eclipse

  Public
  GSS Configuration Language plug-ins

  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Jan 20, 2022Jan 20, 2022

• documents

  Public
  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Jan 20, 2022Jan 20, 2022

• gss_log_to_tcr

  Public
  Transformations from SRG_GSS logs to TCR instances

  C++

  •0•0•0•0•Updated Dec 2, 2021Dec 2, 2021

• mde-req-docs

  Public
  MDE created Requirement Docs

  Eclipse Public License 2.0

  •0•0•0•0•Updated Apr 17, 2021Apr 17, 2021

• verification

  Public
  Component-based System Verification Model

  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Oct 28, 2020Oct 28, 2020

• tmtcif

  Public
  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Apr 17, 2020Apr 17, 2020