Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

Coordenação de Pós-Graduação em Ciência da

Computação

Tema para Pré-Projeto de Mestrado

Linha de pesquisa: Engenharia de Software e Linguagens de Programação

Título Segurança Veicular*

Proponente: Jaelson Castro (jbc@cin.ufpe.br)

*** O (A) candidato(a) deve dedicar-se exclusivamente (tempo integral) ao programa

de pós-graduação.****

Descrição:

Veículo Autônomo toma decisões de direção sem a intervenção de um ser humano [8], exemplos
incluem carroa, ônibus, caminhões, aeronaves, etc. O veículo autônomo consiste na orquestração de
componentes de hardware com implementações de sistemas complexos, várias redes internas conectando
os nós, sensores inteligentes com unidades de controle eletrônico, atuadores e muitas mensagens, que são
trocadas em milissegundos [12, 13].
Os veículos autônomos possuem precisam lidar com vários requisitos simultaneamente. Por
exemplo, eles necessitam cumprir as leis (federais, estaduais e municipais) por onde os veículos transitam,
bem atenderem diversos outros requisitos (serem eficientes, fáceis de usar, confortáveis, etc).
Sua operação é bastante dinâmica e seu comportamento precisa ser ajustado dinamicamente. No
caso o veiculo sair de uma jurisdição (país, estado, município), vários novos requisitos podem ser
relevantes, tais como novos limites de velocidade, diferentes sinalizações de trânsito, novas distâncias
permitidas entre veículos, limites emissões, entres outros. Vale salientar, que devido a complexidade do
veículos autônomos, há necessidade dele estabelecer conexões com diversos tipos de redes (externas,
sem-fio, IOT (internet-das-coisas), etc o que abre portas para hackers e ataques maliciosos. Nesse sentindo,
um acesso não autorizado ao veículo (uma violação de segurança do tipo security) poderá levar a
acidentes (violações de segurança do tipo safety) [6].
Logo, a crescente complexidade das funções de condução automatizada torna difícil definir todos
os requisitos em detalhes, formular a meta de desenvolvimento de forma mais do que abstrata, bem como
estimar o esforço de desenvolvimento [15].
É bem conhecido que práticas inadequadas de Engenharia de Requisitos podem resultar em
requisitos incompletos e especificação incorretas, alta complexidade e perdas econômicas ou humanas.
Dessa forma, é necessário investigar como o Engenharia de Requisitos está sendo adaptado para lidar com
veículo autônomo para evitar requisitos inadequados ou mal compreendidos. Apesar dos esforços e avanços
na Engenharia de Requisitos Veículos Autônomos, problemas associados a requisitos inadequados
continuam ocorrendo.
Alguns estudos fornecem insights sobre o estado da prática da Engenharia de Requisitos Veículos
Autônomos [4, 5, 14, 15]. No entanto, até onde sabemos, não há uma tentativa sistemática de realizar uma
identificação extensiva em todas as etapas da engenharia de requisitos, mapeamento entre requisitos
funcionais e não funcionais e restrições de abordagem de requisitos para veículo autônomo. Também, se
 Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
faz necessário aprimorar as técnicas de análise de cyber-security e de safety no processo de colisão ou
outra situação, bem como garantir rastreabilidade de requisitos e rápida recuperação de informações sobre
os requisitos [7, 9].
Como os veículos autônomos são recentes, vários desafios e dúvidas tem motivado pesquisas
relacionadas à melhoria do processo de engenharia de requisitos, no que diz respeito à security e safety [1,
2, 3, 6]. Percebe-se que os processos de safety e security são semelhantes. Desta forma, eles poderiam ser
colocados lado a lado para serem realizados em conjunto por seus especialistas (engenheiros de safety e
engenheiros de security) [6].
Em trabalhos prévios estudamos o estado atual da ER para veículos autônomos [10, 11]. Neste
projeto de pesquisa pretendemos investigar como as técnicas de security e safety vêm sendo usadas na
Engenharia de Requisitos e propor uma abordagem que servirá de modelo de Engenharia de Requisitos
relacionado a safety e security tanto para veículos convencionais como Engenharia de Requisitos veículos
autônomos.

Referências Bibliográficas:

1. Avizienis, A., Laprie, J.-C., Randell, B., & Landwehr, C. Basic concepts and taxonomy of
dependable and secure computing. In 2004 IEEE Transactions on Dependable and Secure
Computing, 1(1), 11–33, 2004.
2. Burton, S., Likkei, J., Vembar, P., & Wolf, M. Automotive functional safety = safety+ security. In
Proceedings of the First International Conference on Security of Internet of Things, 150–159, 2012.
3. Czerny, B. J. System security and system safety engineering: Differences and similarities and a
system security engineering process based on the ISO 26262 process framework. SAE International
Journal of Passenger Cars-Electronic and Electrical Systems, 6(2013-01–1419), 349–359, 2013.
4. Daun, M., Stenkova, V., Krajinski, L., Brings, J., Bandyszak, T., & Weyer, T. Goal modeling for
collaborative groups of cyber-physical systems with GRL: reflections on applicability and
limitations based on two studies conducted in industry. In Proceedings of the 34th ACM/SIGAPP
Symposium on Applied Computing, 1600–1609, 2019.
5. Emmerich, O., Wang, H., Garcia, G., Pezzulla, I., Darlington, A., & Gao, B. A Systems
Engineering Framework and Application to an Open Automated Driving Platform. In 46th Annual
Conference of the IEEE Industrial Electronics Society (IECON 2020), 2393–2398, 2020.
6. Glas, B., Gebauer, C., Hänger, J., Heyl, A., Klarmann, J., Kriso, S., Vembar, P., & Wörz, P.
Automotive safety and security integration challenges. In Automotive-Safety & Security, 2015.
7. Japs, S. Security & Safety by Model-based Requirements Engineering. In 2020 IEEE 28th
International Requirements Engineering Conference (RE), 422–427, 2020.
8. Ozguner, U., Stiller, C., & Redmill, K. (2007). Systems for safety and autonomous behavior in
cars: The DARPA Grand Challenge experience. Proceedings of the IEEE, 95(2), 397-412.
9. Ramesh, S., Vogel-Heuser, B., Chang, W., Roy, D., Zhang, L., & Chakraborty, S. Specification,
verification and design of evolving automotive software. In Proceedings of the 54th Annual Design
Automation Conference 2017, 1–6, 2017.
10. Ribeiro, Q. A. D. S.; Ribeiro, M., & Castro, J. (2022, April). Requirements engineering for
autonomous vehicles: a systematic literature review. In Proceedings of the 37th ACM/SIGAPP
Symposium on Applied Computing (pp. 1299-1308).
11. Ribeiro, Q. A. D. S.; Castro, Jaelson. Safety & Security Alignment in Requirements Engineering
Process for Autonomous Vehicles (to appear). In: 25th Workshop on Requirements Engineering
(WER 2022) - Master and Doctoral Track (WER-MDT)., 2022, Natal. Anais do WER22 -
Workshop em Engenharia de Requisitos. Rio de Janeiro: Editora PUC-Rio, 2022. p. 1-10.
12. Rinaldo, R. C., & Horeis, T. F. (2020, December). A Hybrid Model for Safety and Security
Assessment of Autonomous Vehicles. In Computer Science in Cars Symposium (pp. 1-10).
 Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
13. Schmittner, C., Ma, Z., Schoitsch, E., & Gruber, T. (2015, April). A case study of fmvea and chassis
as safety and security co-analysis method for automotive cyber-physical systems. In Proceedings
of the 1st ACM Workshop on Cyber-Physical System Security (pp. 69-80).
14. Semmak, F., Gnaho, C., Brunet, J., & Laleau, R. How to Adapt the KAOS Method to the
Requirements Engineering of Cycab Vehicle. In ENASE, 87–94, 2009.
15. Sippl, C., Bock, F., Lauer, C., Heinz, A., Neumayer, T., & German, R. (2019, April). Scenario-
based systems engineering: An approach towards automated driving function development.
In 2019 IEEE International Systems Conference (SysCon) (pp. 1-8). IEEE.