Paulo Sérgio Cugnasca

Learn More
The air traffic management system is under generalized upgrading process. New requirements of safety arise based on several emerging technologies. This work presents a model to automatically verify safety of actions taken by human traffic controllers in frequent situations. The model uses the formalism of hybrid automata, and consists basically on(More)
The aim of this paper is to present a preliminary work of a Risk Analysis of the CBTC – Communication Based Train Control – Signaling System used in Subway Transport Systems. A CBTC is an automatic continuous train control system utilizing high-resolution train location determination independent of track circuits. It has high supervision and control(More)
  • 1