Der steigende Einsatz von Elektronik im Kraftfahrzeug führt zu einem stetig steigenden Anteil der Softwareproduktionskosten an den Gesamtkosten einer Fahrzeugentwicklung. Die Aufwendungen für den Softwareentwicklungsprozess, zum Beispiel für die Erstellung, Anpassung, Test und Wartung von Software, bilden dabei nur einen Teil der Kosten. Nicht zu überblickende Mehrkosten entstehen, wenn Software ein Fehlverhalten einer Komponente verursacht, das bis zum Ausfall eines Fahrzeuges führen kann. Der Einsatz formaler Methoden in der Softwareentwicklung kann einen wesentlichen Beitrag zur Reduktion solcher Kosten leisten. Eine Vielzahl von formalen Methoden zur Spezifikation und Analyse von Software stehen zur Verfügung. Jeder dieser Ansätze besitzt Vor- und Nachteile, die seinen Einsatzbereich bestimmen. Ein einziger Lösungsansatz für alle formalen Probleme der Softwareentwicklung existiert genauso wenig wie die Losung aller Probleme der Softwareentwicklung mit formalen Methoden allgemein. Einige Bestandteile aus der Menge der formalen Methoden sind im Beitrag aufgeführt. Diese Liste erhebt allerdings keinen Anspruch auf Vollständigkeit. Anhand von Fallstudien wird die Wirksamkeit formaler Methoden bei der Entwicklung von typischen fahrzeugspezifischen Elektroniksystemen gezeigt.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung


    Additional title:

    Formal specifications in addition to traditional methods in the field of the software development


    Contributors:

    Published in:

    ATZ-Elektronik ; 3 , 4 ; 24-27


    Publication date :

    2008


    Size :

    4 Seiten, 2 Bilder, 18 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Formale ergaenzen traditionelle Methoden in der Softwareentwicklung

    Nowotka,D. / Univ.Stuttgart,DE | Automotive engineering | 2008


    Methoden und Werkzeuge zur Embedded-Softwareentwicklung

    Karcher, M. / VDI/VDE-Gesellschaft Mess und Automatisierungstechnik | British Library Conference Proceedings | 2004


    Methoden und Werkzeuge zur Embedded Softwareentwicklung

    Karcher,M. / Hitex Development Tools,Karlsruhe,DE | Automotive engineering | 2004


    Ergänzen kompakter fahrzeuginterner Informationsanzeigen

    ADIMOOLAM SATHEESH / RAMANJANEYA JAGADISH | European Patent Office | 2016

    Free access

    DIAGNOSTIZIEREN UND ERGÄNZEN VON FAHRZEUGSENSORDATEN

    JAMMOUSSI HASSENE / KUMAR PANKAJ / MAKKI IMAD HASSAN | European Patent Office | 2017

    Free access