TY  - JOUR
PY  - 2011//
TI  - Modeling of railway logics for reverse engineering, verification and refactoring
JO  - International journal of safety and security engineering
A1  - Flammini, F.
A1  - Lazzaro, A.
A1  - Mazzocca, N.
SP  - 77
EP  - 94
VL  - 1
IS  - 1
N2  - 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. Keywords  control software, modeling, railways, refactoring, reverse engineering, verification<p /> <p>Language: en</p>
LA  - en
SN  - 2041-9031
UR  - http://dx.doi.org/10.2495/SAFE-V1-N1-77-94
ID  - ref1
ER  -