Sökning: id:"swepub:oai:DiVA.org:mdh-47754" >
UML based reverse e...
UML based reverse engineering for the verification of railway control logics
-
- Abbaneo, Chiara (författare)
- Ansaldo STS, Italy
-
- Flammini, Francesco, Senior Lecturer, 1978- (författare)
- Ansaldo STS, Italy ; University of Naples ”Federico II”, Italy
-
- Lazzaro, Armando (författare)
- Ansaldo STS, Italy
-
visa fler...
-
- Marmo, Pietro (författare)
- Ansaldo STS, Italy
-
- Mazzocca, Nicola (författare)
- Université “Federico II” di Napoli, Italy
-
- Sanseviero, Angela (författare)
- Ansaldo STS, Italy
-
visa färre...
-
(creator_code:org_t)
- IEEE, 2007
- 2007
- Engelska.
-
Ingår i: Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006. - : IEEE. - 0769525652 - 9780769525655 ; , s. 3-10
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas