lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
UML based reverse engineering for the verification of railway control logics
Ansaldo STS, Italy.
Ansaldo STS, Italy ; University of Naples ”Federico II”, Italy. (CPS)ORCID iD: 0000-0002-2833-7196
Ansaldo STS, Italy.
Ansaldo STS, Italy.
Show others and affiliations
2007 (English)In: Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, IEEE, 2007, p. 3-10Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE, 2007. p. 3-10
Keywords [en]
Computer simulation languages, Logic programming, Railroad traffic control, Unified Modeling Language, Verification, Bottom up approach, Legacy language, Logic code, Railway control systems, Reverse engineering
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73694DOI: 10.1109/DEPCOS-RELCOMEX.2006.55Scopus ID: 2-s2.0-34848906245ISBN: 0769525652 (print)ISBN: 9780769525655 (print)OAI: oai:DiVA.org:lnu-73694DiVA, id: diva2:1213845
Conference
International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, 25- 27 May 2006, Szklarska Poreba
Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2019-03-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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