Die Softwareentwicklung im Automobilbereich ist gekennzeichnet durch die immer zahlreicheren, komplexeren und intelligenteren Steuerungen und durch den Trend zum Einsatz drahtloser Systeme (by-wire-Technik). Diese neuen Systeme, aber auch die schon eingesetzten Airbag oder ABS-Systeme implizieren höchste Sicherheitsansprüche an den gesamten Entwicklungsprozeß. Insbesondere im Bereich Softwareentwicklung sind traditonelles Handcodieren und intensives Unit-Testen nicht mehr zielführend. Methoden wie automatisches Codegenerieren, Simulation der Spezifikation und ähnliches sind seit einigen Jahren bekannt. Im vorliegenden Beitrag wird darüber hinaus ein Ansatz vorgestellt. der in der Luftfahrtindustrie erfolgreich zu sicheren Software-Entwicklung der fly-by-wire Systeme eingesetzt wird. Mit einer sehr formalen, synchronen Sprache wie LUSTRE und der Oberfläche SCADE werden Systeme mit dem Ziel beschrieben, deterministischen Code zu generieren, mit einem höchsten Qualitätsansprüchen genügenden Codegenerator (DO178B Level A) zu arbeiten und Vorteile dieser Spezifikationssprache - formale Verifikation - zusätzlich zur bekannten funktionalen Simulation zu benutzen. LUSTRE beinhaltet umfangreiche Semantikschecks, die neben normalen syntaktischen und Typenchecks auch Kausalität und Clocks abprüft. Die Erfahrung hat gezeigt, daß beide Checks sehr effektiv Modellierungsprobleme finden, welche mit anderen Verfahren kaum zu finden sind. Mit LUSTRE und seinen Vorteilen sowie einen möglichst automatischen Zusammenspiel mit einem Systembeschreibungswerkzeug wie MATLAB/SIMULINK entsteht ein durchgängiger Flow von der Spezifikation bis hin zum embedded Code. Ein weiterer Vorteil der formalen Sprache ist die Möglichkeit als zusätzliches Testwerkzeug die 'Formale Verifikation' (konkret Modelcheck) einzusetzen. Ziel ist es, die herkömmliche funktionale Systemsimulation zu unterstützen und den Testrahmen, die Testtiefe und den Umfang erheblich zu erweitern.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software Entwicklung für sicherheitskritische Anwendungen im Automobil


    Contributors:


    Publication date :

    2002


    Size :

    3 Seiten, 2 Bilder


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German





    Mit Sicherheit - MOST150 fuer sicherheitskritische Anwendungen

    Lisner,J. / Specht,J. / TUeV Nord,Hannover,DE | Automotive engineering | 2010



    Virtual Prototyping fuer sicherheitskritische Anwendungen

    Alford,C. / Vast Systems Technol.,DE | Automotive engineering | 2006


    Gruppenmitgliedschaft für sicherheitskritische Anwendungen (Safety/Security)

    Werthschulte, K. / Schneider, M. | Tema Archive | 2009