Models - at different levels of abstraction and pertaining to different engineering views - are central in the design of railway networks, in particular signalling systems. The design of such systems must follow numerous strict rules, which may vary from project to project and require information from different views. This renders manual verification of railway networks costly and error-prone.
This paper presents EVEREST, a tool for automating the verification of railway network models that preserves the loosely coupled nature of the design process. To achieve this goal, EVEREST first combines two different views of a railway network model - the topology provided in signalling diagrams containing the functional infrastructure, and the precise coordinates of the elements provided in technical drawings (CAD) - in a unified model stored in the railML standard format. This railML model is then verified against a set of user-defined topological rules, written in a custom modal logic that simplifies the specification of spatial constraints in the network. The violated rules can be visualized both in the signalling diagrams and technical drawings, where the element(s) responsible for the violation are highlighted.
Wed 26 OctDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00
|Verification of Railway Network Models with EVERESTP&I
|Bug Localization in Game Software Engineering: Evolving Simulations to Locate Bugs in Software Models of Video GamesFT
|SOCAM: a service-oriented computing architecture modeling methodJ1st
Journal-firstLink to publication
|A Comprehensive Framework for the Analysis of Automotive SystemsP&I
Alessandro Cimatti Fondazione Bruno Kessler, Sara Corfini Huawei Pisa Research Center, Luca Cristoforetti Fondazione Bruno Kessler, Marco Di Natale Scuola Superiore Sant'Anna (Consultant for Huawei Pisa Research Center), Alberto Griggio Fondazione Bruno Kessler, Stefano Puri Huawei Pisa Research Center, Stefano Tonetta Fondazione Bruno Kessler, Italy