Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Einleitung Read chapter Read first chapter

2013 | OriginalPaper | Chapter

8. Techniken und Methoden

Authors : Eckehard Schnieder, Lars Schnieder

Published in: Verkehrssicherheit

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Zusammenfassung

Die Erzielung einer hohen Verkehrssicherheit beginnt bereits frühzeitig im Stadium der Planung und Entwicklung und bei Änderungen bestehender Systeme. Je besser das Verkehrsgeschehen in seinem Umfang, Abläufen und Zusammenhängen verstanden wird, desto leichter lassen sich Ursachen für Risiken identifizieren und Maßnahmen zu ihrer Verringerung treffen.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Modelle und Modellierung
next chapter Implementierungskonzepte
Literature
Abel, Dirk (1987): Modellbildung und Analyse ereignisorientierter Systeme mit Petri-Netzen. Dissertation, Aachen.
Abel, Dirk; Lemmer, Karsten (1998): Theorie ereignisdiskreter Systeme. Tutorium des GMA-Fachausschusses 1.8 „Methoden der Steuerungstechnik“, Oldenbourg, München.
Marsan, Ajmone (1995): Modelling with generalized stochastic Petri nets, Wiley, Chichester.MATH
Appel, Hermann; Krabbel, Gerald; Vetter, Dirk (2005): Unfallforschung, Unfallmechanik und Unfallrekonstruktion, 2, Vieweg, Wiesbaden.
Arabestani, Saeid (2005): Formal verifizierbare objektorientierte Systemspezifikationen mit UML für Eisenbahnsicherungssysteme. Dissertation, Braunschweig.
Arabestani, Saeid; Bitsch, Friedemann; Gayen, Jan-Tecker (2004): Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. In: Ehrig, H.; Damm, W.; Desel, J.; Große-Rhode, M.; Reif, W.; Schnieder, E.; Westkämper, E (Hrsg.): Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG). Final Report, S. 119–144. Springer, Berlin. (Bd. 3147).
Baumgarten, Bernd (1996): Petri-Netze. Grundlagen und Anwendungen, 2, Spektrum, Heidelberg.
Beisel, Daniel; Reuß, Cornelia; Schnieder, Eckehard (2010): Approach of an Automotive Generic Hazard List. In: European Safety and Reliability Association (Hrsg.): ESREL 2010. European Safety and Reliablity Conference, Rhodos, Griechenland.
Beisel, Daniel; Schnieder, Eckehard (2011): Automotive Generic Hazard List (AGHL). In: ICTIS (Hrsg.): 1st International Conference on Transportation Information and Safety, Wuhan, China.
Bertsche, Bernd; Lechner, Gisbert (2004): Zuverlässigkeit im Fahrzeug- und Maschinenbau. Ermittlung von Bauteil- und System-Zuverlässigkeiten, 3, Springer-Verlag, Berlin.
Bikker, Gert; Schröder, Martin (2002): Methodische Anforderungsanalyse und automatisierter Entwurf sicherheitsrelevanter Eisenbahnleitsysteme mit kooperierenden Werkzeugen. Dissertation, Braunschweig.
Binfet-Kull, Maria; Heitmann, Peter; Meyna, Arno (1999): Systemsicherheit für ein autonom fahrendes Fahrzeug, Business Unit Forschung Umwelt und Verkehr, Wolfsburg.
Birolini, Alessandro (2007): Reliability Engineering. Theory and Practice, 5, Springer, Heidelberg.
Bobbio, Andrea; Franceschinis, Giuliana; Gaeta, Rossano; Portinale, Luigi (2003): Parametric Fault Tree for the Dependability Analysis of Redundant Systems and its High-Level Petri Net semantics, in: IEEE Transactions on Software Engineering, 29 (3), S. 270–287.
Braband, Jens (2005): Ein semi-quantitativer Ansatz zur Risikoanalyse in der Eisenbahnautomatisierungstechnik, in: Signal + Draht, 97 (10), S. 6–14.
Buchacker, Kerstin (2000): Definition und Auswertung erweiterter Fehlerbäume für die Zuverlässigkeitsanalyse technischer Systeme. Dissertation, Erlangen.
Burg, Heinz; Moser, Andreas (2007): Handbuch Verkehrsunfallrekonstruktion. Unfallaufnahme, Fahrdynamik, Simulation, 1, Vieweg + Teubner, Wiesbaden.CrossRef
Deutsches Institut für Normung e. V. DIN 66241, 1979-01: Informationsverarbeitung; Entscheidungstabelle, Beschreibungsmittel, Beuth Verlag GmbH, Berlin.
Deutsches Institut für Normung e. V. DIN EN 60812, 2006–11: Analysetechniken für die Funktionsfähigkeit von Systemen – Verfahren für die Fehlzustandsart- und -auswirkungsanalyse (FMEA), Beuth Verlag GmbH, Berlin.
Deutsches Institut für Normung e. V. DIN EN 61165, 2007-02: Anwendung des Markoff-Verfahrens, Beuth Verlag GmbH, Berlin.
Deutsches Institut für Normung e. V. DIN EN 61025, 2007-08: Fehlzustandsbaumanalyse, Beuth Verlag GmbH, Berlin.
Deutsches Institut für Normung e. V. DIN EN 50126 Berichtigung 2, 2011–01: Bahnanwendungen – Spezifikation und Nachweis der Zuverlässigkeit, Verfügbarkeit, Instandhaltbarkeit, Sicherheit (RAMS), Beuth Verlag GmbH, Berlin.
Deutsches Institut für Normung e. V. DIN EN 61508, 2011–02: Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme, Beuth Verlag GmbH, Berlin.
Deutsches Institut für Normung e. V. DIN 62502, 2011-06: Verfahren zur Analyse der Zuverlässigkeit – Ereignisbaumanalyse (ETA), Beuth Verlag GmbH, Berlin.
Deutsches Institut für Normung e. V.; International Electrotechnical Commission. DIN/IEC 62551, 2011–1: Analysemethoden für Zuverlässigkeit – Petrinetz-Modellierung, Beuth Verlag GmbH, Berlin.
Dörner, Dietrich (2004): Die Logik des Misslingens. Strategisches Denken in komplexen Situationen, Rowohlt, Reinbek bei Hamburg.
Drewes, Jörn (2009): Verkehrssicherheit im systemischen Kontext. Dissertation, Braunschweig.
Drewes, Jörn; May, Jörg (2007): Entwicklung strukturierter Gefahrenlisten am Beispielsystem „Stellwerk“, in: Signal + Draht, 99 (1 + 2), S. 17–21.
Dugan, Joanne; Trivedi, Kishor; Geist, Robert; Nicola, Victor (1984): Extended Stochastic Petri Nets. Application and Analysis. In: ISPMME (Hrsg.): Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation. North-Holland, Amsterdam.
Dulac, Nicolas (2007): A Framework for Dynamic Safety and Risk Management Modeling in Complex Engineering Systems. Dissertation, Massachussetts.
Ericson, Clifton A. (2005): Hazard Analysis Techniques for System Safety, Wiley, Hoboken.CrossRef
Ernst, Hartmut (2008): Grundkurs Informatik. Grundlagen und Konzepte für die erfolgreiche IT-Praxis, 4, Vieweg + Teubner, Wiesbaden.
FGSV (2003): Empfehlungen für die Sicherheitsanalyse von Straßennetzen. ESN 383, 2003, FGSV-Verl, Köln.
Forrester, Jay Wright (1968): Principles of systems. Text and Workbook, Wright-Allen Press, Cambridge.
German, Reinhard (2000): Performance analysis of communication systems. Modeling with non-Markovian stochastic Petri nets, Wiley, Chichester.MATH
Girault, Claude; Valk, Rüdiger (2003): Petri nets for systems engineering. A guide to modeling, verification, and applications, Springer, Berlin.
Haas, Peter J. (2002): Stochastic Petri nets. Modelling, stability, simulation, Springer, New York.MATH
Hansen, Kirsten M. (1996): Linking Safety to Safety Requirements. Exemplified by Railway Interlocking Systems. Dissertation, Lyngby.
Harbig, Nathalie (2008): Risiko-/Zuverlässigkeitsbasierte Untersuchung von Systemarchitekturen moderner Fahrerassistenzsysteme. Diplomarbeit, Braunschweig.
Hosse, René Sebastian (2011): Modellierung von Regelkreisen der Verkehrssicherheit mit einem systemtheoretischen Ansatz. Diplomarbeit, Braunschweig.
Hugemann, Wolfgang (2007): Fachbuch Unfallrekonstruktion. Das Lehr- und Nachschlagewerk auf dem Fachgebiet Verkehrsunfallrekonstruktion und Unfallforschung, autorenteam GbR, Münster.
International Electrotechnical Commission. IEC 61882, 2001-08-28: Hazard and Operability Studies (HAZOP Studies) – Application Guide, Beuth Verlag GmbH, Berlin.
International Electrotechnical Commission. IEC 61078, 2006: Techniken für die Analyse der Zuverlässigkeit – Verfahren mit dem Zuverlässigkeitsblockdiagramm, Beuth Verlag GmbH, Berlin.
International Electrotechnical Commission. IEC 62502, 2010-06: Analysis techniques for dependability – Event tree analysis, Beuth Verlag GmbH, Berlin.
Internationale Organisation für Normung, International Electrotechnical Commission. ISO/IEC 15909-1, 2004-12: Software and System Engineering – High Level Petri-Nets – Part 1: Concepts, Definitions and Graphical Notation, Beuth Verlag GmbH, Berlin.
Jackson, Michael C. (2003): Systems thinking. Creative holism for managers, Wiley, Chichester.
Jäger, Patrick; Bertsche, Bernd; Arnout, Talal; Wunderlich, Hans-Joachim (2005): Frühe Zuverlässigkeit mechatronischer Systeme. In: VDI (Hrsg.): VDI-Berichte 1884. 22. Tagung Technische Zuverlässigkeit, Düsseldorf.).
Kaiser, Bernhard; Liggesmeyer, Peter; Mäckel, Oliver (2003): A New Component Concept of Fault Trees. In: SCS (Hrsg.): Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. Vol. 33, S. 37–46. Australian Computer Society, Darlinghurst.
Kaiser, Bernhard; Gramlich, Catharina; Förster, Marc (2007): State – Event Fault Trees. A Safety and Reliability Analysis Technique for Software Controlled Systems, 1, Verlag Dr. Hut, München.
Kaiser, Bernhard; Gramlich, Catharina (2004): State-Event-Fault-Trees. A Safety Analysis Model for Software Controlled Systems. In: Heisel, M.; Liggesmeyer, P.; Wittmann, S (Hrsg.): Computer Safety, Reliability, and Security. SAFECOMP, S. 195–209. Springer, Berlin.
Kassev, Kiril; Slovák, Roman; Ivanov, E.; Stoytcheva, N.; Schnieder, Eckehard (2006): An Application of Phase-Type Distributions for Modeling of Railway Safety-Critical Systems. In: International Symposium Eurnex (Hrsg.): Proceedings of the 14th International Symposium Eurnex. Towards the Competitive Rail Systems in Europe, S. 148–159, Zel.
Kaufman, Lori; Giras, Ted (2001): Axiomatic Safety-Critical Assessment Process (ASCAP) Simulation Methodology. In: Schnieder, E.; Becker, U (Hrsg.): Control in Transportation Systems 2000. A Proceedings Volume from the 9th IFAC Symposium, Braunschweig, Germany, 13–15 June 2000, Aufl. 2, S. 505–510. Pergamon, Oxford.
Klose, Jochen (2003): Live Sequence Charts. A Graphical Formalism for the Specification of Communication Behavior. Dissertation, Oldenburg.
Kontogiannis, Tom (2003): A Petri Net-based approach for ergonomic task analysis and modeling with emphasis on adaptation to system changes, in: Safety Science, 41 (10), S. 803–835.CrossRef
Leveson, Nancy G. (1995): Safeware. System Safety and Computers: A Guide to Preventing Accidents and Losses caused by Technology, 5, Addison-Wesley, Boston.
Leveson, Nancy G. (2011): Engineering a safer world. Systems thinking applied to safety, MIT Press, Cambridge.
Liggesmeyer, Peter (2000): Formale und stochastische Methoden zur Qualitätssicherung technischer Software, in: Softwaretechnik-Trends, 20 (03).
Mahmoud, Rachad (2000): Sicherheits- und Verfügbarkeitsanalyse komplexer Kfz-Systeme. Dissertation, Siegen.
Meyer zu Hörste, Michael (2004): Methodische Analyse und generische Modellierung von Eisenbahnleit- und -sicherungssystemen. In: Schnieder, E. (Hrsg.): Fortschritt-Berichte VDI. Nr. 571 in Reihe 12, Dissertationen. VDI Verlag, Düsseldorf.
Möhlenbrink, Christoph (2011): Modellierung und Analyse vom menschlichen Entscheidungsheuristiken mit farbigen Petrinetzen. Dissertation, Braunschweig.
Montigel, Markus (1994): Modellierung und Gewährleistung von Abhängigkeiten in Eisenbahnsicherungsanlagen. Dissertation, Zürich.
Müller, Kai (1998): Verkehr in systemtechnischer Darstellung und ihre Anwendung auf ein multimodales Güterverkehrskonzept. Dissertation, Braunschweig.
Ober, Bernhard (1999): Modellgestützte Synthese ereignisdiskreter Steuerungen. Dissertation, Braunschweig.
Ortmeier, Frank (2005): Formale Sicherheitsanalyse. Dissertation, Augsburg.
Ouyang, Min; Jong, Liu; Yu, Ming-Hui; Fei, Qi (2010): STAMP-based analysis on the railway accident and accident spreading. Taking the China-Jiaoji railway accident for example, in: Safety Science, 48 (5), S. 544–555.CrossRef
Petri, Carl A. (1962): Kommunikation mit Automaten. Dissertation, Bonn.
Pozsgai, P.; Bertsche, B. (2005): Modeling and simulation of the operational availability and costs of complex systems – a case study. In: ESREL (Hrsg.): European Safety & Reliability Conference. ESRA, Poland.
Ptok, Frank B.; Leißner, Frank; Schröder, M. (2000): Risikoanalysen für ein Zugvollständigkeitssystem, Deutsche Bahn AG, Frankfurt am Main.
Reason, James (2008): The Human Contribution. Unsafe Acts, Accidents and Heroic Recoveries, Ashgate, Farnham.
Reuss, Cornelia; Beisel, Daniel; Schnieder, Eckehard (2010): Anwendung von Gefährdungslisten in der Konzeptphase eines Automobillebenssicherheitszyklus, in: Automobiltechnische Zeitschrift (08).
Schneeweiss, Winfrid G. (1999): Petri nets for reliability modeling. (in the fields of engineering safety and dependability), LiLoLe-Verlag, Hagen.
Schnieder, Eckehard (1992): Petrinetze in der Automatisierungstechnik, Oldenbourg, München.
Schnieder, Eckehard (1999): Methoden der Automatisierung. Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme, Vieweg, Braunschweig.MATHCrossRef
Schnieder, Eckehard; Chouikha, Mourad (2001): Automatisierter Steuerungsentwurf für diskrete und kontinuierlich-diskrete Systeme, in: at – Automatisierungstechnik, 49 (6), S. 280–289.CrossRef
Schnieder, Eckehard; Slovák, Roman (2007): PROFUND. Ein integrativer Ansatz zum Entwurf verlässlicher Automatisierungssysteme, in: Automatisierungstechnische Praxis (7), S. 40–44.
Schreiber, Sebastian; Schmidberger, Till; Fay, Alexander; May, Jörg; Schnieder, Eckehard (2007): UML-based safety analysis of distributed automation systems, in: IEEE Conference on Emerging Technologies and Factory Automation, S. 1069–1075.
Schröder, Martin; Ostermeyer, Rainer (2000): Risikoanalyse für ein Windwarnsystem, Deutsche Bahn AG, Frankfurt am Main.
Slovák, Roman (2006): Methodische Modellierung und Analyse von Sicherungssystemen des Eisenbahnverkehrs. Dissertation, Braunschweig.
Slovák, Roman; Kassev, Kiril; Stoytcheva, Nelly; Ivanov, E.; Schnieder, Eckehard (2007): General Stochastic Modelling for Quantiative Safety Analysis Using Markov Chains and Petri Nets, in: Information Technology and Control, 47 (2), S. 17–30.
Ständer, Tobias (2010): Eine modellbasierte Methode zur Objektivierung der Risikoanalyse nach ISO 26262. Dissertation, Braunschweig.
Thums, Andreas (2004): Formale Fehlerbaumanalyse. Dissertation, Augsburg.
Trivedi, Kishor S.; Ciardo, Gianfranco; Malhotra, Manish; Sahner, Robin A. (1993): Dependability and Performability Analysis. In: Donatiello, L.; Nelson, R (Hrsg.): Lecture Notes in Computer Science, S. 587–612. Springer, Berlin.
Trost, Monika (2008): Gesamtheitliche Anlagenmodellierung und -analyse auf Basis stochastischer Netzverfahren. Dissertation, Stuttgart.
Trost, M.; Nebel, S.; Pozsgai, P.; Bertsche, B. (2005): Modellierung komplexer Systeme mit Hilfe stochastischer Netzverfahren. In: VDI (Hrsg.): 22. Tagung Technische Zuverlässigkeit. VDI Verlag, Stuttgart.
Verein Deutscher Ingenieure. VDI 4008, Blatt 6 1999-04: Monte Carlo Simulation, Beuth Verlag GmbH, Berlin.
Verein Deutscher Ingenieure. VDI 4008, Blatt 4 2008-07: Methoden der Zuverlässigkeit-Petri Netze, Beuth Verlag GmbH, Berlin.
Verein Deutscher Ingenieure VDI/VDE 3682, 2005-09: Formalisierte Prozessbeschreibungen, Beuth Verlag GmbH, Berlin.
Vieweg, Klaus (2010): Thesen zum Problemfeld technische Sicherheit aus juristischer Sicht. In: Bach, F.-W.; Schnieder, E.; Winzer, P (Hrsg.): Sicherheitsforschung. Chancen und Perspektiven (acatech DISKUTIERT), Aufl. 1, S. 117–129. Springer-Verlag, Berlin.
Lüde, Rolf von; Moldt, Daniel; Valk, Rüdiger; Köhler, Michael; Langer, Roman; Rölke, Heiko (2003): Sozionik. Modellierung soziologischer Theorie 2, Lit Verlag, Münster.
Werther, Bernd (2006): Kognitive Modellierung mit Farbigen Petrinetzen zur Analyse menschlichen Verhaltens. Dissertation, Braunschweig.
Westerkamp, Ralf; Mrowczynski, Mirdo; Lamping, Roy (2005): Methods for the Analysis of Safety-Related Functions in Automotive Systems, in: Tagungsband der Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel.
Zhu, PengLin (2000): Betriebliche Leistung von Bahnsystemen unter Störungsbedingungen. Dissertation, Braunschweig.
Zimmermann, Armin (1997): Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen. Dissertation, Berlin.
Zimmermann, Armin (2008): Stochastic discrete event systems. Modeling, evaluation, applications, Springer, Berlin.MATHCrossRef
Metadata
Title
Techniken und Methoden
Authors
Eckehard Schnieder
Lars Schnieder
Copyright Year
2013
Publisher
Springer Berlin Heidelberg
Book
Verkehrssicherheit

Print ISBN: 978-3-540-71032-5

Electronic ISBN: 978-3-540-71033-2

Copyright Year: 2013

DOI
https://doi.org/10.1007/978-3-540-71033-2_8

Premium Partner

    Image Credits