|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0119: A graphical user interface for a railway analysis tool set |
| Aktuelle | Tidligere |
A railway interlocking system is a system that controls points and signals of a piece of the railway network (e.g. a station). A set of tools supporting the checking of safety properties of such systems have been developed in the past. Checking a system involves a number of steps in which these tools are applied. In the first step digitized versions of railway documents (e.g. track layouts, route tables and circuit diagrams) are created. Then formal, required safety properties and a formal system model are generated, and in the last step the SAL model checker is applied to check that the model satisfies the safety properties. In case the model checker detects that a safety property can be broken, a counter example (i.e. a scenario that leads to an unsafe state) will be generated. The counter example needs a more user friendly presentation, and there is also a need for some graphical editors for creating the digitized railway documents.
The goal of this project is to develop a graphical user interface for the railway analysis tool set. It could e.g. be (1) a graphical editor for creating track layout diagrams and (2) a visualization component for SAL counter examples, e.g. in the form of a replay of states visualized on a track layout diagram.
| Prerequisites: | Experience with development of graphical user
interfaces using Java and design patterns. 02158 Concurrent Programming 02263 Formal Aspects of Software Engineering (passed or followed during project) |
Supervisor(s) Anne Haxthausen
| Sidst opdateret: Nov 27, 2012 af Hans Henrik Løvengreen |