Die Automobilindustrie ist momentan im Begriff, einen neuen Ansatz für die Entwicklung eingebetteter Systeme zu übernehmen. Dieser Ansatz basiert auf neuen Modellierungs- und Simulationswerkzeugen, die einen nahtlosen Prozess von der ersten Idee bis zur Serie durch schrittweise Verfeinerung eines Modells und Implementierung mittels automatischer Codegenerierung versprechen. Jedoch müssen einige Details dieses Prozesses erst noch definiert werden. Dabei sollten Erfahrungen und erprobte Techniken aus traditionellen Softwareentwicklungsprozessen berücksichtigt werden. Zum Beispiel kann durch Zusicherungen das Modell abgesichert und seine Tiefe und Qualität verbessert werden. Solche Prüfungen können sowohl in der Simulation als auch zur Codegenerierung für die Zielumgebung verwendet werden. Dies führt zu einer erhöhten Zuverlässigkeit des Endprodukts und stellt außerdem eine Grobverifikation des verwendeten Codegenerators dar. Der Beitrag beschreibt Konzept und Anforderungen für solche modellbasierten Prüfungen und ihren praktischen Einsatz mit SIMULINK-Modellen.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verwendung von Zusicherungen in einem modellbasierten Entwicklungsproze




    Erscheinungsdatum :

    2002-01-01


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch






    Implementierung eines modellbasierten Motorenregelungskonzepts unter Verwendung der Zylinderdruckindizierung

    Akoachere, A. / Noble, A. / Truscott, A. et al. | British Library Conference Proceedings | 2002



    Optimierungsstrategien in der modellbasierten Dieselmotorenentwicklung

    Neßler, Adrian | DataCite | 2015

    Freier Zugriff