1 research outputs found
Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller
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.Guilherme Kunz is supported by the PTI C&T program (Fundacao Parque Tecnologico Itaipu - FPTI-BR). The authors would like to thank to PTI C&T/FPTI-BR for financial support and to CESUP-UFRGS for access to the clusters