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
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
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
Note

Cited By :1; Export Date: 26 April 2018; Article; References: Heath, W.S., (1991) Real-time Software Techniques, , Van Nostrand Reinhold: New York; (2001) CENELEC: EN 50126 Railways Applications - The specification and demonstration of Reliability, , Maintainability and Safety (RAMS; De Nicola, G., Di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., Orazzo, A., A grey box approach to the functional testing of complex automatic train protection systems (2005) LNCS, 3463, pp. 305-317; Fowler, M., (1999) Refactoring: Improving the Design of Existing Code, , 1st edn, Addison-Wesley Professional; Chikofsky Elliot, J., Cross James, H., Reverse engineering and design recovery: A taxonomy (1990) IEEE Software, 7 (1), pp. 13-17. , DOI 10.1109/52.43044; Cimatti, A., Giunchiglia, F., Mongardi, G., Romano, D., Torielli, F., Traverso, P., Formal Verification of a Railway Interlocking System using Model Checking (1998) Formal Aspects of Computing, 10 (4), pp. 361-380; (2001), UNISIG ERTMS/ETCS - Class 1 Issue 2.2.2 Subset 026; OMG Unified Modeling Language, , http:/www.omg.org/uml; Rational Corporation, , http:/www.rational.com; Bondavalli, A., Fantechi, A., Latella, D., Simoncini, L., Design validation of embedded dependable systems (2001) IEEE Micro, 21 (5), pp. 52-62. , DOI 10.1109/40.958699; Mirandola, R., Cortellessa, V., Uml based performance modeling of distributed systems (2000) Proceedings of UML, pp. 178-193; Briand, L., Labiche, Y., A uml-based approach to system testing (2002) Journal of Software and Systems Modeling, 1 (1), pp. 10-42; Astels, D., Refactoring with uml (2002) Proc. of the 3rd International Conference on eXtreme Programming and Flexible Processes in Software Engineering, pp. 67-70; Tonella, P., Torchiano, M., Du Bois, B., Systä, T., Empirical studies in reverse engineering: State of the art and future trends (2007) Empirical Software Engineering, 12 (5). , http:/www.springerlink.com/content/30881032523123r2, DOI 10.1007/s10664-007-90375 doi:10.1007/s10664-007-9037-9045; Visual Paradigm Code Reverse, , http:/www.visual-paradigm.com/VPGallery/codeengine/CodeReverse.html; Interactive Objects ArchStyler, , http:/www.interactive-objects.com/products/arcstyler; Cung, A., Lee, Y.S., Reverse software engineering with uml for website maintenance (2000) IEEE Proceedings of Working Conference in Reverse Engineering'00, pp. 100-111; Riva, C., Selonen, P., Systa, T., Xu, J., Uml-based reverse engineering and model analysis approaches for software architecture maintenance Proceedings of the 20th IEEE International Conference on Software Maintenance (ICSM'04; Briand, L.C., Labiche, Y., Leduc, J., Toward the reverse engineering of UML sequence diagrams for distributed Java software (2006) IEEE Transactions on Software Engineering, 32 (9), pp. 642-663. , DOI 10.1109/TSE.2006.96; Rady De Almeida Jr., J., Batista Camargo Jr., J., Abrantes Basseto, B., Paz, P., Best practices in code inspection for safety-critical software (2003) IEEE Software, 20 (3), pp. 56-63. , doi:10.1109/MS.2003.1196322; Verimag IF, , http:/www-verimag.imag.fr/~async/IF/index.html; Telelogic Logiscope, , http:/www.telelogic.com/logiscope; Bernardeschi, C., Fantechi, A., Gnesi, S., Mongardi, G., Romano, D., A formal verification environment for railway signaling system design (1998) Formal Methods in System Design, 12, pp. 139-161. , doi:10.1023/A:1008645826258; Gnesi, S., Latella, D., Lenzini, G., Abbaneo, C., Amendola, A., Marmo, P., An automatic spin validation of a safety critical railway control system (2000) IEEE International Conference on Dependable Systems & Networks, pp. 119-124; Dong, W., Wang, J., Qi, X., Qi, Z.-C., Model checking UML statecharts (2001) Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, pp. 363-370; Gnesi, S., Latella, D., Massink, M., Model checking uml statechart diagrams using jack (1999) The 4th IEEE International Symposium on High-Assurance Systems Engineering, pp. 46-55; Havelund, K., Lowry, M., Penix, J., Formal analysis of a space-craft controller using SPIN (2001) IEEE Transactions on Software Engineering, 27 (8), pp. 749-765. , DOI 10.1109/32.940728; Abbaneo, C., Flammini, F., Lazzaro, A., Marmo, P., Mazzocca, N., Sanseviero, A., Uml based reverse engineering for the verification of railway control logics (2006) IEEE Proceedings of Dependability of Computer Systems (DepCoS'96), , Szklarska Porȩba: Poland, 3-10, May 25-27; Source Dynamics Source Insight, , http:/www.sourceinsight.com; Agile Modeling, , http:/www.agilemodeling.com; Egyed, N., Medvidovic: Consistent architectural refinement and evolution using the unified modeling language (2005) Proceedings of ICSE 2001, pp. 305-317. , Toronto, 3463; OMG Model Driven Architecture, , http:/www.omg.org/mda

Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-05

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
By organisation
Department of computer science and media technology (CM)
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: 7 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