Valeria Vittorini

TL;DR: A proof of concept of Virtual coupling is provided by introducing a specific operating mode within the European rail traffic management system/European train control system (ERTMS/ETCS) standard specification, and by defining a coupling control algorithm accounting for time-varying delays affecting the communication links.

TL;DR: This paper proposes an extension, repairable fault trees, which allows the designer to evaluate the effects of different repair policies on a repairable system and it is supported by a solution technique which transparently exploits generalized stochastic Petri nets for modelling the repairing process.

TL;DR: OsMoSys uses the proposed modeling approach to build multi-formalism models, and workflow management to achieve multi-solution, and its main objectives are the interoperability of different formalisms and the definition of mechanisms to guarantee the flexibility and the scalability of the modeling framework.

TL;DR: This paper introduces Virtual Coupling in the context of a standard ATC, that is ERTMS/ETCS, considering a reference ATC simplifies the discussion about implementation and performance issues and provides some preliminary hints, models and results.

TL;DR: The language extends the popular Unified Modeling Language (UML) to provide vulnerability and protection modeling functionality and provides an abstract representation of concepts and activities in the infrastructure protection domain that enables model-to-model transformations for analysis purposes.