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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

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


    Contributors:
    Spreng, M. (author) / Aufhauser, C. (author) / Forster, B. (author)


    Publication date :

    1995


    Size :

    13 Seiten, 5 Bilder, 12 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German