Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Bibliography<br />
[69] T. J. Parr and R. W. Quong, “Antlr: A predicated-ll (k) parser generator,” Software:<br />
Practice and Experience, vol. 25, no. 7, pp. 789–810, 1995.<br />
[70] A. M. Paul V. Biron, “XML Schema Part 2: Datatyp<strong>es</strong> Second Edition,” W3C, Tech. Rep.<br />
W3C Recommendation 28 October 2004, October 2004, acc<strong>es</strong>sed October 23rd, 2012.<br />
[Online]. Available: http://www.w3.org/TR/xmlschema-2/<br />
[71] J. Pel<strong>es</strong>ka, J. Feuser, and A. E. Haxthausen, Railway Safety, Reliability and Security:<br />
Technologi<strong>es</strong> and Systems Engineering. IGI Global, 2012, ch. The Model-Driven openETCS<br />
Paradigm for Secure, Safe and Certifiable Train Control Systems, pp. 22–52.<br />
[72] J. Pel<strong>es</strong>ka, E. Vorobev, F. Lapschi<strong>es</strong>, and C. Zahlten, “Automated model-based t<strong>es</strong>ting<br />
with RT-T<strong>es</strong>ter,” University of Bremen, Tech. Rep., 2011, acc<strong>es</strong>sed October 23rd, 2012.<br />
[Online]. Available: http://www.informatik.uni-bremen.de/agbs/t<strong>es</strong>tingbenchmarks/turn_<br />
indicator/tool/rtt-mbt.pdf<br />
[73] “About - QEMU,” QEMU, acc<strong>es</strong>sed October 23rd, 2012. [Online]. Available:<br />
http://wiki.qemu.org/Main_Page<br />
[74] “DO-178B/ED-12B - Software Consi<strong>der</strong>ations in Airborne Systems and Equipment Certification,”<br />
RTCA, Inc., 1140 Connecticut Avenue, N. W., Suite 1020, Washington, D. C.<br />
20036.<br />
[75] O. Schulz, “Entwurf und Analyse sicherheitsrelevanter Kommunikationsarchitekturen,”<br />
<strong>Ph</strong>.D. dissertation, University of Bremen, 2011.<br />
[76] T. Stahl, M. Völter, J. Bettin, and B. Stockfleth, Model-driven software development:<br />
technology, engineering, management. John Wiley, 2006.<br />
[77] W. Stallings, Operating systems: internals and d<strong>es</strong>ign principl<strong>es</strong>. Prentice Hall, 2008.<br />
[78] N. Storey, Safety critical computer systems. Addison-W<strong>es</strong>ley Longman Publishing Co.,<br />
Inc. Boston, MA, USA, 1996.<br />
[79] B. Stroustrup, The C++ Programming Language. Second Edition. Addision-W<strong>es</strong>ley<br />
Publishing Company, 1998.<br />
[80] A. Tiwari, “Formal Semantics and Analysis Methods for Simulink Stateflow Models,”<br />
Tech. Rep., acc<strong>es</strong>sed October 23rd, 2012. [Online]. Available: http://www.csl.sri.com/<br />
users/tiwari/papers/stateflow.pdf<br />
[81] “TOPCASED - The Open-Source Toolkit for Critical Systems,” topcased.org, acc<strong>es</strong>sed<br />
October 23rd, 2012. [Online]. Available: http://www.topcased.org<br />
[82] “T<strong>es</strong>t Sequenc<strong>es</strong>,” UNISIG, 2009, Issue 2.3.1.<br />
[83] “ERTMS/ETCS – Class 1 System Requirements Specification,” UNISIG, February 2010,<br />
Issue 2.3.0.<br />
292