FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
Page
%P
16 Result(s)
within
Eckehard Schnieder
English
-
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 ...
-
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...
-
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 ...
-
Book and Conference Proceedings
-
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...
-
Book
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
-
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...
-
Chapter
Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator
As domain modelling has been identified as a key issue for putting formal specification techniques into engineering practice, two reference case studies were elaborated within the research programme “Integrati...
-
Chapter
BASYSNET – An Integrated Approach for Automated Control System Development
This paper shows an universal approach to the design and development of discrete or hybrid discrete-continuos control systems. As means of description Petri nets are used and as method the general approach cal...
-
Chapter and Conference Paper
Automatic Design of Controllers for Hybrid Systems Using Genetic Algorithms
In this article a design method for robust control of hybrid systems is presented. It uses optimisation algorithms to choose and parametrise an appropriate control algorithm from a formalised library of contro...
-
Chapter and Conference Paper
Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems
We present a hybrid (continuous-discrete) type of high-level Petri Nets, and describe how it can be applied to the study of train control systems. In addition to the elements of discrete high-level Petri Nets,...
-
Chapter
Determining Traffic Delays through Simulation
This paper presents a simulative approach to determine train delays due to stochastic disturbances in railway traffic such as technical failures. The approach is based on the modelling of the railway traffic a...
-
Chapter
New Revenue Management Strategies for Railway Network Providers
At present the calculation process to determine travel routes and times for railway operations, as well as to find available railway slots, is done manually by the network provider and is very time intensive. ...
-
Chapter and Conference Paper
Formal modelling and simulation of train control systems using petri nets
A formal model was prepared on behalf of the German railways (Deutsche Bahn AG) starting from an informal (natural language) specifications of the European Train Control System (ETCS) system. Proceeding from t...
-
Chapter and Conference Paper
Fuzzy Rule-based Expert System for Real-Time Train Traffic Control
Modern train traffic systems have to fulfil high requirements on service reliability and availability. This becomes especially important with competitive transport markets. Train operators can only meet with t...
-
Chapter and Conference Paper
Knowledge-Based Decision Support System for Real-Time Train Traffic Control
Modern public transport and train traffic systems have to fulfill increasing demands on service reliability and availability. Train operators can only satisfy these requirements by quickly develo** an effici...
