Skip to main content
SpringerLink
Log in

Optimal Preventive Maintenance Frequency in Redundant Systems

  • Conference paper
  • First Online:
Innovations in Mechatronics Engineering (icieng 2021)

Part of the book series: Lecture Notes in Mechanical Engineering ((LNME))

Included in the following conference series:

Abstract

The right frequency of preventive maintenance is essential for production availability with adequate safety and economic levels. The optimal preventive maintenance intervals are difficult to identify as production systems are becoming complex by combining electro-electronic and mechanical systems with large quantities. High rates of preventive maintenance boost quality costs, low availability, and high possibility of maintenance failures. Otherwise, it could happen an increase in unscheduled downtime and high costs by losing the production. The development of algorithms to evaluate the maintenance program performance becomes a challenge to validate when it includes continuous, discrete, and stochastic models. This paper proposes an approach to stochastic model checking for identifying the optimum frequency of preventive maintenance by mechanical equipment, simulated and verified through a network of timed automata. A case study was adopted to illustrate the effectiveness of the solution. It is useful to evaluate the optimal preventive maintenance frequency in similar circumstances.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 189.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Albrice, D., Branch, M.: A deterioration model for establishing an optimal mix of time-based maintenance (TbM) and condition-based maintenance (CbM) for the enclosure system, Kansas (2015)

    Google Scholar 

  2. Ahmad, R., Kamaruddin, S.: An overview of time-based and condition-based maintenance in industrial application. Comput. Ind. Eng. 63(1), 135–149 (2012)

    Article  Google Scholar 

  3. Jasiulewicz-Kaczmarek, M., Gola, A.: Maintenance 4.0 technologies for sustainable manufacturing-an overview. IFAC-PapersOnLine 52(10), 91–96 (2019)

    Article  Google Scholar 

  4. Kunz, G., Perondi, E., Machado, J.: Modeling and simulating the controller behavior of an automated people mover using IEC 61850 communication requirements. In: IEEE International Conference on Industrial Informatics (INDIN), Art. no. 6034947, pp. 603-608 (2011). https://doi.org/10.1109/INDIN.2011.6034947

  5. Leão, C.P., Soares, F.O., Machado, J.M., Seabra, E., Rodrigues, H.: Design and development of an industrial network laboratory. Int. J. Emerg. Technol. Learn. 6(SPECIAL ISSUE.2), 21–26 (2011). https://doi.org/10.3991/ijet.v6iS1.1615

  6. Silva, M., Pereira, F., Soares, F., Leão, C.P., Machado, J., Carvalho, V.: An overview of industrial communication networks. Mech. Mach. Sci. 24, 933–940 (2015). https://doi.org/10.1007/978-3-319-09411-3-97

    Article  Google Scholar 

  7. Groover, M.P.: Automation, Production Systems, and Computer-Integrated Manufacturing, 3rd edn. Prentice Hall Press, New York (2007)

    Google Scholar 

  8. Antosz, K.: Maintenance-identification and analysis of the competency gap. Eksploatacja i Niezawodnoćś 20, 484–494 (2018)

    Article  Google Scholar 

  9. Sobaszek, Ł., Gola, A., Swic, A.: Time-based machine failure prediction in multi-machine manufacturing systems. Eksploatacja i Niezawodnoćś - Maint. Reliabil. 22(1), 52–62 (2020)

    Article  Google Scholar 

  10. Loska, A., Paszkowski, W.: SmartMaintenance - the concept of supporting the exploitation decision-making process in the selected technical network system. In: International Conference on Intelligent Systems in Production Engineering and Maintenance, pp. 64–73. Springer (2017)

    Google Scholar 

  11. Kunz, G., Machado, J., Perondi, E., Vyatkin, V.: A formal methodology for accomplishing IEC 61850 real-time communication requirements. IEEE Trans. Ind. Electron. 64, 6582–6590 (2017)

    Article  Google Scholar 

  12. Kunz, G., Perondi, E., Machado, J.: A design strategy for obtaining reliable controllers for critical mechanical systems. Mechatronics 54, 186–202 (2018)

    Article  Google Scholar 

  13. David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17, 397–415 (2015)

    Article  Google Scholar 

  14. Behrmann, G., David, A., Larsen, K.: A tutorial on Uppaal. In: Formal Methods for the Design of Real-Time Systems (2004)

    Google Scholar 

  15. Behrmann, G., David, A., Larsen, K.G., Pettersson, P., Yi, W.: Developing UPPAAL over 15 years. Softw.: Pract. Exper. 41, 133–142 (2011)

    Google Scholar 

  16. Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: CAV. LNCS, vol. 3114, pp. 202–215. Springer (2004)

    Google Scholar 

  17. Younes, H.L.S.: Verification and planning for stochastic processes with asynchronous events. Ph.D. thesis, Carnegie Mellon (2005)

    Google Scholar 

  18. Basile, D., Beek, M.H., Ferrari, A., Legay, A.: Modelling and analysing ERTMS L3 moving block railway signalling with simulink and Uppaal SMC. In: Larsen, K., Willemse, T. (eds) Formal Methods for Industrial Critical Systems. FMICS 2019. Lecture Notes in Computer Science, vol. 11687 (2019)

    Google Scholar 

  19. David, A., Jensen, P.G., Larsen, K.G., Mikučionis, M., Taankvist, J.H.: Uppaal Stratego. In: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS (2015)

    Google Scholar 

  20. Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: 16th International Conference CONCUR (2005)

    Google Scholar 

  21. David, A., et al.: On time with minimal expected cost! In: 12th International Symposium on Automated Technology for Verification and Analysis ATVA (2014)

    Google Scholar 

  22. Abernethy, R.: The New Weibull Handbook: Reliability and Statistical Analysis for Predicting Life, Safety, Supportability, Risk, Cost and Warranty Claims, 5th edn. R.B. Abernethy, North Palm Beach (2006)

    Google Scholar 

  23. Kline, M.B.: Suitability of the lognormal distribution for corrective maintenance repair times. Reliab. Eng. 9(2), 65–80 (1984). ISSN 0143-8174

    Article  Google Scholar 

  24. Alexander, D.C.: Application Of Monte Carlo simulations to system reliability analysis. Texas A&M University. Turbomachinery Laboratories (2003). http://hdl.handle.net/1969.1/164018

  25. Morris, S.F.: Failure rate estimates for mechanical components (2020). https://reliabilityanalyticstoolkit.appspot.com

  26. R Core Team: R: a language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria (2019). https://www.R-project.org/

  27. Jensen, P.G., Larsen, K.G., Legay, A., Nyman, U.: Integrating tools: co-simulation in UPPAAL Using FMI-FMU. In: 22nd International Conference on Engineering of Complex Computer Systems ICECCS, Fukuoka, pp. 11–19 (2017)

    Google Scholar 

  28. Cassez, F., Aledo, P.G., Jensen, P.G.: WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. In: Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A., Mardare, R. (eds.) Models. Algorithms, Logics and Tools (2017)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Western Parana State University, Foz do Iguazu, Brazil

    Guilherme Kunz

Authors
  1. Guilherme Kunz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Guilherme Kunz .

Editor information

Editors and Affiliations

  1. Department of Mechanical Engineering, University of Minho, Guimarães, Portugal

    José Machado

  2. Department of Industrial Electronics, University of Minho, Guimarães, Portugal

    Filomena Soares

  3. Poznan University of Technology, Poznan, Poland

    Justyna Trojanowska

  4. Department of Mechatronics Engineering, Faculty of Engineering, Erciyes University, Kayseri, Turkey

    Sahin Yildirim

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kunz, G. (2022). Optimal Preventive Maintenance Frequency in Redundant Systems. In: Machado, J., Soares, F., Trojanowska, J., Yildirim, S. (eds) Innovations in Mechatronics Engineering. icieng 2021. Lecture Notes in Mechanical Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-79168-1_7

Download citation

Publish with us

Policies and ethics

Search

Navigation