Business optimization through automated signaling design

M.Ing. (Engineering Management)Abstract: Railway signaling has become pivotal in the development of railway systems over the years. There is a global demand for upgrading signaling systems for improved efficiency. Upgrading signaling systems requires new signaling designs and modifications to adjacent signaling systems. The purpose of this research is to compare manually produced designs with design automation by covering the framework of multiple aspects of railway signaling designs in view of business optimization using computer drawings, programming software language and management of signaling designs. The research focuses on design automation from the preliminary design stage to the detailed design stage with the intention of investigating and resolving a common project challenge of time management. Various autonomous methods are used to seek improvement on the detailed design phase of re-signaling projects. An analysis on the project’s duration, resources and review cycles is conducted to demonstrate the challenges that are faced during the design of a project. Signaling designs are sophisticated and crucial in an ever-changing railway environment. As a result, there is a demand for efficiency and knowledge within railway signaling to achieve successful completion project target dates. A quantitative approach is used to identify the gaps leading to delays and best practices are applied using a comparative analysis to remediate on any snags that may potentially extend the project duration. The results illustrate that the resources required when automating detailed designs are reduced by two thirds for cable plans and book of circuits and reduced by one third for source documents. Successively, the projects benefit with reduced organizational resources, reduced design durations and reduced design review cycles. This research concludes that software integration of the signaling designs due to the efficiency and innovation of the selected computer drawing software and programming software language such as AutoCAD required less resources for computer drawings that are generated using automation tools compared to computer drawings that are generated manually. The resources required when automating the generation of signaling detailed designs are reduced for cable plans, book of circuits and source documents. This means that the business is optimized by utilizing less resources and subsequently delays are reduced during the design stage

Semantic Support for Log Analysis of Safety-Critical Embedded Systems

Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs from SCADA subsystems, especially when failures occur. The human expertise is needful to understand the reasons of failures, for tracing back the errors, as well as to understand which requirements are affected by errors and which ones will be affected by eventual changes in the system design. Semantic techniques and full text search are used to support human experts for the analysis and classification of test logs, in order to speedup and improve the diagnosis phase. Moreover, retrieval of tests and requirements, which can be related to the current failure, is supported in order to allow the discovery of available alternatives and solutions for a better and faster investigation of the problem.Comment: EDCC-2014, BIG4CIP-2014, Embedded systems, testing, semantic discovery, ontology, big dat

Optimisation of Rail-road Level Crossing Closing Time in a Heterogenous Railway Traffic: Towards Safety Improvement - South African Case Study

The gravitation towards mobility-as-a service in railway transportation system can be achieved at low cost and effort using shared railway network. However, the problem with shared networks is the presence of the level crossings where railway and road traffic intersects. Thus, long waiting time is expected at the level crossings due to the increase in traffic volume and heterogeneity. Furthermore, safety and capacity can be severely compromised by long level crossing closing time. The emphasis of this study is to optimise the rail-road level crossing closing time in order to achieve improved safety and capacity in a heterogeneous railway network. It is imperative to note that rail-road level crossing system assumes the socio-technical and safety critical duality which often impedes improvement efforts. Therefore, thorough understanding of the factors with highest influence on the level crossing closing time is required. Henceforth, data analysis has been conducted on eight active rail-road level crossings found on the southern corridor of the Western Cape metro rail. The spatial, temporal and behavioural analysis was conducted to extract features with influence on the level crossing closing time. Convex optimisation with the objective to minimise the level crossing closing time is formulated taking into account identified features. Moreover, the objective function is constrained by the train's traction characteristics along the constituent segments of the rail-road level crossing, speed restriction and headway time. The results show that developed solution guarantees at most 53.2% and 62.46% reduction in the level crossing closing time for the zero and nonzero dwell time, respectively. Moreover, the correctness of the presented solution has been validated based on the time lost at the level crossing and railway traffic capacity consumption. Thus, presented solution has been proven to achieve at most 50% recovery of the time lost per train trip and at least 15% improvement in capacity under normal conditions. Additionally, 27% capacity improvement is achievable at peak times and can increase depending on the severity of the headway constraints. However, convex optimisation of the level crossing closing time still fall short in level crossing with nonzero dwell time due to the approximation of dwell time based on the anticipated rather than actual value

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Simplifying the Formal Verification of Safety Requirements in Zone Controllers through Problem Frames and Constraints based Projection

Formal methods have been applied widely to verifying the safety requirements of Communication-Based Train Control (CBTC) systems, while the problem situations could be much simplified. In industrial practices of CBTC systems, however, huge complexity arises, which renders those methods nearly impossible to apply. In this paper, we aim to reduce the state space of formal verification problems in Zone Controller, a sub-system of a typical CBTC. We achieve the simplification goal by reducing the total number of device variables. To do this, two projection methods are proposed based on Problem Frames and constraints, respectively. The Problem Frames based method decomposes the system according to sub-properties through functional decomposition, whilst the constraints based projection method removes redundant variables. Our industrial case study demonstrates the feasibility though an evaluation, confirming that these two methods are effective in reducing the state spaces of complex verification problems in this application domain