download - SPES 2020
download - SPES 2020
download - SPES 2020
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Literaturverzeichnis<br />
[1] Manfred Broy, Franz Huber, and Bernhard Schätz. AutoFocus – Ein Werkzeugprototyp zur<br />
Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung, (13(3)):121–<br />
134, 1999.<br />
[2] CESAR SP2 Partners. Definition and exemplification of requirements specification<br />
language and requirements meta model. CESAR D SP2 R2.2 M2 v1.000.pdf on<br />
http://www.cesarproject.eu/fileadmin/user upload/, 2010.<br />
[3] Judith Dahmann, Richard M. Fujimoto, and Richard M. Weatherly. The dod high level<br />
architecture: an update. In WSC ’98: Proceedings of the 30th conference on Winter simulation,<br />
pages 797–804, Los Alamitos, CA, USA, 1998. IEEE Computer Society Press.<br />
[4] Werner Damm, Hardi Hungar, Stefan Henkler, Ingo Stierand, Bernhard Josko, Philipp<br />
Reinkemeier, Andreas Baumgart, Matthias Büker, Tayfun Gezgin, Günter Ehmen, and Raphael<br />
Weber. <strong>SPES</strong><strong>2020</strong> Architecture Modeling. <strong>SPES</strong><strong>2020</strong> Deliverable D3.5, <strong>SPES</strong><strong>2020</strong>,<br />
November 2010.<br />
[5] Werner Damm, Angelika Votintseva, Alexander Metzner, Bernhard Josko, Thomas Peikenkamp,<br />
and Eckard Böde. Boosting re-use of embedded automotive applications<br />
through rich components. In Foundations of Interface Technologies, FIT’05, 2005.<br />
[6] IEEE Standard for Modeling and Simulation (M&S). High level architecture - federate<br />
interface specification. IEEE Computer Society Press, September 2000.<br />
[7] IEEE Standard for Modeling and Simulation (M&S). High level architecture - framework<br />
and rules. IEEE Computer Society Press, September 2000.<br />
[8] IEEE Standard for Modeling and Simulation (M&S). High level architecture - object<br />
model template (omt) specification. IEEE Computer Society Press, September 2000.<br />
[9] IEEE Standard for Modeling and Simulation (M&S). Recommended practice for high level<br />
architecture - federation development and execution process. IEEE Computer Society<br />
Press, März 2003.<br />
[10] Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, and Gerald Sauter. Using<br />
guided simulation to assess driver assistance systems. In Eckehard Schnieder and Geza<br />
Tarnai, editors, FORMS/FORMAT 2010, pages 195–205. Springer Berlin Heidelberg,<br />
2011.<br />
[11] Richard M. Fujimoto. Time management in the high level architecture. SIMULATION,<br />
71(6):388–400, 1998.<br />
[12] Tayfun Gezgin. Observerbasierte on-the-fly Auswertung von QLTL-Formeln innerhalb<br />
eines HLA-Simulationsverbundes. Master’s thesis, Carl von Ossietzky Universität Oldenburg,<br />
26121 Oldenburg, 2009.<br />
17/ 18