Gregory Horvath
Jet Propulsion Laboratory, California Institute of Technology
Papers
2
Total Citations
10
H-Index
2
About
Gregory Horvath is a leading researcher in the field of safety-critical software systems for deep-space and robotic spacecraft, with a focus on formal verification and partitioned software architectures. His most influential work, "A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker" (2009, 8 citations), introduced a rigorous, model-based methodology to replace ad-hoc testing for embedded real-time systems, significantly enhancing the reliability of software for deep-space science missions. This contribution addresses the critical challenge of verifying complex flight software where traditional test coverage is insufficient. Horvath further advanced the field with his 2011 paper on "Safety-critical Partitioned Software Architecture," which proposed a partitioned OS framework to mitigate fatal software defects in JPL-managed missions. By advocating for the adoption of partitioned operating systems, he tackled systemic vulnerabilities in flight software, offering a robust solution to prevent catastrophic failures. His work has been instrumental in shaping modern approaches to spacecraft software safety, earning him recognition as a key figure in ensuring the dependability of autonomous space systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2