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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung


    Weitere Titelangaben:

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


    Beteiligte:
    Nowotka, Dirk (Autor:in)

    Erschienen in:

    ATZ-Elektronik ; 3 , 4 ; 24-27


    Erscheinungsdatum :

    2008


    Format / Umfang :

    4 Seiten, 2 Bilder, 18 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Formale ergaenzen traditionelle Methoden in der Softwareentwicklung

    Nowotka,D. / Univ.Stuttgart,DE | Kraftfahrwesen | 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 | Kraftfahrwesen | 2004


    Ergänzen kompakter fahrzeuginterner Informationsanzeigen

    ADIMOOLAM SATHEESH / RAMANJANEYA JAGADISH | Europäisches Patentamt | 2016

    Freier Zugriff

    DIAGNOSTIZIEREN UND ERGÄNZEN VON FAHRZEUGSENSORDATEN

    JAMMOUSSI HASSENE / KUMAR PANKAJ / MAKKI IMAD HASSAN | Europäisches Patentamt | 2017

    Freier Zugriff