Het gebruik van case tools bij de ontwikkeling van on-board ruimtevaartprogrammatuur

Report (1993)

Authors

G.J. Dekker

G.J. Hameetman

Computer aided design Requirements Software reliability Satellite attitude control Applications programs (computers) Program verification (computers) Programming environments SAX satellite Software development tools

To reference this document use:

http://resolver.tudelft.nl/uuid:18d29e67-cf31-43c0-a6ee-6bd98852387b

More Info

expand_more

Published Date

08-11-1993

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Source:

NLR Technical Publication TP 93501 U

Abstract

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

Files

93501.pdf

(pdf | 14.7 Mb)

Download not available