Aug 2026· Zenodo (CERN European Organization for Nuclear Research)
Space Satellite Systems and Control
Abstract
The exponential expansion of satellite mega-constellations and orbital debris in Low Earth Orbit increases the operational risk of catastrophic collisions. Traditional centralized, ground-based Space Situational Awareness architectures depend on heavy numerical infrastructure, human-in-the-loop validation, and continuous communications, introducing structural latency and leaving spacecraft vulnerable during ground-link blackouts or delayed tracking updates.To resolve this vulnerability, we present STMEdge (Space Traffic Management, at the Edge), a high-performance, header-only, dependency-free C++ engine designed for real-time Conjunction Assessment Screening and emergency Collision Avoidance Maneuver sizing directly on spacecraft On-Board Computers. The software implements a deterministic pipeline consisting of a constant-work altitude filter, an epoch-normalized kinematic anti-tunneling sieve, a secular mean-element orbital propagator, an analytical golden section search for exact time-of-closest-approach refinement, a linearized state transition matrix accounting for atmospheric drag variability noise, a closed-form two-dimensional encounter plane collision probability evaluator, and a reactive impulsive in-track avoidance maneuver optimizer based on relative orbital dynamics. The system is engineered strictly as an on-board contingency triage engine for resource-constrained flight processors (such as ARM and RISC-V platforms on CubeSats and constellation buses). By eliminating dynamic heap allocations in the critical execution loop, STMEdge provides deterministic execution guarantees that allow autonomous spacecraft to continuously ingest local ephemeris catalogs, filter non-threatening encounters, assess collision risks, and compute emergency avoidance burns in communication-denied environments without ground intervention.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The perception of the impact of agile methods is predominantly positive, and several challenge areas were discovered, but based on this study, agile methods are here to stay.
M. Laanti, O. Salo, P. Abrahamsson· Information and Software Tec...· 260 citations· ⚡20
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 15, 2026
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026