![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System
One promising option to improve performance and contain costs of current tramway signalling systems is to introduce an Autonomous Positioning System (APS) in substitution of traditional occupancy detecting sen...
-
Chapter
Automata-Based Behavioural Contracts with Action Correlation
The rigorous design of Service-Oriented Computing (SOC) applications has been identified as one of the primary research challenges for the next 10 years. Many foundational theories for SOC have been defined, ...
-
Chapter and Conference Paper
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies
We explore the frontiers between coordination and control systems by discussing a number of contributions to bridging the gap between supervisory control theory and coordination of services
-
Chapter and Conference Paper
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC
Efficient and safe railway signalling systems, together with energy-saving infrastructures, are among the main pillars to guarantee sustainable transportation. ERTMS L3 moving block is one of the next generati...
-
Chapter and Conference Paper
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
Formal methods and tools have been widely applied to the development of railway systems during the last decades. However, no universally accepted formal framework has emerged, and railway companies wishing to ...
-
Chapter
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
Awareness and efforts to moderate energy consumption, desirable from both economical and environmental perspectives, are nowadays increasingly pursued. However, when critical sectors are addressed, energy savi...
-
Chapter and Conference Paper
On the Industrial Uptake of Formal Methods in the Railway Domain
The railway sector has seen a large number of successful applications of formal methods and tools. However, up-to-date, structured information about the industrial usage and needs related to formal tools in ra...
-
Chapter and Conference Paper
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
We present an experience in modelling and statistical model checking a satellite-based moving block signalling scenario from the railway industry with Uppaal SMC. This demonstrates the usability and applicability...
-
Chapter and Conference Paper
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach
Cautious usage of energy resources is gaining great attention nowadays, both from environmental and economical point of view. Therefore, studies devoted to analyze and predict energy consumption in a variety o...
-
Chapter and Conference Paper
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
Rail road switches enable trains to be guided from one track to another, and rail road switches heaters are used to avoid the formation of snow and ice during the cold season in order to guarantee their correc...