Safety-critical aviation software

Building software
for the systems
aviation depends on.

Computer Engineering Technology graduate and private pilot, and most of my project work has ended up somewhere in aviation, including flight planning compilers, real-time ATC simulation in Ada, lightning risk prediction along flight routes, and runway visibility systems. This is the kind of work I find interesting.

I care about writing software that's correct, well-reasoned, and built to last. My projects are informed by standards like DO-178C, ARINC 653, and ICAO requirements. I enjoy studying how these standards shape the design, verification, and long-term maintenance of safety-critical software, and I try to apply that same engineering mindset throughout my work.

Also learning to fly, which makes the aviation part a little more personal.

Tisha Patel
Location Ottawa, Ontario
Degree Computer Engineering Technology, 2026
Focus Safety-critical systems, embedded, compilers
Interests ATC systems, embedded avionics, flight data
Status Full Stack Developer
C · Ada · C++
Primary safety-critical languages
3
Research papers published on ResearchGate
DO-178C·ARINC 653
Standard informing project design decisions
Systems Software
Linux · Raspberry Pi · ESP32
Research and publications

Published work

Three papers on aviation safety software, compiler design, and quantum-inspired route optimization. All available on ResearchGate.

Compiler design · DSL

AirLang: A Domain-Specific Language for Aviation Flight Planning and Operations

A full seven-phase compiler for a language built specifically around aviation flight planning. The idea was to make the constraints of flight weight and balance, fuel limits, ICAO rules, separation requirements something the language understands natively, not just a set of checks bolted on afterward.

  • Full compilation pipeline: lexer, parser, AST, semantic analysis, type checking, IR, code generation
  • Haversine-based distance and fuel burn calculations, center-of-gravity and weight-and-balance at compile time
  • Real-time METAR integration so route plans reflect actual weather conditions
  • v3.0 shipped with an embedded runtime
Quantum optimization · Route planning

IrisPathQ: Quantum-Enhanced Flight Route Optimization Using QAOA

An exploration of whether quantum computing approaches can do something useful for flight routing. IrisPathQ uses the Quantum Approximate Optimization Algorithm (QAOA) to search route alternatives under realistic operational constraints: airspace structure, weather avoidance, and traffic density all encoded into the cost model.

  • Hybrid QAOA and classical A* pathfinding working together to prune the search space
  • Outperforms greedy classical baseline on multi-flight route selection benchmarks
Projects

Things I've built

A mix of public and private work. Some of the more interesting things are under NDA or still in progress.

✈️
Published
C
AirLang: Aviation DSL Compiler

A programming language and compiler built from scratch for aviation flight planning. You write a route in AirLang, the compiler checks your weight and balance, validates fuel against performance tables, pulls live weather, and flags anything that would violate ICAO rules all before anything runs.

  • Seven-phase pipeline from lexer to code generation, fully in C
  • Native support for aviation units, waypoints, alternates, and NOTAMs
  • v3.0 has an embedded runtime for executing plans directly
📡
Ada
ATC Radar Simulator

A real-time air traffic control simulator written in Ada. It tracks aircraft positions, enforces ICAO horizontal and vertical separation standards, accounts for wake turbulence categories, and generates resolution advisories when conflicts are detected. Written in Ada specifically because the concurrency model and strong typing make the correctness constraints easier to express.

  • Live conflict detection with automatic resolution advisory output
  • Wake turbulence enforcement by aircraft weight category
  • ASCII radar display with flight phase annotation
🌫️
Working
C · Python · libmodbus
RVR-Modbus: Runway Visibility Service

A service that reads Runway Visual Range from a serial-connected sensor, applies a light intensity correction factor, and publishes the adjusted visibility value over Modbus TCP. Runs on a Raspberry Pi 3B+ with an ATmega2560 handling the sensor side. Containerized and working on deploying it on k3s.

  • Modbus TCP server with clean register layout for client polling
  • Handles serial communication, ambient light correction, and protocol translation in one service
  • Containerized with Docker, imported into k3s via containerd after resolving image import issues
🛬
In progressPrivate
C · Raspberry Pi · ESP32
AirPeek: Runway Incursion Detection

A small device that receives live ADS-B traffic on a Pi Zero, cross-references it with NAV CANADA open aeronautical data, and drives an ESP32 display. Built around a gap the TSB identified in its 2025 Watchlist on ground movement safety.

  • ADS-B decoding, custom alerting logic on top
  • NAV CANADA open data for runway geometry and threshold positions
  • There's more to this than the description covers reach out if you are intrested or work in this space
Private active development
⚛️
Published
C · Python · Qiskit
IrisPathQ: Quantum Route Optimizer

The implementation side of the IrisPathQ paper. A hybrid QAOA and A* system that searches flight route alternatives under real operational constraints. Airspace structure, weather exposure, and traffic density are all encoded into the quantum cost function.

  • QAOA layers built with Qiskit, classical A* handles the initial candidate generation
  • Outperforms greedy routing baseline across multi-flight test scenarios
🛩️
C++ · Arduino
Aircraft Monitoring System

An embedded monitoring system on Arduino tracking aircraft state, control inputs, and ground communication. MPU6050 for attitude, IR remote for control, RFID for operator authentication, all feeding into a Node-RED dashboard over serial.

  • Sensor fusion across IMU, temperature, and motion inputs
  • Node-RED dashboard integration for real-time visualization
📟
C++ · ESP32
The Contrail Case

A desk ADS-B tracker built into an enclosure. An ESP32 polls adsb.fi for live overhead aircraft and scrolls the data across a 1602A LCD. Mostly just a fun build, but it runs 24/7 on my desk.

🚀
C++ · ESP32
ATOM Flight Computer

Custom flight computer for model rocketry featuring sensor fusion, active stabilization, and real-time telemetry. ESP32 S3-based system with IMU integration, thermal imaging (MLX90640), and servo-controlled fin stabilization for flight control.

  • Sensor fusion across IMU, barometer, and thermal imaging inputs
  • Real-time servo control for active fin stabilization during flight
  • Telemetry logging and post-flight analysis support
✴️
HTML · CSS · JavaScript · Three.js
Project NorthStar Interactive App

A bilingual interactive web app for the C-54GM NorthStar restoration project at Project North Star Association of Canada. Visitors can explore the aircraft through a clickable SVG diagram with 845 individually mapped paths, and view a Three.js 3D model of the aircraft.

  • 845-path SVG with click-to-identify part lookup
  • Full English/French bilingual interface
  • Three.js 3D viewer converted from source model files
Private active development
🎫
C
AeroC: Aviation Booking Language

A domain-specific language for Global Distribution System (GDS) operations. Parser and interpreter for airline booking workflows, covering passenger reservations, fare rules, and seat inventory. Designed to show how DSL principles apply outside of technical domains and into aviation commerce.

  • Custom lexer and recursive descent parser for GDS command syntax
  • Interpreter evaluates booking transactions and validates against fare constraints
🔬
Java · Swing · SQLite
Quantum Circuit Simulator

An interactive desktop app for building and simulating quantum circuits, built with Java Swing. Supports gate-by-gate circuit construction, qubit measurement simulation, and histogram visualization of output state probabilities.

  • Client-server architecture with SQLite for persisting circuit designs and user sessions
  • Supports standard gates (H, X, Y, Z, CNOT) with live state vector updates
💻
C · Ada
C & Ada Programming Archive

Collection of aviation-focused C and Ada programs including flight planning tools, runway incursion alerts, airline reservation systems, quantum algorithms, data structures, and various course assignments demonstrating systems programming fundamentals.

  • Safety-critical algorithm implementations in Ada
  • Embedded systems prototypes and coursework
  • Aviation domain knowledge applied across multiple languages
🔧
C++ · Arduino
Arduino Projects Collection

A collection of Arduino embedded experiments covering sensor integration, hardware interfacing, and microcontroller programming. Includes general-purpose embedded work and aviation-adjacent prototypes built during coursework and on my own time.

  • Sensor prototyping with I2C/SPI peripherals, servo control, and serial communication
  • Several projects fed directly into larger aviation system designs
Published
C · Ada · Python · Java
AirLume: Lightning Strike Prediction

Multi-language system that analyzes atmospheric conditions along flight paths to predict lightning formation zones. Integrates real-time weather data with a physics-based electric field (E-field) risk engine to recommend safer routing and enhance aviation safety.

  • C physics engine for Paschen's Law and Townsend Avalanche calculations
  • Ada safety-critical decision logic with dissimilar redundancy
  • Validated against 181 real NASA SWDI lightning strike events
  • Route visualization and path-comparison interface in development
Skills

What I work with

The tools and domains that show up consistently across my work.

Safety-critical languages

C · Ada · C++

Most of my serious projects use these. DO-178C and ARINC 653 principles, dissimilar redundancy, timing constraints. Ada especially for anything needing strong concurrency guarantees.

Embedded systems

STM32 · ESP32 · Raspberry Pi

SPI/I2C sensor integration, real-time state machines, serial communication, Modbus TCP, ADS-B with RTL-SDR, k3s on Pi hardware.

Compiler design

Lexer to code generation

Built full seven-phase pipelines in C. AST design, semantic analysis, type systems, embedded runtimes for domain-specific languages.

Web and backend

Angular · Node.js · Jakarta EE

REST APIs, Express, RxJS, Docker, Jakarta EE, and modern backend architecture. Currently learning Kubernetes and container orchestration.

Aviation domain

ICAO · DO-178C · ARINC

Flight planning, METAR/TAF parsing, ADS-B, runway visual range (RVR), ATC separation standards, wake turbulence categories, and safety-critical aviation software design.

Research and data

Python · Qiskit · scikit-learn

QAOA implementation, Paschen's Law E-field modeling, NASA SWDI validation, Random Forest classification, cross-validation workflows.

Contact

Get in touch.

Open to software roles, especially anything touching aviation, safety-critical systems, or embedded. Happy to walk through any of the projects or share private repos on request.