Bij het ontwikkelen van de standregelprogrammatuur voor de Italiaanse satelliet SAX is gebruik gemaakt van een aantal CASE tools. Naast een beschrijving van de standregelprogrammatuur, met als hoofdeisen een hoge mate van bedrijfszekerheid en een hoge flexibiliteit, worden de ontwikkelsituatie en de ontwikkelomgeving beschreven. Geschetst wordt hoe het gebruik van CASE tools de bedrijfszekerheid van de programmatuur beïnvloedt. De resultaten van onafhankelijke integratie testen tonen aan dat de gebruikte ontwikkelstrategie inderdaad heeft geleid tot de vereiste bedrijfszekerheid