Дисертації з теми "ERAMS Systems"

The European Rail Traffic Management System, ERTMS, is introduced as a common signalling system for the European railway network. ERTMS consist of two main parts, the signalling part ETCS and the radio transmission system GSM-R, based on the well-established GSM standard. The question to be answered in this thesis is if the capacity of GSM-R is limiting the ETCS part in any way. If that is the fact, how can the limitations be overcome? Looking forward, will public mobile system with high transmission capacity like GPRS, LTE etc influence GSM-R? GSM-R year 2020: how will it look? The thesis describes the basic functions of ETCS and GSM-R, and the way they are interconnected. The study shows that the capacity of GSM-R is sufficient for signalling on the line, even for high speed traffic. Problems occur with a high density of GSM-R users in a limited area, for example at large stations and marshalling yards. Also the combination of a station, with many but slowly moving units, and a main line, with few but fast moving units, passing through the same area can cause problems. The thesis describes various ways to solve this issue. Right now these problems are solved with advanced cell-planning and the use of lower level implementation of ERTMS, not depend on GSM-R. In the longer run the main solution is to introduce higher capacity packet-switched solutions like GPRS. An even greater problem at the moment is that public mobile operators providing high-speed data services in the near-by frequency bands interfere with GSM-R. The solution to this problem is presented as well as the problems the solution itself is causing. In the long term perspective ERTMS will depend more and more on reliable data communication by radio and packet-switched high speed radio solutions, which will definitely be a part of ERTMS. To address the question raised in the thesis title: is GSM-R the limiting factor for the ERTMS system capacity? NO, considering the actions taken and the sometimes unconventional solutions used based on engineering expertise and creativity, GSM-R is not the limiting factor in ERTMS right now. YES, in the long run and with broader usage of ERTMS, GSM-R has to have a higher capacity, more functionality and be a more standardized system: more “plug&play” than “plug&pray”.

This thesis work, which was realized at ALSTOM S. p. A., focuses on the communication between trackside equipment and the train, which is performed via various protocols to have information in advance about the state of the railway. The object is developing, after a careful analysis of the communication system, the software for the configuration parameters of the database files. Chapter 1, after a brief review of the European regulatory environment in railroad, explains the European Railway Traffic Management System (ERTMS), the European Train Control System (ETCS), and the radio-based telecommunications standard used (GSM-R). Chapter 2 outlines the software and hardware architecture of Radio Block Center (RBC), in concordance with the specifications furnished by the European Railway Agency (ERA). Furthermore, it provides descriptions of the utilized peripheral interfaces. Finally, chapter 3, which is the core of the thesis work, illustrates an algorithm and software solution for data configuration implemented in Python. Moreover, it examines the structure of parameters, conversion rules, and data types.

The advanced stage of capitalism that we now live in has brought many changes to the way that society consumes and produces. One of the biggest shifts to the modern economy was the use of visual culture to distract, pacify, and exert power over the masses; a cultural change French theorist Guy Debord named the Society of the Spectacle. As a result, Debord and the Situationist International developed a movement of resistance to reclaim the territories of everyday life being eroded by the spectacle through separation and alienation. Since the term was coined the use of visual culture has accelerated and become even more pervasive in the postmodern world which led Jean Baudrillard to claim that the real has been replaced by simulation and hyperreality. This thesis explores this cultural shift to determine whether the practices of resistance theorized by Debord and the Situationists are still relevant as the reach of postmodernism increases. Link to associated video file: https://vimeo.com/64727252

Mit der Einführung des europäischen Zugsicherungssystems ETCS sind durch die umfassenden Telegrammdaten, die zwischen Zug und Strecke ausgetauscht werden, neue Herausforderungen bei der Planung, Projektierung, aber auch Prüfung und Validierung verbunden. Im Rahmen der Dissertation wird ein neuartiges Verfahren zur Validierung sicherheitskritischer Anteile von ETCS-Nachrichten entwickelt. Der Ansatz beruht auf der topologischen Aufbereitung der Nachrichteninhalte in einem vierstufigen Prozess. Das Ergebnis der Aufbereitung erlaubt sowohl den automatisierten Abgleich gegen Referenzdaten als auch eine visuelle Prüfung gegen Topologiepläne. Das Optimierungspotential des Ansatzes bei der Validierung wird im Rahmen einer Erprobung anhand realer Projektdaten bestätigt. Mit der topologischen Aufbereitung werden die komplexen Nachrichteninhalte in eine für den Prüfer erfassbare und zu den Referenzdaten vergleichbare Form überführt. Redundante Nachrichteninhalte werden im Zuge der Aufbereitung erkannt und zusammengefasst, was gleichermaßen zur Minimierung des Prüfaufwands sowie zur Erhöhung des Abdeckungsgrades beiträgt.

Les travaux développés dans cette thèse visent à assister le processus d’ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l’utilisateur durant l’expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l’ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d’incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L’idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d’observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d’observation (ou observateurs) ; chacun des patterns développés est relatif à un type d’exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d’accessibilité des états correspondants à la violation de l’exigence associée
The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers’ KO states relatives to the requirements’ violation

The aim of this thesis is to determine the feasibility and benefits of potential use of satellite navigation in rail transport. The theoretical part focuses on the operation of satellite navigation and a description of important systems. The practical part deals with the use in rail transport. Analysis of telematics and fleet management shows one direction of use. Furthermore, there is analyzing of the projects and their value added and usability in practice. Thesis provides a description of the situation and opinion on future use of satellite systems.

Les Systèmes de Systèmes (SdSs) sont des grands systèmes dont les composants sont eux-mêmes des systèmes qui interagissent en vue de la réalisation de certaines fonctions, et pour lesquels le dysfonctionnement d'un seul système peut avoir des conséquences graves sur le fonctionnement du SdS entier. Il est donc important que la conception de ces SdSs tienne compte des exigences de Sûreté de Fonctionnement (SdF) et notamment de leur fiabilité et leur disponibilité quand ils sont sollicités. Par ailleurs, il est nécessaire qu'elle s'assure, par le biais d'analyses quantitatives, du respect de ces exigences. L'incertitude est également une partie importante de la thèse, parce qu'il y a toujours des différences entre un système et sa représentation par un modèle. L’objectif de cette thèse est de proposer une méthodologie de conception sûre des SdSs. Il s'agit dans un premier temps de proposer un modèle dysfonctionnel du SdS global intégrant les aspects matériels, les aspects réseaux ainsi que le facteur humain. Dans un second temps, il s'agit d'évaluer des exigences de SdF. Dans un troisième temps, il s'agit de prendre en compte de différents types d'incertitudes dans les modèles. Concernant la partie applicative, le sujet s'articulerait autour de la conception sûre d'un système ferroviaire. La contribution principale de cette thèse réside dans trois aspects. Premièrement, on propose une méthodologie générale pour modéliser des SdSs. Deuxièmement, on considère l'ERTMS Niveau 2 comme un SdS et évalue ses exigences de SdF en tenant compte de l'indisponibilité du SdS comme une propriété émergente. Troisièmement, on modélise quantitativement différents types d'incertitudes dans les modèles proposés en utilisant les théories probabilistes et non probabilistes
Systems of Systems (SoS) are large systems whose components are themselves systems which interact to realize a common goal, and for which the malfunction of a single system can have some serious consequences on the performance of the whole SoS. So it’s important that the design of these SoSs takes into account the dependability requirements of safety standard. In this thesis, our interests concern the modeling of SoS and the reliability analysis of SoS under uncertainty which is due to the lack of knowledge related to failure data and model. Therefore, two modeling methods which deal with different issues are applied to model SoSs and the corresponding quantitative reliability analysis is proposed. The objective of this thesis is to propose graphical models for dependability assessment and risk analysis of SoSs under uncertainty. Firstly, it will propose a dysfunctional model of the ERTMS which is considered as an SoS. The model will integrate the hardware aspect, the network aspect and the human factors. Then, it will evaluate some dependability attributes of the whole SoS. Later, it will take different kinds of uncertainties into account quantitatively. The proposed methodology is applied on the ERTMS Level 2. The main contribution of this thesis lies in three aspects. First, we propose a methodology to model and evaluate SoSs. Second, we consider ERTMS Level 2 as an SoS and seek to evaluate its dependability parameters by considering the unavailability of the whole SoS as an emergent property. Third, we model quantitatively different kinds of uncertainties in the proposed models

Introduction: The traditional IT investment evaluation methods and/or techniques tend to measure the quantitative value added by eHealth. However, there are contributions brought by innovation which are intangible and sundry, and thus are difficult to identify, measure and manage. A model presented by Vimarlund & Koch (2011) aims for identifying the benefits that IT investments bring to health and social care organizations. It could be used as a tool that identifies and classifies the effects and indicators of IT innovation in-vestments at different organizational levels for different stakeholders. Purpose and research questions: This is an evaluative study with the purpose to validate Vimarlund & Koch’s (2011) evaluation model through practical application. A care study of EIAS (ERAS Interactive Audit System) is conducted. ERAS stands for Enhanced Recovery After Surgery, which is an innovative process aims to enhance patient’s outcome after ma-jor surgery. EIAS is a system that supports the ERAS process. The aim is to achieve a deep understanding of IT investment evaluation. The model will be used in a real case as a guide to evaluate and identify impact that derives from the use and implementation of IT applica-tions. The process of evaluation could also be seen as a process of validation of the model in terms of comprehensiveness, practicality and applicability. Through this study, we aim to find out: 1) What are the possible contributions that EIAS brings to Jönköping County Council? 2) How is the performance of Vimarlund & Koch’s (2011) evaluation model in practical application, in terms of comprehensiveness, practicality and applicability? Method: The purpose of this study is evaluative and it is conducted by using adductive ap-proach. Single case study will be adopted as the research strategy. In this study, qualitative data will be collected through semi-structured interview with key respondents. The data collected will be analyzed qualitatively with a narrative approach. Conclusion: Guided by Vimarlund & Koch’s (2011) evaluation model, the innovations that have been brought into healthcare organizations by EARS are electronic information supply, internal integration of clinical information and possibilities to learn from the system. The model has been validated in terms of comprehensiveness, practicality and applicability. The evaluation model is a generic model to demonstrate the contribution of IT to innovation and change in health care. It could be used in both formative and summative assessment and as well as goal-free and goal-based evaluation. The issue of the productivity paradox has been noticed as some effects are not immediate after introducing of IT. User-participation or not could be considered as an important condition for the validity of the evaluation guided by the evaluation model.

Detecting anomalies in computer-based systems, including Cyber-Physical Systems (CPS), has attracted a large interest recently. Behavioral anomalies represent deviations from what is regarded as the nominal expected behavior of the system. Both Process science and Data science can yield satisfactory results in detecting behavioral anomalies. Within Process Mining, Conformance Checking addresses data retrieval and the connection of data to behavioral models with the aim to detect behavioral anomalies. Nowadays, computer-based systems are increasingly complex and require appropriate validation, monitoring, and maintenance techniques. Within complex computer-based systems, the European Rail Traffic Management System/European Train Control System (ERTMS/ETCS) represents the specification of a standard Railway System integrating heterogeneous hardware and software components, with the aim of providing international interoperability with trains seemingly interacting within standardized infrastructures. Compliance with the standard as well as expected behavior is essential, considering the criticality of the system in terms of performance, availability, and safety. To that aim, a Process Mining Conformance Checking process can be employed to validate the requirements through run-time model-checking techniques against design-time process models. A Process Mining Conformance Checking methodology has been developed and applied with the goal of validating the behavior exposed by an ERTMS/ETCS system during the execution of specific scenarios. The methodology has been tested and demonstrated correct classification of valid behaviors exposed by the ERTMS/ETCS system prototype. Results also showed that the Fitness metric developed in the methodology allows the detection of latent errors in the system before they can generate any failures.

Dans les années 90, la commission européenne a sollicité la mise au point d'un système de contrôle commande et de signalisation ferroviaire commun à tous les réseaux des états membres : le système ERTMS " European Railway Traffic Management System ". Il s'agit d'un système réparti complexe dont le déploiement complet est long et coûteux. L'objectif global consiste à diminuer les coûts de validation et de certification liés à la mise en œuvre de ce nouveau système en Europe. La problématique scientifique réside dans la modélisation formelle de la spécification afin de permettre la génération automatique des scénarios de test. Les verrous scientifiques, traités dans cette thèse, sont liés d'une part à la transformation de modèle semi-formel en modèle formel en préservant les propriétés structurelles et fonctionnelles des constituants réactifs du système réparti, et d'autre part à la couverture des tests générés automatiquement. Les constituants sont sous la forme de boîte noire. L'objectif consiste à tester ces derniers à travers la spécification ERTMS. Nous avons développé une approche de modélisation basée sur le couplage de modèles semi-formels (UML) et de modèles formels (Réseaux de Petri). Ce couplage se fait à travers une technique de transformation de modèles. Nous avons développé ensuite une méthode de génération automatique de scénarios de test de conformité à partir des modèles en réseaux de Petri. Les scénarios de test ont été considérés comme une séquence de franchissement filtrée puis réduite du réseau de Petri interprété représentant la spécification. Ces scénarios ont été exécutés sur notre plateforme de simulation ERTMS

The global rail network every year is used to transport approximately 21 billion of people and 10 billion tons of cargo. These numbers is estimated that are going to increase in the future. Railway will become the transportation of the future. The actors involved in the rail market realizing these needs started to invest funds to upgrade both the network and the electronic systems on the trains to meet the demands and attract even more customers. Currently two different electronic systems are installed on-board trains, one related to safety and security and the other for passenger services. For safety and security two different systems have deployed for signaling and train control. The first one is ERTMS system that is mainly deployed in Europe, China and other regions of the world using GSM-R technology operating at 900 MHz while the other one is solely deployed in the USA operating at 220 MHz. For passenger-services more and more operators install Wi-Fi systems on-board the train. Each of these systems has different requirements to function. The common factor of these platforms is the train-borne antenna, which plays an active role to all the systems and can improve the quality of the services provided. SMARTEQ having experience in the transportation sector, more specifically in trucks wanted to explore this growth of rail transport followed by huge investments will create openings to enter the market and expand their business portfolio. The purpose of this report is to deploy a business case for train-antennas in order to help SMARTEQ decide if there is value in the rail sector. To achieve this goal a market analysis was conducted, followed by a technical description of the systems and the needs that exist on antennas and in the end concluding with a business model. This study reveals that antenna-rail market is really difficult to enter for a new company not related to train industry and needs proper acquaintances and partnerships to become a leading supplier. In addition due to the oligopoly of the market, competition is really high and needs a unique and competitive solution both price and technology-wise to attract the end customer.

Mit der Einführung des europäischen Zugsicherungssystems ETCS sind durch die umfassenden Telegrammdaten, die zwischen Zug und Strecke ausgetauscht werden, neue Herausforderungen bei der Planung, Projektierung, aber auch Prüfung und Validierung verbunden. Im Rahmen der Dissertation wird ein neuartiges Verfahren zur Validierung sicherheitskritischer Anteile von ETCS-Nachrichten entwickelt. Der Ansatz beruht auf der topologischen Aufbereitung der Nachrichteninhalte in einem vierstufigen Prozess. Das Ergebnis der Aufbereitung erlaubt sowohl den automatisierten Abgleich gegen Referenzdaten als auch eine visuelle Prüfung gegen Topologiepläne. Das Optimierungspotential des Ansatzes bei der Validierung wird im Rahmen einer Erprobung anhand realer Projektdaten bestätigt. Mit der topologischen Aufbereitung werden die komplexen Nachrichteninhalte in eine für den Prüfer erfassbare und zu den Referenzdaten vergleichbare Form überführt. Redundante Nachrichteninhalte werden im Zuge der Aufbereitung erkannt und zusammengefasst, was gleichermaßen zur Minimierung des Prüfaufwands sowie zur Erhöhung des Abdeckungsgrades beiträgt.

The effect of anti-retroviral therapy (ART) rollout can be measured in a number of ways including treatment coverage, behaviour change and the emergence of resistance. However, changes in population mortality are undoubtedly the most important measurable effect. Objectives: To describe trends in child and adult all-cause mortality versus HIV/AIDS related mortality before and after ART rollout; and to identify significant clusters of child and adult all-cause mortality versus HIV/AIDS related mortality in space-time, during pre and post ART rollout eras at Agincourt and Dikgale health and demographic surveillance systems (HDSSs) in South Africa. Design: Mortality data were extracted from both the Agincourt and Dikgale HDSSs for the period 1996–2010. Mortality rates by age group, year and village were calculated assuming a Poisson distribution and using precise person-years as the denominator. The Kulldorff spatial scan statistic was used to test for clusters of age group all-cause and HIV-related mortality both in space and time. Clusters were mapped using Quantum geographic information systems (GIS) software. Results: Both HIV-related and all-cause mortality decreased gradually over the years after the introduction of ART in 2007 for the two HDSS sites. Several statistically significant clusters of higher all-cause and HIV-related mortality were identified both in space and time. In the Agincourt HDSS, specific areas were consistently identified as high risk areas; namely, the east/south-east corner and upper central to west regions, pre ART. In the Dikgale HDSS, no significant clusters were identified using the spatial only analysis but one significant cluster, located towards the north of the Dikgale HDSS site, was identified using the space-time scanning, post ART. In Agincourt, no significant clusters of mortality were detected after the introduction of ART whereas in Dikgale, a significant cluster for all-cause mortality in the under-five age group was detected for the years after the introduction of ART. Conclusion: This work revealed the existence of spatio-temporal clusters of both child and adult mortality at the Agincourt and Dikgale HDSSs and that the introduction of ART had a substantial influence in reducing both HIV-related and all-cause mortality in rural South Africa. There is need though to take into account socio-demographic characteristics so as to determine fundamental risk factors influencing these spatio-temporal HIV-related and all-cause mortality patterns.