Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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.ORCID-id: 0000-0002-2833-7196
Ansaldo STS, Italy.
Ansaldo STS, Italy.
Vise andre og tillknytning
2007 (engelsk)Inngår i: Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, IEEE, 2007, s. 3-10Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE, 2007. s. 3-10
Emneord [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
HSV kategori
Forskningsprogram
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-73694DOI: 10.1109/DEPCOS-RELCOMEX.2006.55Scopus ID: 2-s2.0-34848906245ISBN: 0769525652 (tryckt)ISBN: 9780769525655 (tryckt)OAI: oai:DiVA.org:lnu-73694DiVA, id: diva2:1213845
Konferanse
International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, 25- 27 May 2006, Szklarska Poreba
Tilgjengelig fra: 2018-06-05 Laget: 2018-06-05 Sist oppdatert: 2018-09-13bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Flammini, Francesco

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 250 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf