MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER’S CONTROLLER

Guilherme Kunz, José Machado, Eduardo Perondi

2011

Abstract

Automated People Movers (APM) are systems for passenger transport with fully automated operation and high frequency service. For this study, we proposed the adaptation of the standard IEC 61850 (design to be used in electric power systems based in intelligent electronic devices) to allow its application to an APM system named Aeromovel installed in Porto Alegre, Brazil. Aeromovel is a nonconventional Automatic People Mover whose operation principle is based on pneumatics. This paper proposes the use of two analysis techniques, Simulation and Formal Verification, in order to guarantee the desired behaviour for an APM propulsion system composed by a centrifugal fan and ten (on-off and proportional) pneumatic valves driven by pneumatic pistons. This approach is based on the use of timed automata and UPPAAL software.

References

  1. Balarin, Felice. Approximate reachability analysis of timed automata. In 17th IEEE, Real-Time Systems Symposium. IEEE Computer Society Press, 1996.
  2. Balarin, Felice. Approximate reachability analysis of timed automata. In 17th IEEE, Real-Time Systems Symposium. IEEE Computer Society Press, 1996.
  3. Behrmann, G., David, A., and Larsen, K. G. (2004). A tutorial on UPPAAL. 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-RT'04). LNCS 3185.
  4. Behrmann, G., David, A., and Larsen, K. G. (2004). A tutorial on UPPAAL. 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-RT'04). LNCS 3185.
  5. Dill, David L., Timing Assumptions and Verification of Finite-State Concurrent Systems. LNCS 407. Springer Berlin 1989, pp 197-212.
  6. Dill, David L., Timing Assumptions and Verification of Finite-State Concurrent Systems. LNCS 407. Springer Berlin 1989, pp 197-212.
  7. Holzmann , Gerard J.. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
  8. Holzmann , Gerard J.. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
  9. Holzmann , Gerard J.. An analysis of bitstate hashing. Formal Methods in System, Design, 13:289-307, 1998.
  10. Holzmann , Gerard J.. An analysis of bitstate hashing. Formal Methods in System, Design, 13:289-307, 1998.
  11. Hewings, D. Introduction of integrated protection and control to railway electrification systems. In Proc. IET 9th International Conference on Developments in Power System Protection DPSP 2008, pages 68-73.
  12. Hewings, D. Introduction of integrated protection and control to railway electrification systems. In Proc. IET 9th International Conference on Developments in Power System Protection DPSP 2008, pages 68-73.
  13. IEEE (1999). Standard for Communications Protocol Aboard Trains.
  14. IEEE (1999). Standard for Communications Protocol Aboard Trains.
  15. IEEE (2004). IEEE standard for communications-based train control (CBTC) performance and functional requirements.
  16. IEEE (2004). IEEE standard for communications-based train control (CBTC) performance and functional requirements.
  17. Machado, J., Seabra, E., Campos, J., Soares, F. and Leão C. (2011). Safe controllers design for industrial automation systems. Computers & Industrial Engineering 60 (2011) 635-653.
  18. Machado, J., Seabra, E., Campos, J., Soares, F. and Leão C. (2011). Safe controllers design for industrial automation systems. Computers & Industrial Engineering 60 (2011) 635-653.
  19. Sullivan, T., IEEE rail transit vehicle interface standards update, 4th International Conference on Communications Based Train Control, 2001.
  20. Sullivan, T., IEEE rail transit vehicle interface standards update, 4th International Conference on Communications Based Train Control, 2001.
Download


Paper Citation


in Harvard Style

Kunz G., Machado J. and Perondi E. (2011). MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER’S CONTROLLER . In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-8425-75-1, pages 291-295. DOI: 10.5220/0003530502910295


in Harvard Style

Kunz G., Machado J. and Perondi E. (2011). MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER’S CONTROLLER . In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-8425-75-1, pages 291-295. DOI: 10.5220/0003530502910295


in Bibtex Style

@conference{icinco11,
author={Guilherme Kunz and José Machado and Eduardo Perondi},
title={MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER’S CONTROLLER},
booktitle={Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2011},
pages={291-295},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003530502910295},
isbn={978-989-8425-75-1},
}


in Bibtex Style

@conference{icinco11,
author={Guilherme Kunz and José Machado and Eduardo Perondi},
title={MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER’S CONTROLLER},
booktitle={Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2011},
pages={291-295},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003530502910295},
isbn={978-989-8425-75-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER’S CONTROLLER
SN - 978-989-8425-75-1
AU - Kunz G.
AU - Machado J.
AU - Perondi E.
PY - 2011
SP - 291
EP - 295
DO - 10.5220/0003530502910295


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER’S CONTROLLER
SN - 978-989-8425-75-1
AU - Kunz G.
AU - Machado J.
AU - Perondi E.
PY - 2011
SP - 291
EP - 295
DO - 10.5220/0003530502910295