Information Technology Reference
In-Depth Information
33. Open Proof:
http://www.openproofs.org/
34. Jan Peleska: Formal Methods and the Development of Dependable Systems,
Habilitationsschrift, Bericht Nr. 9612, Universität Bremen, 1996.
http://
www.informatik.uni-bremen.de/agbs/jp/papers/habil.ps.gz
35. Anne E. Haxthausen, Jan Peleska and Sebastian Kinder: A formal
approach for the construction and verification of railway control sys-
tems, Journal: Formal Aspects of Computing. Published online: 17 De-
cember 2009. DOI: 10.1007/s00165-009-0143-6 Springer, ISSN 0934-5043
(Print) 1433-299X (Online)
http://springerlink.metapress.com/
content/l3707144674h14m5/fulltext.pdf
36. Lorenz Däubler, Michael Meyer zu Hörste, Gert Bikker, Eckehard
Schnieder; Formale Spezifikation von Zugleitsystemen mit STEP, iVA,
Techn. Univ. Braunschweig, 2002;
http://www.iva.ing.tu-bs.de/
institut/projekte/Handout\_STEP.pdf
37. Padberg, J. and Jansen, L. and Heckel, R. and Ehrig, H.: Interoperability in
Train Control Systems: Specification of Scenarios Using Open Nets; in Proc.
IDPT 1998 (Integrated De-sign and Process Technology), Berlin 1998, pages
17 - 28
38. Gary Rathwell: Stone Soup Development Methodology: Last updated De-
cember 5, 2000
http://www.pera.net/Stonesoup.html
39. AUTOSAR (AUTomotive Open System ARchitecture);
http://www.
autosar.org/
40. PLCopen; Molenstraat 34, 4201 CX Gorinchem, NL,:
http://www.
plcopen.org/
41. UIC/ERRI A200: ETCS, European Train Control System, Overall Project
Declaration including the contribution to be made by UIC, Utrecht, NL,
Jan. 1992
42. UIC/ERRI A200: Brochure ETCS, European Train Control System, The
new standard train control system for the European railways, Aug. 1993,
2nd. Rev. Oct. 1995
43. Johannes Feuser, Jan Peleska: Security in Open Model Software
with Hardware Virtualization - The Railway Control System Perspec-
tive. Univ. Bremen, 2010
http://opencert.iist.unu.edu/Papers/
2010-paper-2-B.pdf
