{"page":"203-215","date_updated":"2022-01-06T06:54:41Z","intvolume":"       294","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publisher":"Heinz Nixdorf Institut","citation":{"short":"J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.","apa":"Meyer, J., Holtmann, J., &#38; Meyer, M. (2011). Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, <i>294</i>, 203–215.","ama":"Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215.","mla":"Meyer, Jan, et al. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, vol. 294, Heinz Nixdorf Institut, 2011, pp. 203–15.","chicago":"Meyer, Jan, Jörg Holtmann, and Matthias Meyer. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” In <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, 294:203–15. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2011.","ieee":"J. Meyer, J. Holtmann, and M. Meyer, “Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen,” in <i>8. Paderborner Workshop Entwurf mechatronischer Systeme</i>, 2011, vol. 294, pp. 203–215.","bibtex":"@inproceedings{Meyer_Holtmann_Meyer_2011, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen}, volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan and Holtmann, Jörg and Meyer, Matthias}, year={2011}, pages={203–215}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }"},"year":"2011","language":[{"iso":"eng"}],"volume":294,"status":"public","_id":"20915","department":[{"_id":"76"},{"_id":"241"}],"author":[{"first_name":"Jan","full_name":"Meyer, Jan","last_name":"Meyer"},{"full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg","id":"3875"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"}],"title":"Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen","type":"conference","publication":"8. Paderborner Workshop Entwurf mechatronischer Systeme","date_created":"2021-01-12T14:25:00Z","abstract":[{"lang":"ger","text":"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.\r\n"}],"user_id":"5786"}