Model-based systems development relies upon the concept of an executable specification. A survey of published literature shows a wide range of definitions for executable specifications [1, 2, 3, 4, 5, 6, 7, 8, 9 and 10]. In this paper, we attempt to codify the essential starting elements for a complete executable specification-based design flow. A complete executable specification that includes a functional model as well as test cases, in addition to a traditional prose document, is needed to transfer requirements from a customer to a supplier, or from a systems engineer to electrical hardware and software engineers. In the complete form demonstrated here, sub-components of a functionally-decomposed system manifest as modular reuse blocks suitable for publication in functional libraries. The overarching definition provided by product architecture and by software architecture must also be harmoniously integrated with design and implementation. Using seven specific automotive examples, we illustrate effective ways in which executable specifications have been used in production-ready applications. Benefits of model-based development are captured, including earlier and more thorough testing, automatic document generation, and autocode generation.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Executable Specs: What Makes One, and How are They Used?


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Winters, Frank (Autor:in) / Vitkin, Lev (Autor:in) / Schubert, Peter J. (Autor:in)

    Kongress:

    SAE 2006 World Congress & Exhibition ; 2006



    Erscheinungsdatum :

    03.04.2006




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Executable specs: what makes one, and how are they used?

    Schubert,P.J. / Vitkin,L. / Winters,F. et al. | Kraftfahrwesen | 2006


    New Ford "specs."

    Engineering Index Backfile | 1939




    Rail experts tighten tanks specs

    British Library Online Contents | 2006