lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modeling of railway logics for reverse enginering, verification and refactoring
Ansaldo, Italy ; University of Naples 'Federico II', Italy.ORCID iD: 0000-0002-2833-7196
Ansaldo, Italy.
University of Naples 'Federico II', Italy.
2011 (English)In: International Journal of Safety and Security Engineering, ISSN 2041-9031, E-ISSN 2041-904X, Vol. 1, no 1, p. 77-94Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
WITPress , 2011. Vol. 1, no 1, p. 77-94
Keywords [en]
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
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73680DOI: 10.2495/SAFE-V1-N1-77-94Scopus ID: 2-s2.0-85010915123OAI: oai:DiVA.org:lnu-73680DiVA, id: diva2:1213855
Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-10-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopusFulltext

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
In the same journal
International Journal of Safety and Security Engineering
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 47 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf