359 research outputs found
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways
No full textThe aim of this paper is to provide an overview of the state-of-the-art in LPWAN, with a focus on intelligent transportation. IoT and LPWAN technologies appear as very promising for cost-effective remote surveillance, monitoring and control over large geographical areas, by collecting data for several sensing applications (e.g., predictive condition-based maintenance, security early warning and situation awareness, etc.) even in situations where power supply is limited (e.g., solar panels) or absent (e.g., installation on-board freight cars).
R. Dirnfeld, F. Flammini, S. Marrone, R. Nardone and V. Vittorini, "Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways," 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), 2020, pp. 1-7,
doi: 10.1109/ITSC45102.2020.9294535
Improving Resilience in Cyber-Physical Systems based on Transfer Learning
No full textAn essential aspect of resilience within Cyber-Physical Systems stands in their capacity of early detection of faults before they generate failures. Faults can be of any origin, either natural or intentional. Detection of faults enables predictive maintenance, where faults are managed through diagnosis and prognosis. In this paper we focus on intelligent predictive maintenance based on a class of machine learning techniques, namely transfer learning, which overcomes some limitations of traditional approaches in terms of availability of appropriate training datasets and discrepancy of data distribution. We provide a conceptual approach and a reference architecture supporting transfer learning within intelligent predictive maintenance applications for cyber-physical systems. The approach is based on the emerging paradigms of Industry 4.0, the industrial Internet of Things, and Digital Twins hosting run-time models for providing the training data set for the target domain. Although we mainly focus on health monitoring and prognostics of industrial machinery as a reference application, the general approach is suitable to both physical- and cyber-threat detection, and to any combination of them within the same system, or even in complex systems-of-systems such as critical infrastructures. We show how transfer learning can aid predictive maintenance with intelligent fault detection, diagnosis and prognosis, and describe some the challenges that need to be addressed for its effective adoption in real industrial applications
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks
No full textThe current travel demand in railways requires the adoption of novel approaches and technologies in order to increase network capacity. Virtual Coupling is considered one of the most innovative solutions to increase railway capacity by drastically reducing train headway. The aim of this paper is to provide an approach to investigate the potential of Virtual Coupling in railways by composing stochastic activity networks model templates. The paper starts describing the Virtual Coupling paradigm with a focus on standard European railway traffic controllers. Based on stochastic activity network model templates, we provide an approach to perform quantitative evaluation of capacity increase in reference Virtual Coupling scenarios. The approach can be used to estimate system capacity over a modelled track portion, accounting for the scheduled service as well as possible failures. Due to its modularity, the approach can be extended towards the inclusion of safety model components. The contribution of this paper is a preliminary result of the PERFORMINGRAIL (PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling) project funded by the European Shift2Rail Joint Undertaking
A Systematic Review of Artificial Intelligence Public Datasets for Railway Applications
Get PDFThe aim of this paper is to review existing publicly available and open artificial intelligence (AI) oriented datasets in different domains and subdomains of the railway sector. The contribution of this paper is an overview of AI-oriented railway data published under Creative Commons (CC) or any other copyright type that entails public availability and freedom of use. These data are of great value for open research and publications related to the application of AI in the railway sector. This paper includes insights on the public railway data: we distinguish different subdomains, including maintenance and inspection, traffic planning and management, safety and security and type of data including numerical, string, image and other. The datasets reviewed cover the last three decades, from January 1990 to January 2021. The study revealed that the number of open datasets is very small in comparison with the available literature related to AI applications in the railway industry. Another shortcoming is the lack of documentation and metadata on public datasets, including information related to missing data, collection schemes and other limitations. This study also presents quantitative data, such as the number of available open datasets divided by railway application, type of data and year of publication. This review also reveals that there are openly available APIs—maintained by government organizations and train operating companies (TOCs)—that can be of great use for data harvesting and can facilitate the creation of large public datasets. These data are usually well-curated real-time data that can greatly contribute to the accuracy of AI models. Furthermore, we conclude that the extension of AI applications in the railway sector merits a centralized hub for publicly available datasets and open APIs.Transport and Plannin
Software Verification and Validation of Safe Autonomous Cars : A Systematic Literature Review
No full textAutonomous, or self-driving, cars are emerging as the solution to several problems primarily caused by humans on roads, such as accidents and traffic congestion. However, those benefits come with great challenges in the verification and validation (V&V) for safety assessment. In fact, due to the possibly unpredictable nature of Artificial Intelligence (AI), its use in autonomous cars creates concerns that need to be addressed using appropriate V&V processes that can address trustworthy AI and safe autonomy. In this study, the relevant research literature in recent years has been systematically reviewed and classified in order to investigate the state-of-the-art in the software V&V of autonomous cars. By appropriate criteria, a subset of primary studies has been selected for more in-depth analysis. The first part of the review addresses certification issues against reference standards, challenges in assessing machine learning, as well as general V&V methodologies. The second part investigates more specific approaches, including simulation environments and mutation testing, corner cases and adversarial examples, fault injection, software safety cages, techniques for cyber-physical systems, and formal methods. Relevant approaches and related tools have been discussed and compared in order to highlight open issues and opportunities
Optimisation of security system design by quantitative risk assessment and genetic algorithms
No full textThe design of physical security systems for critical infrastructures is a delicate task that requires a balance between the cost of protection mechanisms and their expected effect on risk mitigation. This paper presents an approach usable to support the design of security systems by automatically optimising some parameters, basing on external constraints (e.g., limited available budget) and using quantitative risk assessment. Risk assessment is performed using a software tool that implements a quantitative methodology. The methodology accounts for the attributes of threats (frequency, system vulnerability, expected consequences) and protection mechanisms (cost, effectiveness, coverage, etc.). The optimisation is performed by means of genetic algorithms with the objective of achieving the set of parameters that minimises the risk while fitting external budget constraints, hence maximising the return on investment. The paper also describes an example application of the approach to the design of physical security systems for metro railways.</p
Towards Model-Driven V&V assessment of railway control systems
No full textVerification and Validation (V&V) activities aiming at certifying railway controllers are among the most critical and time-consuming in system development life cycle. As such, they would greatly benefit from novel approaches enabling both automation and traceability for assessment purposes. While several formal and Model-Based approaches have been proposed in the scientific literature, some of which are successfully employed in industrial settings, we are still far from an integrated and unified methodology which allows guiding design choices, minimizing the chances of failures/non-compliances, and considerably reducing the overall assessment effort. To address these issues, this paper describes a Model-Driven Engineering approach which is very promising to tackle the aforementioned challenges. In fact, the usage of appropriate Unified Modeling Language profiles featuring system analysis and test case specification capabilities, together with tool chains for model transformations and analysis, seems a viable way to allow end-users to concentrate on high-level holistic models and specification of non-functional requirements (i.e., dependability) and support the automation of the V&V process. We show, through a case study belonging to the railway signalling domain, how the approach is effective in supporting activities like system testing and availability evaluation
- …
