Logische Architektur -- Formale Grundlagen -- Grundlagen eigenschaftsorientierter Architekturbeschreibung -- Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation -- Eigenschaftsorientierte Architekturmuster -- Fallstudie -- Zusammenfassung und Ausblick.Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht. David Trachtenherz entwickelt den Lösungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.


    Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme




    Erscheinungsdatum :

    2010


    Format / Umfang :

    Online-Ressource (XVIII, 431S. 65 Abb, digital)




    Medientyp :

    Buch


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch



    Klassifikation :

    BKL:    54.31
    RVK:    ZO 4250 / ST 153




    Rapid-Prototyping eingebetteter Systeme

    Mattmann, Rudolf Eugen | TIBKAT | 1996


    Konzeption sicherheitsrelevanter eingebetteter Systeme

    Montenegro, S. | Fraunhofer Publica | 1998

    Freier Zugriff

    Testmethoden fur Software eingebetteter Systeme

    British Library Online Contents | 2014