Increasing numbers of turnouts are being laid, with the rapid development of high-speed
railways on the Tibetan Plateau. Ensuring the proper operation of turnouts has received …

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 …

Studies devoted to reduce the energy consumption while guaranteeing acceptable reliability
levels are nowadays gaining importance in a variety of application sectors. Analyses …

In Service Oriented Computing (SOC) contracts characterise the behavioural conformance
of a composition of services and guarantee that the composition does not lead to spurious …

In Service-Oriented Computing, contracts provide a way to characterise the behavioural
conformance of a composition of services, and to guarantee that the results do not lead to …

Achieving reliable and energy‐saving broadcast is the main issue discussed in this study.
Firstly, a multi‐hop broadcast model is introduced, and the energy consumption and …

ABZ and other state-based formal methods and tools are successfully applied to the
development of safety-critical systems for decades now, in particular in the transport domain …

We provide a brief comparison of the modelling and analysis capabilities of two different
formalisms and their associated simulation-based tools, acquired from experimenting with …

为解决电加热道岔融雪系统在工程应用中融雪不及时, 不充分的问题, 以60 kg/m
钢轨轨型的道岔结构为研究对象, 基于COMSOL Multiphysics 有限元分析软件建立道岔结构“ …

Model-based approaches are widely used for analysing systems belonging to a variety of
domains, including the transportation sector. A critical issue with models is their validation, in …