The evaluation of E-business related technologies in the Railway Industry

For the purposes of this paper, e-business is defined as: "the performance, automisation and organisation of transactions, or chains of them, and the gathering and publishing of data, electronically over a communication protocol" Little research has been conducted either into how e-business technology can be successfully evaluated, or into the associated costs and benefits specifically related to the transportation and railway industries. Based upon a review of the current literature and a series of interviews held with railway operators, track managers and transportation customers from the Australian Fortune 100, the paper puts forward a framework for the evaluation of e-business investments within the railway industry. The research reported here is aimed at developing a flexible interface that enables the decision maker to assess and evaluate a wide variety of complex interacting variables. The proposed approach uses a variety of evaluation methods, as opposed to searching for a single "best" approach. Additionally, an attempt is being made to include the complex interaction between the implementation of the new technology and the changing organisational setting. A model is proposed using fuzzy logic to handle incomplete and uncertain knowledge; as well as to combine criteria within a conceptual model from which "real-worth" evaluations can be performed. This model provides a systematic approach to guide the decision maker in the deployment of e-business and emerging technologies in the industry. After discussing the main findings from a literature review on the use of evaluation frameworks in IT related projects, the paper deals with the proposed framework in detail. The use of empirical data, which was obtained transportation customers to help define the main framework factors, is also discussed. Finally, the paper summarises the main implications for rail freight of customers’s perceptions and stated needs in the e-business domain

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

Stochastic RUL calculation enhanced with TDNN-based IGBT failure modeling

Power electronics are widely used in the transport and energy sectors. Hence, the reliability of these power electronic components is critical to reducing the maintenance cost of these assets. It is vital that the health of these components is monitored for increasing the safety and availability of a system. The aim of this paper is to develop a prognostic technique for estimating the remaining useful life (RUL) of power electronic components. There is a need for an efficient prognostic algorithm that is embeddable and able to support on-board real-time decision-making. A time delay neural network (TDNN) is used in the development of failure modes for an insulated gate bipolar transistor (IGBT). Initially, the time delay neural network is constructed from training IGBTs' ageing samples. A stochastic process is performed for the estimation results to compute the probability of the health state during the degradation process. The proposed TDNN fusion with a statistical approach benefits the probability distribution function by improving the accuracy of the results of the TDDN in RUL prediction. The RUL (i.e., mean and confidence bounds) is then calculated from the simulation of the estimated degradation states. The prognostic results are evaluated using root mean square error (RMSE) and relative accuracy (RA) prognostic evaluation metrics

Formalization and Validation of Safety-Critical Requirements

The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that the formalization and the validation of the requirements usually demands a strong involvement of domain experts. We report on a methodology and a series of techniques that we developed for the formalization and validation of high-level requirements for safety-critical applications. The main ingredients are a very expressive formal language and automatic satisfiability procedures. The language combines first-order, temporal, and hybrid logic. The satisfiability procedures are based on model checking and satisfiability modulo theory. We applied this technology within an industrial project to the validation of railways requirements

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

Ensuring Cyber-Security in Smart Railway Surveillance with SHIELD

Modern railways feature increasingly complex embedded computing systems for surveillance, that are moving towards fully wireless smart-sensors. Those systems are aimed at monitoring system status from a physical-security viewpoint, in order to detect intrusions and other environmental anomalies. However, the same systems used for physical-security surveillance are vulnerable to cyber-security threats, since they feature distributed hardware and software architectures often interconnected by ‘open networks’, like wireless channels and the Internet. In this paper, we show how the integrated approach to Security, Privacy and Dependability (SPD) in embedded systems provided by the SHIELD framework (developed within the EU funded pSHIELD and nSHIELD research projects) can be applied to railway surveillance systems in order to measure and improve their SPD level. SHIELD implements a layered architecture (node, network, middleware and overlay) and orchestrates SPD mechanisms based on ontology models, appropriate metrics and composability. The results of prototypical application to a real-world demonstrator show the effectiveness of SHIELD and justify its practical applicability in industrial settings

Examining the building selection decision-making process within corporate relocations : to design and evaluate a client focused tool to support objective decision making

Purpose – The aim of this paper is to consider the complex decision-making process involved in corporate relocation and the validity of a tool designed to improve the objectivity and strategic management of this process and to change the focus of the decision upon the strategic management objectives rather than the real estate deal. Design/methodology/approach – The authors identify the progression of the decision-making process; disaggregate components of that process; and evaluate a tool designed to improve the decision-making process. Findings – The size of the organisation can have a significant impact on the building evaluation and decision-making process, smaller firms with less resources are more likely to make the relocation decision based on “gut feeling” rather than detailed evaluation. However, with increased transparency, accountability and corporate social responsibility, decisions based on more rigorous and objective approaches are being demanded. The evaluated tool facilitates a more objective approach and shifts the focus from a real estate to a business decision. Practical implications – Corporate real estate managers can use the information to evaluate their own decision-making processes against the framework of the tool and decide if it may be applicable to their context. Originality/value – The paper fills a void by examining the decision-making process from a fresh perspective, updates the thinking by providing a contemporary tool which has been beta tested with students and is about to be piloted with corporate clients.</p