Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

[DOD95] US DEPARTEMENT OF DEFENSE (Hrsg.): Parametric Cost Estimating Handbook, 1995
[DOU01] DOUGLASS, Bruce Powell: UML for executable specification. In: EDN Magazine
16.08.2001; S. 83 ff.
[DUB06] DUBROVIN, Jori; Helsinki University of Technology, Laboratory for Theoretical Computer
Science, Research Report A101: JUMBALA - an action language for UML state
machines; 2006; Dokument: HUT-TCS-A 101
[EN50121] Norm DIN EN 50121:2006. Bahnanwendungen - Elektromagnetische Verträglichkeit
[EN50125] Norm DIN EN 50125:2000. Bahnanwendungen - Umweltbedingungen für Betriebsmittel
[EN50126] Norm DIN EN 50126:2000. Spezifikation und Nachweis der Zuverlässigkeit, Verfügbarkeit,
Instandhaltbarkeit und Sicherheit (RAMS)
[EN50129] Norm DIN EN 50129:2003. Bahnanwendungen – Telekommunikationstechnik, Signaltechnik
und Datenverarbeitungssysteme – Sicherheitsrelevante elektronische Systeme
für Signaltechnik
[ESH06] ESHUIS, Rik; Eindhoven University of Technology: Symbolic model checking of UML
activity diagrams; 2006.
[ESW01] ESHUIS, Rik; WIERINGA, Roel; University of Twente, Departement of Computer
Science: A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models;
2001.
[FUS96]
FUCHS, E.; SCHWITTER, R.: Attempto Controlled English (ACE) (CLAW 96, First International
Workshop on Controlled Language Applications), University of Leuven,
Belgium, 1996
[GAP94] GAYEN, Jan-Tecker; PASTERNOK, Thomas: Bewertungskriterien für Methoden zur Erstellung
einer Anforderungsspezifikation; SOSAT 3 Forschungsbericht; Braunschweig:
Institut für Eisenbahnwesen und Verkehrssicherung, 1994
[GEA08] GEORGE, Gerhard; AST, Dietmar: Rollenverteilung zwischen Auftraggeber und Auftragnehmer
im RAMS-Prozess. In: (eb) Elektrische Bahnen 6 (2008); S. 278 ff.
[HAR87] HAREL, David: Statecharts: A visual Formalism for Complex Systems. In: Sciences of
Computer Programming 8 (1987), S. 231 ff.
[HAP02] HAXTHAUSEN, Anne; PELESKA, Jan: A domain specific language for railway control systems.
In: Proceedings of the Sixth Biennial World Conference on Integrated Design
and Process Technology, IDPT2002, Pasadena, California, 2002
[HGE08] HON, Yuen Man; GAYEN, Jan-Tecker; EHRICH, Hans-Dieter: OOLH: A formal framework
for specifying system requirements; 2008
[HOF08] HOFFMANN, Hans-Peter; Telelogic AB (Hrsg.): SysML-Based Systems Engineering Using
a Model-Driven Developement Approach; Telelogic Whitepaper; Version 1; 2008
[IEEE830] Norm IEEE Std 830-1993. Recommended Practice for Software Requirements Specifications,
1993
[IEC60812] Norm IEC 60812:2001. Analysetechniken für die Funktionsfähigkeit von Systemen -
Verfahren für die Fehlerzustandsart- und -auswirkungsanalyse (FMEA)
[IEC13568] Norm IEC 13568:202. Information technology — Z formal specification notation —
Syntax, type system and semantics
150