Repositories list

• Athena_LibDDDAS

  Public
  This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems

  Python

  •3•3•0•2•Updated Jul 9, 2024Jul 9, 2024

• safety-envelopes-sentinels

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•0•0•0•Updated May 1, 2022May 1, 2022

• NMAC_ATHENA

  Public
  Contains the Athena specifications and proofs for the algorithm described in the paper "Conflict-Aware Flight Planning for Avoiding NMACs"

  Python

  •1•0•0•0•Updated May 14, 2021May 14, 2021

• Distributed_Knowledge_Propagation

  Public
  This repository contains the TLA+ specification and TLAPS proofs of correctness properties for a Distributed Knowledge Propagation Algorithm presented in Digital Avionics Systems Conference 2020

  TLA

  •1•0•0•0•Updated Nov 16, 2020Nov 16, 2020

• pilots

  Public
  PILOTS (ProgrammIng Language for spatiO-Temporal data Streaming applications)

  machine-learningstream-processingdeclarative-programming+ 6data-driven-modelprogramming-languagepilotserror-signaturespilots-grammarpilots-programs

  Java

  •5•8•0•1•Updated May 27, 2020May 27, 2020

• UrgentPath

  Public
  C

  •

  MIT License

  •1•0•0•0•Updated Apr 9, 2019Apr 9, 2019

• Aircraft_Trajectory_Generation

  Public
  Software for generating trajectories for fixed winged aircraft under NO-WIND conditions.

  C

  •7•0•0•0•Updated Apr 9, 2019Apr 9, 2019

• Wind_Aware_Aircraft_Trajectory_Generation

  Public
  A software for generating WIND-AWARE aircraft trajectories for loss of thrust scenarios.

  C

  •1•0•0•0•Updated Oct 12, 2018Oct 12, 2018

• COS-in-C

  Public
  First generation Cloud Operating System implemented in C

  0•0•0•0•Updated Jun 7, 2014Jun 7, 2014

• COS

  Public
  Cloud Operating System

  Java

  •0•0•0•0•Updated Jul 27, 2013Jul 27, 2013

• salsa

  Public
  salsa

  Java

  •1•0•0•0•Updated Feb 13, 2013Feb 13, 2013

• salsa2

  Public
  salsa2

  Java

  •0•0•0•0•Updated Feb 13, 2013Feb 13, 2013

• overview

  Public
  Overview for IOS

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 11, 2013Feb 11, 2013

• IOS

  Public
  Internet Operating System

  Java

  •0•0•0•0•Updated Feb 11, 2013Feb 11, 2013

• salsa_lite

  Public
  The SALSA Programing Language

  Java

  •4•0•0•0•Updated Dec 27, 2012Dec 27, 2012

• Common-Lisp-Actors

  Public
  An actor system for Common Lisp.

  Common Lisp

  •

  BSD 2-Clause "Simplified" License

  •15•0•0•0•Updated May 17, 2012May 17, 2012