In den frühen Entwicklungsphasen von elektronischen Steuergeräten muß eine höhere Entscheidungssicherheit durch rechnergestütztes Simulieren, Testen und Bewerten der Systeme erreicht werden. Dies erfordert neue Entwicklungsmethoden und -umgebungen in der Definitions- und Konzeptphase, sowie umfangreiche Verifikations- und Testmöglichkeiten. Ein neues Konzept für einen alternativen Entwicklungsablauf, das diese Anforderungen erfüllen kann, baut auf den Einsatz von CASE (Computer Aided System/Software Engineering), womit rechnergestützt eine formale Spezifikation erstellt wird. Das Modell, das zur Spezifikation verwendet wird, ist ein erweiterter diskreter zustandsendlicher Automat (Statecharts) mit Datenflußdiagrammen (Activitycharts). Aus den spezifischen Informationen wird anschließend rechnergestützt eine interne Modelldarstellung in Form einer Datenstruktur aufgebaut, aus der ein ablauffähiges Steuerungsprogramm generiert wird. Das so entstandene Programm wird im Anschluß auf eine geeignete prototypenhafte Steuergeräte-Hardwareplattform geladen und ist somit in seiner realen Umgebung erlebbar. Dieses Verfahren von einer formalen Spezifikation schnell prototypenhafte Software automatisch zu generieren und diese auf geeigneter Steuergeräte-Hardware zu betreiben, so daß die Funktionalität und das Verhalten der spezifierten Systeme in Echtzeit und in realer Umgebung dargestellt werden kann, nennt man 'Rapid Prototyping'. Erste Ergebnisse und ein Ausblick dieses Verfahrens werden abschließend vorgestellt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Rapid Prototyping, eine Transformation von einer formalen Spezifikation in eine interne Modelldarstellung zur Code Generierung mit integrierter Echtzeitanalyse


    Weitere Titelangaben:

    Rapid Prototyping, a transformation of a formal specification into a formal model representation to generate code with an integrated realtime analysis


    Beteiligte:
    Spreng, M. (Autor:in) / Aufhauser, C. (Autor:in) / Forster, B. (Autor:in)


    Erscheinungsdatum :

    1995


    Format / Umfang :

    13 Seiten, 5 Bilder, 12 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch