| 1. |
- Fantechi, Alessandro, et al.
(author)
-
Formal methods for intelligent transportation systems
- 2012
-
In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. - Berlin, Heidelberg : Springer. - 9783642340314 - 9783642340321 ; , s. 187-189
-
Conference paper (peer-reviewed)abstract
- The term Intelligent Transportation Systems (ITS), [4,5], refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity, environmental performance and network operation resilience [2,3]. Safety-critical ITS include the so called X-by-wire (where 'X' can stand for 'fly', 'brake', 'accelerate, 'steer', etc.) systems used in domains like aerospace, automotive and railways. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. © 2012 Springer-Verlag.
|
|
| 2. |
- Fantechi, Alessandro, et al.
(author)
-
Formal methods for railway control systems INTRODUCTION
- 2014
-
In: International Journal on Software Tools for Technology Transfer. - : Springer. - 1433-2779 .- 1433-2787. ; 16:6, s. 643-646
-
Journal article (peer-reviewed)abstract
- The term intelligent transportation systems (ITS) refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity, environmental performance and network operation resilience. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. This special issue addresses the application of formal methods to model and analyze complex systems in the context of ITS and in particular in the field of railway control systems. In fact, modelling and analysis activities are very important to optimize system life-cycle in the design, development, verification and operational stages, and they are essential whenever assessment and certification is required by international standards. © 2014, Springer-Verlag Berlin Heidelberg.
|
|
| 3. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(author)
-
A Vision of Intelligent Train Control
- 2022
-
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022.. - Cham : Springer. - 9783031058134 - 9783031058141 ; , s. 192-208
-
Conference paper (peer-reviewed)abstract
- The progressive adoption of artificial intelligence and advanced communication technologies within railway control and automation has brought up a huge potential in terms of optimisation, learning and adaptation, due to the so-called “self-x†capabilities; however, it has also raised several dependability concerns due to the lack of measurable trust that is needed for certification purposes. In this paper, we provide a vision of future train control that builds upon existing automatic train operation, protection, and supervision paradigms. We will define the basic concepts for autonomous driving in digital railways, and summarise its feasibility in terms of challenges and opportunities, including explainability, autonomic computing, and digital twins. Due to the clear architectural distinction, automatic train protection can act as a safety envelope for intelligent operation to optimise energy, comfort, and capacity, while intelligent protection based on signal recognition and obstacle detection can improve safety through advanced driving assistance. © 2022, Springer Nature Switzerland AG.
|
|
| 4. |
|
|
