Modeling of railway logics for reverse enginering, verification and refactoring

• Model-based approaches are widespread both in functional and non-functional verification activities of critical computer-based systems. Reverse engineering can also be used to support checks for correctness of system implementation against its requirements. In this paper, we show how a model-based technique, using the Unified Modeling Language (UML), suits the reverse engineering of complex control logics. UML is usually exploited to drive the development of software systems, using an object-oriented and bottom-up approach; however, it can be also used to model legacy non-object-oriented logic processes featuring a clear distinction between data structures and related operations. Our case-study consists in the most important component of the European Railway Traffic Management System/European Train Control System: the Radio Block Center (RBC). The model we obtained from the logic code of the RBC significantly facilitated both structural and behavioral analyses, giving a valuable contribution to the static verification and refactoring of the software under test. © 2011 WIT Press.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)

Nyckelord

Control Software

Modeling

Railways

Refactoring

Reverse Engineering

Verification

Data structures

Models

Railroad traffic control

Railroads

Software testing

Unified Modeling Language

Complex control logic

Computer-based system

Refactorings

System implementation

Train control systems

Verification activities

control system

logistics

railway

railway construction

software

traffic management

train

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)