Static and Dynamic Verification of Critical Software for Space Applications
Francisco Moreira, Ricardo Maia, D. Costa, Natividad Duro, Patricia Rodriguez-Dapena, Kjeld Hjortnaes · ESASP · 2003
Space technology is no longer used only for much specialised research activities or for sophisticated manned space missions. Modern society relies more and more on space technology and applications for every day activities. Worldwide telecommunications, Earth observation, navigation and remote sensing are only a few examples of space applications on which we rely daily. The European driven global navigation system – Galileo – and its associated applications, e.g. air traffic management, vessel and car navigation, will significantly expand the already stringent safety requirements for space based applications