Performability Evaluation of the Rail System of Recife Region

Authors

DOI:

https://doi.org/10.51359/1679-1827.2021.252700

Keywords:

Rail System, Performance Evaluation Availability, Stochastic Petri Net, Reliability Block Diagrams

Abstract

The rail system in the Recife region can transport approximately 400,000 passengers daily. Failure drastically decreases its carrying capacity. An example of a failure that occurs frequently is the so-called false occupancy failure. False occupancy failures occur when the train detection mechanism for part of the route is defective, forcing the driver to take manual control, increasing the risk of accidents. One of the solutions is to increase the capillarity of the railway system by adding alternative routes. In this context, this workproposes a set of models for evaluating the performability of railway systems. A case study using the Recife railway system was used to show the applicability of the proposed models, where it was possible to increase the system availability by practically50% with the addition of alternative routes, also improving the performance metrics.

Author Biographies

Rodemarck Melo dos Santos Júnior, Universidade Federal Rural de Pernambuco

Aluno bolsista de graduação em Ciência da Computação pelo CNPq na Universidade Federal de Pernambuco.

Gustavo Rau de Almeida Callou, Universidade Federal Rural de Pernambuco

Professor do Departamento de Computação da Universidade Federal Rural de Pernambuco. Graduado em Ciência da Computação pela Universidade Católica de Pernambuco (2005), mestrado(2009) e doutorado(2013) em Ciência da Computação pela Universidade Federal de Pernambuco com período sanduíche na Alemanha pela Bergische Universität Wuppertal (2011/2012). Principal experiência focada em Avaliação de Desempenho e Dependabilidade de Sistemas. Atua principalmente nos seguintes temas: redes de Petri, modelagem de desempenho, dependabilidade e sustentabilidade; e estimativa de consumo de energia, impacto ambiental, desempenho e redes de computadores.

Osvaldo Marinho dos Santos Neto, Universidade Federal Rural de Pernambuco

Mestrando em Informática aplicada pela Universidade Federal Rural de Pernambuco - UFRPE (2018.1) - Em andamento. Bacharel em Sistemas de Informação pela Universidade Federal Rural de Pernambuco - UFRPE (2014). Atualmente é técnico industrial da Companhia Brasileira de Trens Urbanos (CBTU - Metrorec). Tem experiência na área de Eletrônica Industrial, Controladores Lógico Programáveis (CLP's), Sistemas de Informação, Redes de Computadores, Telecomunicação e Subestações de Energia Elétrica, Avaliação, Desempenho e Dependabilidade de Sistemas.

References

ALSTOM (2020). Alstom celebra 65 anos de presença no brasil com a chegada de projetos para produção nacional de trens para o país e o mundo.”, Janeiro, Online, acessado em 1 de abril de 2021. Disponível em: https: //www.alstom.com/pt/alstom-no-brasil.

BILLINGTON, J.; JANCZURA, C. (1996). State space analysis of a railway network. IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929), volume 3, pages 2386–2391.

CBTU (2018). Metrorec, unidade operacional que atende diretamente os municípios do recife, cabo, jaboatão dos guararapes e camaragibe e, indiretamente, os demais municípios da região metropolitana, Abril 2018. Online, acessado em 1 de abril de 2021. Disponível em: https://www.cbtu.gov.br/index.php/pt/sistemas-cbtu/

HAI, N.; ZHANG, C.; YU, Y.; TANG, Y. (2019). Reliability analysis of clock source of railway time synchronization network based on SPN. In 2019 International Conference on Intelligent Transportation, Big Data Smart City (ICITBS), pages 45–48.

MACIEL, P. R.; TRIVEDI, K. S.; MATIAS, R.; KIM, D. S. (2012). Dependability modeling, Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. IGI Global, 2012, ch. 3.

MACIEL, P. R.; LINS, R. D.; CUNHA, P. R. (1996). Introdução a redes de Petri e aplicações. Instituto de Computação - UNICAMP, ch. 4.4, pp. 125–130.

METROREC (n.d.). MAM – manual de manutenção do equipamento CMT. alstom, ch. 2, pp. 8–13.

PINDARWATI, A.; WIJAYANTO, A.W. (2015). Measuring performance level of smart transportation system in big cities of Indonesia comparative study: Jakarta, Bandung, Medan, Surabaya, and Makassar, International Conference on Information Technology Systems and Innovation (ICITSI), 2015, pp. 1-6, doi: 10.1109/ICITSI.2015.7437716.

SILVA, B.; MATOS, R.; CALLOU, G.; FIGUEIREDO, J.; DANTAS, J.; LOBO JR, A.; ALVES, V.; MACIEL, P. (2015). Mercury: An Integrated Environment for Performance and Dependability Evaluation of General Systems. In: Industry Track at 45th Dependable Systems and Networks Conference, 2015, Rio de Janeiro. Proceedings of 45th Dependable Systems and Networks Conference, 2015. v. v. p. 1-6.

SONGWIROJ, N.; VATANAWOOD, W.; VANIT-ANUNCHAI, S. (2018). Railway network modeling using building block of timed coloured petri nets. In 2018 IEEE 4th International Conference on Computer and Communications (ICCC), pages 528–533.

ZIMMERMANN, A.; HOMMEL, G. (2003). A train control system case study in model-based real time system design. Proceedings International Parallel and Distributed Processing Symposium, page 8 pp.

Published

2021-12-14