lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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. (CPS)ORCID-id: 0000-0002-2833-7196
Ansaldo STS, Italy.
Ansaldo STS, Italy.
Visa övriga samt affilieringar
2007 (Engelska)Ingår i: Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, IEEE, 2007, s. 3-10Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
IEEE, 2007. s. 3-10
Nyckelord [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
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
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
Konferens
International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006, 25- 27 May 2006, Szklarska Poreba
Tillgänglig från: 2018-06-05 Skapad: 2018-06-05 Senast uppdaterad: 2019-03-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Flammini, Francesco

Sök vidare i DiVA

Av författaren/redaktören
Flammini, Francesco
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 873 träffar
RefereraExporteraLänk till posten
Permanent länk

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