Congrats! To everyone at SpaceX Mission Control, NASA, and the 45th Space Wing. You are inspiring the next generation of astronauts and explorers! At approx t-

Congrats! To everyone at SpaceX Mission Control, NASA, and the 45th Space Wing. You are inspiring the next generation of astronauts and explorers! At approx t-minus four minutes and counting. Elon Musk tweeted the "Holy Mouse Click" had returned "true". That moment when control is transferred to the onboard modules. And the Autonomous Flight Safety System takes control. Its truly awesome to see that silky smooth burn. that perfect parabolic arc. And think upon the twenty-seven Merlin engines all firing in synchrony. Equipped with an intelligent decision making capability. And what the implications might be for future human spaceflight. Here is an ancient link. But back around the mid-noughties. NASA published some details on the architecture of an AFSS: An Autonomous Flight Safety System https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20080044860.pdf https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/200800... Considering the Falcon Heavy includes reusable side boosters and central shaft. The complexity multiplies. As an example, take a peek at an implementation for expendable missions. that still use ground or satellite tracking and control. Range Safety Algorithm Software Module for an Autonomous Flight Safety System https://software.nasa.gov/software/GSC-15594-1 https://software.nasa.gov/software/GSC-15594-1 Darpa contributed tool for low level verification of onboard AFSS software. SeaHorn: A fully automated analysis framework for LLVM-based languages http://seahorn.github.io/ http://seahorn.github.io/ And of course, once your computers make it into space. They will need a place to store all the mountains of data generated ;) SpaceBelt: space-based cloud storage network http://spacebelt.com/ http://spacebelt.com/