Design by contract is the principle that the interfaces between modules of a software system-especially a mission-critical one-should be governed by precise specifications. The contracts cover mutual obligations (pre-conditions), benefits (post-conditions), and consistency constraints (invariants). Together, these properties are known as assertions, and are directly supported in some design and programming languages. A recent$500 million software error provides a sobering reminder that this principle is not just a pleasant academic ideal. On June 4, 1996, the maiden flight of the European Ariane 5 launcher crashed, about 40 seconds after takeoff. The rocket was uninsured. The French space agency, CNES (Centre National d'Etudes Spatiales), and the European Space Agency (ESA) immediately appointed an international inquiry board. The board makes several recommendations with respect to software process improvement. There is a simple lesson to be learned from this event: reuse without a precise, rigorous specification mechanism is a risk of potentially disastrous proportions. It is regrettable that this lesson has not been heeded by such recent designs as IDL, Ada 95 or Java. None of these languages has built-in support for design by contract. Effective reuse requires design by contract. Without a precise specification attached to each reusable component, no-one can trust a supposedly reusable component. Without a specification, it is probably safer to redo than to reuse.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Design by contract: the lessons of Ariane


    Additional title:

    Entwickelt nach einem Vertrag: Die Lektionen von Ariane


    Contributors:
    Jazequel, J.M. (author) / Meyer, B. (author)

    Published in:

    Computer, Long Beach ; 30 , 1 ; 129-130


    Publication date :

    1997


    Size :

    2 Seiten




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English





    Revisiting Arcachon: Ariane 5 structures development lessons learned

    Martin, J. / European Space Agency | British Library Conference Proceedings | 2005



    Ariane 5 SRM nozzle design

    L, OLIVIER | AIAA | 1990