---

O desenvolvimento tecnológico e o elevado investimento em tecnologias de veículos "inteligentes" vÆo, provavelmente, transformar veículos autônomos em realidade em alguns anos. A inser‡Æo de inteligência em veículos rodoviários visa obter uma redu‡Æo nos acidentes de trânsito devido à mitiga‡Æo de erros cometidos por motoristas humanos, gra‡as à sua substitui‡Æo por máquinas. Além disso, os veículos autônomos devem ser capazes de mitigar os perigos existentes nos sistemas de transporte rodoviário, sem criar novos riscos. Assim, é importante a pesquisa de como garantir a seguran‡a crítica (safety) nesse novo cenário. Frente a isso, este trabalho, resultado de uma disserta‡Æo de mestrado, expäe uma proposta que visa facilitar o desenvolvimento e a análise dessa nova classe de veículos.

---

Molina, Caroline Bianca Santos Tancredi
Possui gradua‡Æo em Ciência e Tecnologia pela Universidade Federal de SÆo Paulo (UNIFESP) e mestrado em Engenharia Elétrica com ênfase em Engenharia de Computa‡Æo pela Escola Politécnica da Universidade de SÆo Paulo (Poli-USP).

---