Authors:
Guilherme Kunz
1
;
José Machado
2
and
Eduardo Perondi
3
Affiliations:
1
Western Paraná State University, Brazil
;
2
University of Minho, Portugal
;
3
Federal University of Rio Grande do Sul, Brazil
Keyword(s):
IEC 61850, Modelling, Simulation, Automated People Movers.
Related
Ontology
Subjects/Areas/Topics:
Industrial Networks and Automation
;
Informatics in Control, Automation and Robotics
;
Modeling, Simulation and Architectures
;
Robotics and Automation
;
Vehicle Control Applications
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.