Menu

Open positions

Research team

Prof. Vittorio Cortellessa Prof. Alfonso Pierantonio

Francesco Basciani, PhD Davide Cingolani, PhD Mirco Franzago, PhD Romolo Marotta, PhD Eng. Tiziano Lombardi Matteo Ricci Lorenzo Andreoli Stefano Di Francesco Damiano Di Vincenzo Andrea Perelli


Partner

Rete Ferroviaria Italiana Fondazione Bruno Kessler


https://s3-us-west-2.amazonaws.com/secure.notion-static.com/99c51329-be22-45e9-9ac9-a32e17d31d98/UnivAQ_logoC.png

Envisioning Railways Systems through Model-Driven Engineering Approaches

Railways systems rely on elevate safety standards. The ERMES project aims at the definition of a modeling notation for railways interlocking systems based on existing standards and practices, at the generation of operative environments founding on the modeling notation, and at providing the required validation and verification processes.

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/7a426afe-c8d5-4fc7-8e50-7687c05bc4cd/Untitled.png

A complex modeling environment

The sheer complexity of the railways' domain pertains to concerns ranging from foundational to mere technological aspects. In the ERMES project, multiple tooling chains are realized for automatizing complex tasks. In the following Figure, an editor for designing information panels for managing railways stations. The editor is generated from a collection of coordinated metamodels that formalized the different facets of the domain

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/06c08e2c-d5ee-45b3-b906-daecf8062170/Untitled.png

From the editor a visual panel is then generated to visualize a model @ runtime capturing all the events on the station

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/4a2967a8-d94d-473c-b075-f861b310ff3f/Untitled.png

RFI - HomePage

Powered by Fruition