Startseite > Publikationen > Publikationen

Publikationen

Meyer, Jan;Holtmann, Jörg;Meyer, Matthias:

Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen.

In: 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 294 , S. 203-215, 18. - 19. Mai 2011, Heinz Nixdorf Institut

Abstract

Durch die immer kuerzer werdenden Entwicklungszyklen und den groeßer werdenden Druck bzgl. Time-to-Market fuer eingebettete Systeme im Automobilsektor steigt der Bedarf, die Systeme bereits zu fruehen Entwicklungszeitpunkten gegenueber den Qualitaetsanforderungen (z. B. Zeitanforderungen und Ressourcenauslastung) zu verifizieren. Wir stellen einen Ansatz vor, der eine formale Spezifikation von Zeitanforderungen und Wirkketten sowie deren fruehzeitige Analyse durch Simulation erlaubt. Verletzungen von Zeitanforderungen werden in den Simulationsergebnissen automatisch erkannt.

Dateien

MHM11.pdf



Bibtex

@inproceedings{key=MHM11,
author = {Meyer, Jan and Holtmann, J{\"o}rg and Meyer, Matthias},
title = {Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen},
booktitle = {8. Paderborner Workshop Entwurf mechatronischer Systeme},
volume = {294},
series = {Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn},
pages = {203-215},
publisher = {Heinz Nixdorf Institut},
month = {18~-~19~} # may,
year = {2011},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/8179