Authors:
Gábor Lukács Budapest University of Technology and Economics, Stoczek str. 2, 1111, Budapest, Hungary

Search for other papers by Gábor Lukács in
Current site
Google Scholar
PubMed
Close
and
Tamás Bartha Budapest University of Technology and Economics, Stoczek str. 2, 1111, Budapest, Hungary

Search for other papers by Tamás Bartha in
Current site
Google Scholar
PubMed
Close
Open access

Abstract

The use of formal modeling has seen an increasing interest in the development of safety-critical, embedded microcomputer-controlled railway interlocking systems, due to its ability to specify the behavior of the systems using mathematically precise rules. The research goal is to prepare a specification-verification environment, which supports the developer of the railway interlocking systems in the creation of a formally-proven correct design and at the same time hides the inherent mathematical-computer since related background knowledge. The case study is presented with the aim to summarize the process of formalizing a domain specification, and to show further application possibilities (e.g. verification methods).

  • [1]

    EN-50128 , Railway applications-communication, signaling and processing systemssoftware for railway control and protection systems, 2011.

    • Search Google Scholar
    • Export Citation
  • [2]

    BS EN-50129-2003 , Railway applications: communications, signaling and processing systems-safety related electronic systems for signaling, 2003.

    • Search Google Scholar
    • Export Citation
  • [3]

    Cai H. , Zhang C., Wu W., Ho T. K., Zhang Z. Modeling high integrity transport systems by formal methods, Procedia - Social and Behavioral Sciences, Vol. 138, 2014, pp. 729737.

    • Search Google Scholar
    • Export Citation
  • [4]

    Ricci S. The use of Petri Nets models in railway traffic applications, Internal Federation of Automatic Control Proceedings Volumes, Vol. 42, No. 5, 2009, pp. 151156.

    • Search Google Scholar
    • Export Citation
  • [5]

    Ésik Z. , Gombás É., Németh L. Z. Verification of hardware and software systems, (in Hungarian), TYPOTEX, 2011.

  • [6]

    Kovács G. L. , Petunin A. An information view of manufacturing automation product life-cycle management, Pollack Periodica, Vol. 11, 2016, Issue 2, pp. 314.

    • Search Google Scholar
    • Export Citation
  • [7]

    CENELEC-EN-50126 , Railway applications-the specification and demonstration of reliability, availability, maintainability and safety (RAMS), 1999.

    • Search Google Scholar
    • Export Citation
  • [8]

    Camus J. L. Efficient development of avionics software with DO-178B safety objectives, Esterel Technologies, 2002, pp. 131.

  • [9]

    Fantechi A. , Fokkink W., Morzenti A. Some trends in formal methods application to railway signaling, in: Formal methods for industrial critical systems: A survey of applications, Gnesi S., Margaria T. (Eds.) Ch. 4, 2012, pp. 6184.

    • Search Google Scholar
    • Export Citation
  • [10]

    Leeomote T. , Servat T., Pouzancre G. Formal methods in safety-critical railway systems, 10th Brasilian Symposium on Formal Methods, Ouro Preto, Brasil, 31 August 2007, pages 9.

    • Search Google Scholar
    • Export Citation
  • [11]

    Moller F. Nguyen H. N. , Roggenbach M., Schneider S., Treharne H. Railway modeling in CSP∥B: the double junction case study, 12th Internal Workshop on Automated Verification of Critical Systems, Electronic Communication of EASST, Vol. 53, 2012, pp. 115.

    • Search Google Scholar
    • Export Citation
  • [12]

    Darvas D. Practice-oriented formal methods to support the software development of industrial control systems, PhD Thesis, Budapest University of Technology and Economics, 2016.

    • Search Google Scholar
    • Export Citation
  • [13]

    BS EN-50128 , Railway applications. Communication, signaling and processing systems. Software for railway control and protection systems, 2011.

    • Search Google Scholar
    • Export Citation
  • [14]

    Kamide K. , Yano Y. Logics and translations for hierarchical model checking, Procedia Computer Science, Vol. 112, 2017, pp. 3140.

  • [15]

    He X. , MurataT. High-level Petri nets extensions, analysis, and applications, In: The Electrical Engineering Handbook, Chen W. K. (Ed.) Academic Press, Burlington, Ch. 9, 2005, pp. 459475.

    • Search Google Scholar
    • Export Citation
  • [16]

    Keroglou C. , Hadjicostis C. N. Verification of detectability in probabilistic finite automata, Automatica, Vol. 86, 2017, pp. 192198.

    • Search Google Scholar
    • Export Citation
  • [17]

    Durmu M. S. , Yildirim U., Eris O., Söylemez M. T. Safety-critical interlocking software development process for fixed-block signalization systems, Internal Federation of Automatic Control Proceedings Volumes, Vol. 45, No. 24, 2012, pp. 165170.

    • Search Google Scholar
    • Export Citation
  • [18]

    Gjaldbæk T. , Haxthausen A. E. Modeling and verification of interlocking systems for railway lines, Internal Federation of Automatic Control Proceedings Volumes, Vol. 36, No. 14, 2003, pp. 233238.

    • Search Google Scholar
    • Export Citation
  • [19]

    Khan S. A. , Zafar N. A., Ahmad F., Islam S. Extending petri net to reduce control strategies of railway interlocking system, Applied Mathematical Modeling, Vol. 38, No. 2, 2014, pp. 413424.

    • Search Google Scholar
    • Export Citation
  • [20]

    Vörös A. , Darvas D., Hajdu Á., Klenik A., Marussy K., Molnár V., Bartha T., Majzik I. Industrial applications of the PetriDotNet modeling and analysis tool, Science of Computer Programming, Vol. 157, 2017, pp. 740.

    • Search Google Scholar
    • Export Citation
  • [21]

    Soliman D. , Thramboulidis K., Frey G. Transformation of function block diagrams to uppaal timed automata for the verification of safety applications, Annual Reviews in Control, Vol. 36, No. 2, 2012, pp. 338345.

    • Search Google Scholar
    • Export Citation
  • [22]

    Patthak A. C. , Bhattacharya I., Dasgupta A., Dasgupta P., Chakrabarti P. P. Quantified computation tree logic, Information Processing Letters, Vol. 82, No. 3, 2002, pp. 123129.

    • Search Google Scholar
    • Export Citation
  • [23]

    Object management group, unified modeling language V2.5 , Object Management Group, 2015.

  • [24]

    Bartha T. , Lukacs G. Opportunities of automated transformation of formal specification into a formal model in the interlocking systems area, In: Innovation and Sustainable Surface Transport, T. Peter (Ed.) Vol. XI, 2017, pp. 187196.

    • Search Google Scholar
    • Export Citation
  • [25]

    Farkas B. , Lukacs G., Bartha T. Experiences with requirement formalization in the railway interlocking development, In: Innovation and Sustainable Surface Transport, T. Peter (Ed.) Vol. XI, 2017, pp. 197204.

    • Search Google Scholar
    • Export Citation
  • [26]

    Kiss L. , Héri J., Takács P., Sághi B., Szabó G. Requirements for safety components and equipment of traffic control for the road railway (tram) systems, (in Hungarian) (BKV-VILL-1.04), BKV Zrt, 2011.

    • Search Google Scholar
    • Export Citation
  • Collapse
  • Expand
Submit Your Manuscript
 
The author instructions template is available in MS Word.
Please, download the file from HERE.

 

Senior editors

Editor(s)-in-Chief: Iványi, Amália

Editor(s)-in-Chief: Iványi, Péter

 

Scientific Secretary

Miklós M. Iványi

Editorial Board

  • Bálint Bachmann (Institute of Architecture, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Jeno Balogh (Department of Civil Engineering Technology, Metropolitan State University of Denver, Denver, Colorado, USA)
  • Radu Bancila (Department of Geotechnical Engineering and Terrestrial Communications Ways, Faculty of Civil Engineering and Architecture, “Politehnica” University Timisoara, Romania)
  • Charalambos C. Baniotopolous (Department of Civil Engineering, Chair of Sustainable Energy Systems, Director of Resilience Centre, School of Engineering, University of Birmingham, U.K.)
  • Oszkar Biro (Graz University of Technology, Institute of Fundamentals and Theory in Electrical Engineering, Austria)
  • Ágnes Borsos (Institute of Architecture, Department of Interior, Applied and Creative Design, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Matteo Bruggi (Dipartimento di Ingegneria Civile e Ambientale, Politecnico di Milano, Italy)
  • Petra Bujňáková (Department of Structures and Bridges, Faculty of Civil Engineering, University of Žilina, Slovakia)
  • Anikó Borbála Csébfalvi (Department of Civil Engineering, Institute of Smart Technology and Engineering, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Mirjana S. Devetaković (Faculty of Architecture, University of Belgrade, Serbia)
  • Szabolcs Fischer (Department of Transport Infrastructure and Water Resources Engineering, Faculty of Architerture, Civil Engineering and Transport Sciences Széchenyi István University, Győr, Hungary)
  • Radomir Folic (Department of Civil Engineering, Faculty of Technical Sciences, University of Novi Sad Serbia)
  • Jana Frankovská (Department of Geotechnics, Faculty of Civil Engineering, Slovak University of Technology in Bratislava, Slovakia)
  • János Gyergyák (Department of Architecture and Urban Planning, Institute of Architecture, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Kay Hameyer (Chair in Electromagnetic Energy Conversion, Institute of Electrical Machines, Faculty of Electrical Engineering and Information Technology, RWTH Aachen University, Germany)
  • Elena Helerea (Dept. of Electrical Engineering and Applied Physics, Faculty of Electrical Engineering and Computer Science, Transilvania University of Brasov, Romania)
  • Ákos Hutter (Department of Architecture and Urban Planning, Institute of Architecture, Faculty of Engineering and Information Technolgy, University of Pécs, Hungary)
  • Károly Jármai (Institute of Energy and Chemical Machinery, Faculty of Mechanical Engineering and Informatics, University of Miskolc, Hungary)
  • Teuta Jashari-Kajtazi (Department of Architecture, Faculty of Civil Engineering and Architecture, University of Prishtina, Kosovo)
  • Róbert Kersner (Department of Technical Informatics, Institute of Information and Electrical Technology, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Rita Kiss  (Biomechanical Cooperation Center, Faculty of Mechanical Engineering, Budapest University of Technology and Economics, Budapest, Hungary)
  • István Kistelegdi  (Department of Building Structures and Energy Design, Institute of Architecture, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Stanislav Kmeť (President of University Science Park TECHNICOM, Technical University of Kosice, Slovakia)
  • Imre Kocsis  (Department of Basic Engineering Research, Faculty of Engineering, University of Debrecen, Hungary)
  • László T. Kóczy (Department of Information Sciences, Faculty of Mechanical Engineering, Informatics and Electrical Engineering, University of Győr, Hungary)
  • Dražan Kozak (Faculty of Mechanical Engineering, Josip Juraj Strossmayer University of Osijek, Croatia)
  • György L. Kovács (Department of Technical Informatics, Institute of Information and Electrical Technology, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Balázs Géza Kövesdi (Department of Structural Engineering, Faculty of Civil Engineering, Budapest University of Engineering and Economics, Budapest, Hungary)
  • Tomáš Krejčí (Department of Mechanics, Faculty of Civil Engineering, Czech Technical University in Prague, Czech Republic)
  • Jaroslav Kruis (Department of Mechanics, Faculty of Civil Engineering, Czech Technical University in Prague, Czech Republic)
  • Miklós Kuczmann (Department of Automations, Faculty of Mechanical Engineering, Informatics and Electrical Engineering, Széchenyi István University, Győr, Hungary)
  • Tibor Kukai (Department of Engineering Studies, Institute of Smart Technology and Engineering, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Maria Jesus Lamela-Rey (Departamento de Construcción e Ingeniería de Fabricación, University of Oviedo, Spain)
  • János Lógó  (Department of Structural Mechanics, Faculty of Civil Engineering, Budapest University of Technology and Economics, Hungary)
  • Carmen Mihaela Lungoci (Faculty of Electrical Engineering and Computer Science, Universitatea Transilvania Brasov, Romania)
  • Frédéric Magoulés (Department of Mathematics and Informatics for Complex Systems, Centrale Supélec, Université Paris Saclay, France)
  • Gabriella Medvegy (Department of Interior, Applied and Creative Design, Institute of Architecture, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Tamás Molnár (Department of Visual Studies, Institute of Architecture, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Ferenc Orbán (Department of Mechanical Engineering, Institute of Smart Technology and Engineering, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Zoltán Orbán (Department of Civil Engineering, Institute of Smart Technology and Engineering, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Dmitrii Rachinskii (Department of Mathematical Sciences, The University of Texas at Dallas, Texas, USA)
  • Chro Radha (Chro Ali Hamaradha) (Sulaimani Polytechnic University, Technical College of Engineering, Department of City Planning, Kurdistan Region, Iraq)
  • Maurizio Repetto (Department of Energy “Galileo Ferraris”, Politecnico di Torino, Italy)
  • Zoltán Sári (Department of Technical Informatics, Institute of Information and Electrical Technology, Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Grzegorz Sierpiński (Department of Transport Systems and Traffic Engineering, Faculty of Transport, Silesian University of Technology, Katowice, Poland)
  • Zoltán Siménfalvi (Institute of Energy and Chemical Machinery, Faculty of Mechanical Engineering and Informatics, University of Miskolc, Hungary)
  • Andrej Šoltész (Department of Hydrology, Faculty of Civil Engineering, Slovak University of Technology in Bratislava, Slovakia)
  • Zsolt Szabó (Faculty of Information Technology and Bionics, Pázmány Péter Catholic University, Hungary)
  • Mykola Sysyn (Chair of Planning and Design of Railway Infrastructure, Institute of Railway Systems and Public Transport, Technical University of Dresden, Germany)
  • András Timár (Faculty of Engineering and Information Technology, University of Pécs, Hungary)
  • Barry H. V. Topping (Heriot-Watt University, UK, Faculty of Engineering and Information Technology, University of Pécs, Hungary)

POLLACK PERIODICA
Pollack Mihály Faculty of Engineering
Institute: University of Pécs
Address: Boszorkány utca 2. H–7624 Pécs, Hungary
Phone/Fax: (36 72) 503 650

E-mail: peter.ivanyi@mik.pte.hu 

or amalia.ivanyi@mik.pte.hu

Indexing and Abstracting Services:

  • SCOPUS
  • CABELLS Journalytics

 

2022  
Web of Science  
Total Cites
WoS
not indexed
Journal Impact Factor not indexed
Rank by Impact Factor

not indexed

Impact Factor
without
Journal Self Cites
not indexed
5 Year
Impact Factor
not indexed
Journal Citation Indicator not indexed
Rank by Journal Citation Indicator

not indexed

Scimago  
Scimago
H-index
14
Scimago
Journal Rank
0.298
Scimago Quartile Score

Civil and Structural Engineering (Q3)
Computer Science Applications (Q3)
Materials Science (miscellaneous) (Q3)
Modeling and Simulation (Q3)
Software (Q3)

Scopus  
Scopus
Cite Score
1.4
Scopus
CIte Score Rank
Civil and Structural Engineering 256/350 (27th PCTL)
Modeling and Simulation 244/316 (22nd PCTL)
General Materials Science 351/453 (22nd PCTL)
Computer Science Applications 616/792 (22nd PCTL)
Software 344/404 (14th PCTL)
Scopus
SNIP
0.861

2021  
Web of Science  
Total Cites
WoS
not indexed
Journal Impact Factor not indexed
Rank by Impact Factor

not indexed

Impact Factor
without
Journal Self Cites
not indexed
5 Year
Impact Factor
not indexed
Journal Citation Indicator not indexed
Rank by Journal Citation Indicator

not indexed

Scimago  
Scimago
H-index
12
Scimago
Journal Rank
0,26
Scimago Quartile Score Civil and Structural Engineering (Q3)
Materials Science (miscellaneous) (Q3)
Computer Science Applications (Q4)
Modeling and Simulation (Q4)
Software (Q4)
Scopus  
Scopus
Cite Score
1,5
Scopus
CIte Score Rank
Civil and Structural Engineering 232/326 (Q3)
Computer Science Applications 536/747 (Q3)
General Materials Science 329/455 (Q3)
Modeling and Simulation 228/303 (Q4)
Software 326/398 (Q4)
Scopus
SNIP
0,613

2020  
Scimago
H-index
11
Scimago
Journal Rank
0,257
Scimago
Quartile Score
Civil and Structural Engineering Q3
Computer Science Applications Q3
Materials Science (miscellaneous) Q3
Modeling and Simulation Q3
Software Q3
Scopus
Cite Score
340/243=1,4
Scopus
Cite Score Rank
Civil and Structural Engineering 219/318 (Q3)
Computer Science Applications 487/693 (Q3)
General Materials Science 316/455 (Q3)
Modeling and Simulation 217/290 (Q4)
Software 307/389 (Q4)
Scopus
SNIP
1,09
Scopus
Cites
321
Scopus
Documents
67
Days from submission to acceptance 136
Days from acceptance to publication 239
Acceptance
Rate
48%

 

2019  
Scimago
H-index
10
Scimago
Journal Rank
0,262
Scimago
Quartile Score
Civil and Structural Engineering Q3
Computer Science Applications Q3
Materials Science (miscellaneous) Q3
Modeling and Simulation Q3
Software Q3
Scopus
Cite Score
269/220=1,2
Scopus
Cite Score Rank
Civil and Structural Engineering 206/310 (Q3)
Computer Science Applications 445/636 (Q3)
General Materials Science 295/460 (Q3)
Modeling and Simulation 212/274 (Q4)
Software 304/373 (Q4)
Scopus
SNIP
0,933
Scopus
Cites
290
Scopus
Documents
68
Acceptance
Rate
67%

 

Pollack Periodica
Publication Model Hybrid
Submission Fee none
Article Processing Charge 900 EUR/article
Printed Color Illustrations 40 EUR (or 10 000 HUF) + VAT / piece
Regional discounts on country of the funding agency World Bank Lower-middle-income economies: 50%
World Bank Low-income economies: 100%
Further Discounts Editorial Board / Advisory Board members: 50%
Corresponding authors, affiliated to an EISZ member institution subscribing to the journal package of Akadémiai Kiadó: 100%
Subscription fee 2023 Online subsscription: 336 EUR / 411 USD
Print + online subscription: 405 EUR / 492 USD
Subscription Information Online subscribers are entitled access to all back issues published by Akadémiai Kiadó for each title for the duration of the subscription, as well as Online First content for the subscribed content.
Purchase per Title Individual articles are sold on the displayed price.

 

Pollack Periodica
Language English
Size A4
Year of
Foundation
2006
Volumes
per Year
1
Issues
per Year
3
Founder Akadémiai Kiadó
Founder's
Address
H-1117 Budapest, Hungary 1516 Budapest, PO Box 245.
Publisher Akadémiai Kiadó
Publisher's
Address
H-1117 Budapest, Hungary 1516 Budapest, PO Box 245.
Responsible
Publisher
Chief Executive Officer, Akadémiai Kiadó
ISSN 1788-1994 (Print)
ISSN 1788-3911 (Online)

Monthly Content Usage

Abstract Views Full Text Views PDF Downloads
Nov 2023 0 25 13
Dec 2023 0 41 7
Jan 2024 0 30 13
Feb 2024 0 14 0
Mar 2024 0 72 4
Apr 2024 0 16 2
May 2024 0 0 0