Atlas / Learn / Research papers
Academia · 5,559 papers
Aviation research, sourced & cited.
Curated index of aviation-relevant research from NASA NTRS, NTSB safety studies, FAA CAMI, and academic sources. Every record links back to its original — we don't host PDFs, we describe each paper and credit the authors. Built for cross-link with the rest of Atlas: search by topic, drill into a CFR section or airframe and see the research that bears on it.
14 matches · arXiv cs.SE
- arXiv 2026 ARXIV arXiv preprint
FESOM2-JAX v1.0: a differentiable shadow of the ocean-sea-ice model FESOM2, cast onto GPUs
We present FESOM2-JAX, a Python re-implementation of the Finite-volumE Sea ice-Ocean Model (FESOM2) in JAX. The model retains the unstructured-mesh, cell-vertex finite-volume formulation of the original, runs unchanged f…
- arXiv 2025 ARXIV arXiv preprint
Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
With the increasing deployment of small Unmanned Aircraft Systems (sUAS) in unfamiliar and complex environments, Environmental Digital Twins (EDT) that comprise weather, airspace, and terrain data are critical for safe f…
- arXiv 2025 ARXIV arXiv preprint
A Scalable Framework for the Management of STPA Requirements: a Case Study on eVTOL Operations
System-Theoretic Process Analysis (STPA) is a recommended method for analysing complex systems, capable of identifying thousands of safety requirements often missed by traditional techniques such as Failure Mode and Effe…
- arXiv 2024 ARXIV arXiv preprint
Runtime Verification on Abstract Finite State Models
Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle.
- arXiv 2022 ARXIV arXiv preprint
On Using Blockchains for Beyond Visual Line of Sight (BVLOS) Drones Operation: An Architectural Study
Beyond Visual Line of Sight operation enables drones to surpass the limits imposed by the reach and constraints of their operator's eyes. It extends their range and, as such, productivity, and profitability.
- arXiv 2021 ARXIV arXiv preprint
A Software Tool for Evaluating Unmanned Autonomous Systems
The North Carolina Agriculture and Technical State University (NC A&T) in collaboration with Georgia Tech Research Institute (GTRI) has developed methodologies for creating simulation-based technology tools that are capa…
- arXiv 2021 ARXIV arXiv preprint
Be Lean -- How to Fit a Model-Based System Architecture Development Process Based on ARP4754 Into an Agile Environment
An emerging service is moving the known aviation sector in terms of technology, paradigms, and key players - the Urban Air Mobility. The reason: new developments in non-aviation industries are driving technological progr…
- arXiv 2021 ARXIV arXiv preprint
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study
As aircraft systems become increasingly autonomous, the human-machine role allocation changes and opportunities for new failure modes arise.
- arXiv 2021 ARXIV arXiv preprint
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft.
- arXiv 2021 ARXIV arXiv preprint
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthe…
- arXiv 2021 ARXIV arXiv preprint
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
The Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline controller in order to maintain the safety o…
- arXiv 2020 ARXIV arXiv preprint
A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331
The emergence of a global market for urban air mobility and unmanned aerial systems has attracted many startups across the world. These organizations have little training or experience in the traditional processes used i…
- arXiv 2020 ARXIV arXiv preprint
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recover…
- arXiv 2019 ARXIV arXiv preprint
Security-Aware Synthesis Using Delayed-Action Games
Stochastic multiplayer games (SMGs) have gained attention in the field of strategy synthesis for multi-agent reactive systems. However, standard SMGs are limited to modeling systems where all agents have full knowledge o…