Current Projects

Safety Analysis of São Paulo Metro Signalling and Control Systems (METRÔ-SP)


The Safety Analysis Group has performed several extension and research projects related to the safety analysis of signalling and control systems of São Paulo Metro, responsible for the transportation of over 3 million people every day in São Paulo city. These projects consist on the use of safety analysis methodologies and techniques to analyze the safety levels of signalling and control systems, including qualitative and quantitative analyses of systems specification and design (e.g. hardware analyses and software analyses).

Additionally, the Safety Analysis Group has also worked with metro transit systems of other Brazilian cities, such as Belo Horizonte, Porto Alegre, Recife and Fortaleza.

Safety and Resilience in Automotive Cyber-Physical Systems (partnership with Ericsson Research - ER)


The main goal of this research project is to develop a framework to safety and resilience analysis for the future automotive cyber-physical critical systems, mainly over the Intelligent Transportation Systems (ITS) concept. This analysis framework intends to be based on fast-time and real-time computer simulations, where Model-In-the-Loop (MIL), Hardware-In-The-Loop (HIL) and Human-In-The-Loop approaches could be considered. Using this framework allows to analyze, in a broad sense, the impacts of concepts, technologies and procedures (including standards and regulations) on automotive cyber physical systems resilience properties: availability, reliability, safety, security and maintainability when systems facing changes.

Safety in Aviation Technologies and ATM (partnership with Boeing Research & Techonlogy - BR&T)


The main objectives of this research project are (1) Presenting the state of the art of GAS/POLI-USP researches, as well as a detailed research proposal and a Roadmap for future potential research projects, related to the projects in the areas of research opportunity in Air Traffic Management (ATM) identified by BR&T in Brazil; and (2) Carrying out the first three long term research projects related to the projects in the areas of research opportunity in Air Traffic Management (ATM) identified by BR&T in Brazil: Human Factors and ATM Efficiency, Safety Analysis of Complex Systems/Priority and Maneuvering in Airspace and Ionosphere Correction Algorithm for GPS Applications. Three main results are expected on this project: (i) the demonstration of technical competence to carry out a set of projects from those potential projects presented by BR&T; (ii) a detailed, long term research proposal (including a roadmap) for carrying out the set of potential projects presented by BR&T in which GAS/POLI-USP has competence and expertize; and (iii) the execution of the three aforementioned long term research projects.

Integrated Platform for Testing Critical Embedded Systems (PIpE-SEC)


The Integrated Platform for Testing Critical Embedded Systems (PIpE-SEC) is a test tool under development by the Safety Analysis Group. Its development started during the INCT-SEC project (2009-2013). It allows modeling and real-time simulations of air traffic operations, covering the actual structural and behavioral characteristics of the Air Traffic Control System (ATC), including the interactions among air traffic controllers (ATCos) and aircraft, be they manned or computer-piloted vehicles. In this real-time simulated environment, controlled tests make it possible to evaluate and validate the concepts intrinsic to the project of both manned and unmanned vehicles (especially those that are autonomous) and their interaction with the operational environment in which they are inserted, pondering the characteristics related to the technologies and to the procedures applied.

Past Projects

National Institute of Science and Technology for Critical Embedded Systems (INCT-SEC)


The INCT-SEC (Instituto Nacional de Ciências e Tecnologia em Sistemas Embarcados Críticos) was created to improve the national knowledge about critical embedded  systems. These systems are applied in strategic areas like environment, security, safety, defense and agriculture. One of the main objectives was to develop autonomous vehicles prototypes. The project, which was funded by the National Council for Scientific and Technological Development (CNPq), involved not only research groups from many universities, but also business companies.

Critical Systems Laboratory for Transport Systems Certification

2009 - 2010

This project aimed to deploy a computer infrastructure to support research in certification of air and railway transport systems. This project was funded by National Council for Scientific and Technological Development (CNPq).

GIGA Project


The GIGA Project was carried out by many research groups funded by RNP-FINEP (National Research Network) to develop a CDM (collaborative decision making) system prototype. This prototype was used to evaluate CDM in air traffic management.