UML based reverse engineering for the verification of railway control logics

The Unified Modeling Language (UML) is widely used as a high level object oriented specification language. In this paper we present a novel approach in which reverse engineering is performed using UML as the modelling language used to achieve a representation of the implemented system. The target is the core logic of a complex critical railway control system, which was written in an application specific legacy language. UML perfectly suited to represent the nature of the core logic, made up by concurrent and interacting processes, using a bottom-up approach and proper modeling rules. Each process, in fact, was strictly related to the management of a physically (resp. logically) well distinguished railway device (resp. functionality). The obtained model deeply facilitated the static analysis of the logic code, allowing for at a glance verification of correctness and compliance with higher-level specifications, and opened the way to refactoring and other formal analyses. © 2006 IEEE.

TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Inbäddad systemteknik hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Embedded Systems hsv//eng
Computer simulation languages
Logic programming
Railroad traffic control
Unified Modeling Language
Verification
Bottom up approach
Legacy language
Logic code
Railway control systems
Reverse engineering
Software Technology
Programvaruteknik

Flammini, Francesco,Senior Lecturer,1978-Ansaldo STS, Italy ; University of Naples ”Federico II”, Italy(Swepub:lnu)frflaa (författare)
Lazzaro, ArmandoAnsaldo STS, Italy (författare)
Marmo, PietroAnsaldo STS, Italy (författare)
Mazzocca, NicolaUniversité “Federico II” di Napoli, Italy (författare)
Sanseviero, AngelaAnsaldo STS, Italy (författare)
Ansaldo STS, ItalyAnsaldo STS, Italy ; University of Naples ”Federico II”, Italy (creator_code:org_t)

Ingår i:Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006: IEEE, s. 3-1007695256529780769525655

Av författaren/redakt...: Abbaneo, Chiara; Flammini, France ...; Lazzaro, Armando; Marmo, Pietro; Mazzocca, Nicola; Sanseviero, Ange ...

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Inbäddad systemt ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.