Skip to main content

previous disabled Page of 4
and
  1. No Access

    Article

    Scenario-based system design with colored Petri nets: an application to train control systems

    For the goal of model-based system software development, this paper exploits the formalism of colored Petri nets (CPNs) to design complex systems based on scenarios. The specification of UML sequence diagrams ...

    Daohua Wu, Eckehard Schnieder in Software & Systems Modeling (2018)

  2. No Access

    Chapter and Conference Paper

    Implementation of an Energy Model and a Charging Infrastructure in SUMO

    Future traffic that will be accompanied by higher alternative drive concepts will pose as a challenge when it comes to corresponding energy systems, coordination of operations, and communication interfaces, su...

    Tamás Kurczveil, Pablo Álvarez López, Eckehard Schnieder in Simulation of Urban Mobility (2014)

  3. No Access

    Chapter

    Grundlegende Modellkonzepte für Systeme und ihre Verlässlichkeit

    Eine methodische Modellbildung ist die zentrale ingenieurwissenschaftliche Herangehensweise in der Entwicklung technischer Systeme. Die Modellierung ist hierbei eine vereinfachte Abbildung eines geplanten oder...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  4. No Access

    Chapter

    Statistiken der Verkehrssicherheit

    Für eine wirksame Verkehrssicherheitsarbeit sind Kenntnisse über die Entstehung von Unfällen und ihre Auswirkungen eine unverzichtbare Grundlage. Statistiken der Verkehrssicherheit sind ein für den objektiven ...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  5. No Access

    Chapter

    Modelle und Modellierung

    Um Einflüsse und Maßnahmen zur Veränderung der Verkehrssicherheit analysieren zu können, sind geeignete Modelle hilfreich. Insbesondere zur Bewertung der Wirksamkeit zukünftiger technischer, organisatorischer,...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  6. No Access

    Chapter

    Implementierungskonzepte

    Verkehrssicherheit zu erzielen ist zwar eine einfach zu formulierende Aufgabe, die aber mit den verschiedensten Ansätzen gelöst werden kann. Die Komplexität der Aufgabenlösung beruht darauf, dass am Verkehrsge...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  7. No Access

    Chapter

    Implementierungsbeispiele

    Mit der Implementierung wird für die Verkehrssicherheit das Ziel verfolgt, das Risiko im Verkehrssystem mit optimalem Ressourceneinsatz zu minimieren. Da eine ausführliche Darstellung aller realen und mögliche...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  8. No Access

    Chapter

    Normativer Rahmen, Ziele und Organisationen

    Im Kontext des Verkehrs sind gesellschaftspolitische Entwicklungen zu beachten, die in Gesetzen und Verordnungen sowie technischen Regelwerken (Normen, Richtlinien, Spezifikationen etc.) festgeschrieben sind. ...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  9. No Access

    Chapter

    Formulierung und Formalisierung der Beschreibung

    Damit im interdisziplinären Kontext des Verkehrs alle Beteiligten unter dem Gesagten auch das gleiche verstehen, ist ein Konsens über die grundlegenden Modelle erforderlich. Da Modelle in der Regel über die ge...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  10. No Access

    Chapter

    Wahrnehmung der Verkehrssicherheit

    Die Wirkungszusammenhänge der Verkehrssicherheit erstrecken sich von der Wahrnehmung der Verkehrssicherheit im Sinne einer sensitiven Erfassung bis hin zu ihrer verantwortlichen Ausübung. Wahrnehmung und Verke...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  11. No Access

    Chapter

    Risikometrie

    Risiko ist ein zentraler Begriff der Verkehrssicherheit. Seine Verwendung und Interpretation ist stark kontextabhängig und oft Quelle von Missverständnissen. Daher wird hier entsprechend dem Begriffskonzept au...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  12. No Access

    Chapter

    Techniken und Methoden

    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...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  13. No Access

    Book

    Verkehrssicherheit

    Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr

    Eckehard Schnieder, Lars Schnieder in VDI-Buch (2013)

  14. No Access

    Chapter

    Technische Entwicklung

    Jedes technische System hat einen Lebenslauf. Dieser erstreckt sich von seiner gedanklichen Konzeption, über Entwicklung, Herstellung, Betrieb und bis zu seinem Rückbau, das heißt seiner Außerbetriebnahme und ...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  15. No Access

    Chapter

    Einleitung

    Verkehrssicherheit ist ein Ausdruck, dessen Bedeutung sich in der Regel sofort intuitiv erschließt. In der Frage nach Erklärungen für Ursachen und Möglichkeiten, die Verkehrssicherheit positiv zu beeinflussen,...

    Eckehard Schnieder, Lars Schnieder in Verkehrssicherheit (2013)

  16. No Access

    Chapter and Conference Paper

    Heuristic Forecasting of Geometry Deterioration of High Speed Railway Tracks

    Travelling safely and comfortably on high speed railway lines requires excellent conditions of the whole railway infrastructure in general and of the railway track geometry in particular. In this framework, a ...

    Lisandro Quiroga, Eckehard Schnieder in Computer Aided Systems Theory – EUROCAST 2011 (2012)

  17. No Access

    Book and Conference Proceedings

    FORMS/FORMAT 2010

    Formal Methods for Automation and Safety in Railway and Automotive Systems

    Eckehard Schnieder, Geza Tarnai (2011)

  18. No Access

    Chapter

    A Formal Description of the Basic Concepts of System Theory for Transportation

    In this paper some of the basic concepts of system theory are presented in a formal way. This is done with the help of the formal modeling language petri-nets. An example out of the transportation is used to i...

    Eckehard Schnieder, Jörg R. Müller in Formal Methods in Software and Systems Modeling (2005)

  19. No Access

    Book

    Integration of Software Specification Techniques for Applications in Engineering

    Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

    Hartmut Ehrig, Werner Damm, Jörg Desel in Lecture Notes in Computer Science (2004)

  20. No Access

    Chapter

    Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems

    “Specification” is a very complex concept. This complexity results initially from the questions “What is the purpose of a specification? What is the subject of a specification?” and “Who writes a specification...

    Eckehard Schnieder in Integration of Software Specification Tech… (2004)

previous disabled Page of 4