Program
SSIV - Program 2017 (June 26)
Session 1 | Chair: João Cunha | 8:30 - 10:00 | |
Welcome | |||
Keynote | Kimon Valavanis | Unmanned Aviation: Challenges in Design for Autonomy and Integration into the National Airspace | |
Paper 1 | Pranav Jetley, Sujit P B and Srikkanth Saripalli | Safe landing od fixed wing UAVs | |
Coffee Break | |||
Session 2 | Chair: Jean-Charles Fabre | 10:30 - 12:00 | |
Paper 2 | Caroline B. S. T. Molina, Jorge R. Almeida Jr., Rodrigo I, Rojas Gonzàlez, Lúcio F. Vismari, Jamil K. Naufal Jr. And João B. Camargo Jr. | Assuring Fully Autonomous Vehicles Safety by Design: the Autonomous Vehicle Control (AVC) Module Strategy | |
Paper 3 | Ayhan Mehmed, Wilfried Steiner and Sasikumar Punnekkat | Deterministic Ethernet: Addressing the Challenges of Asynchronous Sensing in Sensor Fusion Systems | |
Paper 4 | Wenbo Xu, Martin Wegner, Lars Wolf and Ruediger Kapitza | Byzantine Agreement Service for Cooperative Embedded Systems | |
Lunch | |||
Session 3 | Chair: Ayan Mehmed | 13:30 - 15:15 | |
Keynote | Mohamed Kaâniche | Automotive Embedded Systems Security: A Language Based Intrusion Detection Approach | |
Paper 5 | Matthieu Amy, Jean-Charles Fabre and Michael Lauer | Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems | |
Paper 6 | Madeline Cheah, Jeremy Bryans, Daniel Fowler and Siraj Shaikh | Threat Intelligence for Bluetooth-enabled Systems with Automotive Applications: An Empirical Study | |
Coffee Break | |||
Session 4 | Chair: Paulo Veríssimo | 15:45 - 17:00 | |
Panel | Kimon Valavanis, Mohamed Kaâniche, Marco Vieira | Challenges, current solutions and research directions regarding safety and security of intelligent vehicles | |
Closing |
Program_2018
SSIV - Program 2018 (June 25)
Session 1 | Keynote Speaker | 9:00 - 10:30 | |
Welcome | |||
Keynote | Philippe Quéré | Progress and possibilities of concrete links between functional safety and cybersecurity | |
Coffee Break | |||
Session 2 |
Security | 11:00- 12:30 | |
Paper 1 | Eugen Horatiu Gurban, Bogdan Groza and Pal-Stefan Murvay | Risk assessment and security countermeasures for vehicular instrument clusters | |
Paper 2 | Andrew Tomlinson, Jeremy Bryans, Siraj A. Shaikh and Harsha Kumara Kalutarage, | Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows | |
Paper 3 | Daniel Fowler, Jeremy Bryans, Siraj Shaikh and Paul Wooderson | Fuzz Testing for Automotive Cyber-security | |
Lunch | |||
Session 3 | Evaluation and testing | 14:00- 15:30 | |
Paper 4 | Vikas Agrawal, Marcel Frueh, Oliver Bringmann and Wolfgang Rosenstiel | Evaluating optical flow vectors through collision points of object trajectories in varying computer-generated snow intensities for autonomous vehicles | |
Paper 5 | Emilia Cioroaica, Thomas Kuhn and Thomas Bauer | Prototyping Automotive Smart Ecosystems | |
Paper 6 | Matheus Lopes Franco, Andre L. de Oliveira, Rosana T. V. Braga, Catherine Dezan, Jean-Philippe Diguet and Kalinka R. J. L. Branco | Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study | |
Coffee Break | |||
Session 4 | Functional safety | 16:00- 16:45 | |
Paper 7 | Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Amparore, Susanna Donatelli and Andrea Bondavalli | On the Safety of Automotive Systems Incorporating Machine Learning based Components - A position paper | |
Paper 8 | Kuen-Long Lu, Yung-Yuan Chen and Li-Ren Huang | FMEDA-based Fault Injection and data analysis in compliant with ISO-26262 | |
Session 5 | Joint panel SSIV & DSML | 17:00- 18:00 | |
Panel |
Panelists: Philippe Quéré (Renault), Nirmal R. Saxena (Nvidia), Johan Karlsson (Chalmers University)
Moderator: Doug Blough (Georgia Institute of Technology) |
How will we be able to trust self-driving cars? |
|
Closing |
Pictures - Keynote - Panel 01 - Panel 02 |
Programação
SBRC 2017 - WoCCES - Sessões Técnicas
Sexta-Feira, 19 de Maio de 2017
Internet das Coisas - Desafios e Oportunidades
Orlewilson Bentes Maia
SBRC 2017 - WoCCES - Sessões Técnicas
Sexta-Feira, 19 de Maio de 2017
ST-1
Dia: 19/05 - Sexta
Horário 10:30 - 12:10
- Igor Devulsky Prata - IME
- Andressa da Silva Siqueira - IME
- Paulo Fernado Ferreira Rosa - IME
- Anderson Fernandes Pereira Santos - IME
- Eduardo Aramizu - ICMC/USP
- Daniel Fernando Pigatto - UTFPR Curitiba
- Kalinka Regina Lucas Jaquie Castelo Branco - ICMC/USP
I-Jack: Sistema Vestível Inteligente para Coleta e Avaliação de Dados Fisiológicos
- Elpídio Holanda Júnior - UFAM
- Lucas Farias da Cruz - UFAM
- Vandermi João da Silva - UFAM
- Raimundo da Silva Barreto - UFAM
Implementação de um Comutador KeyFlow 10 Gbps para Redes Definidas por Software
- Matheus de Souza - INATEL
- Natal de Oliveira - INATEL
- Antônio M. Alberti - INATEL
- Moisés R N. Ribeiro - UFES
ST-2
Dia: 19/05 - Sexta
Horário 14:30 - 15:20
Estimativa de Posição 3D de Obstáculos para VANTs
- Rodolfo Barros Chiaramonte - ICMC/USP e UNIVEM
- Kalinka Regina Lucas Jaquie Castelo Branco - ICMC/USP
Concepção de uma Plataforma de VANT de Baixo Custo do Tipo Quadricóptero para Uso em Pesquisas
- Ricardo M. Bernadro - IFES e IME
- Luis C. B. da Silva - CEFET e IME
- Paulo F. F. Rosa - IME
ST-3
Dia: 19/05 - Sexta
Horário 16:30 - 16:50
- Guilherme David Branco - UNB
- Samuel Vinicius Vieira Pala - UNB
- Jacir Luiz Bordim - UNB
Uso de Rede MQTT para Manipulação de Sistemas Robóticos Suportados por Realidade Virtual
- Leandro R. Mattioli - UFU
- Daniel S. Souza - UFU
- Márcio J. Cunha - UFU
- Alexandre Cardoso - UFU
Publications
Accepted for publication
GURGEL, P. H. M. ; BARBOSA, E. F. ; BRANCO, L.H. C. BRANCO, K. C. . Development of a practical computer network course through Netkit virtualization tool. In: 2013 International Conference on Computational Science, accepted as a short.
GURGEL, P. H. M.; BRANCO, K. R. L. J. C; BRANCO, L. H. C.; BARBOSA, E. F.; TEIXEIRA, M. A. M.; REDES DE COMPUTADORES – DA TEORIA À PRÁTICA COM NETKIT (Nome provisório), Livro aprovado para publicação pela editora Campus/El Sevier.
SILVA, Natássya B. F.; BRANCO, Kalinka R. L. J. C. "A new concept of VTOL as fixed-wing". ICUAS'13 - The 2013 International Conference on Unmanned Aircraft Systems. (Aceito para publicação)
Journals & Magazines
SCHOABA, V. ; SIKANSI, F. E. G. ; PIGATTO, D. F. ; BRANCO, K. R. L. J. C. ; BRANCO, L. C. . Digital Signature for Mobile Devices: A New Implementation and Evaluation. International Journal of Future Generation Communication and Networking, v. 4, p. 23-36, 2011.
RODRIGUES, D. ; ESTRELLA, J. C. ; BRANCO, K. R. L. J. C. . Analysis of Security and Performance Aspects in Service-Oriented Architectures. International Journal of Security and Its Applications, v. 5, p. 13-30, 2011.
RODRIGUES, D. ; PIRES, R. M. ; ESTRELLA, J. C. ; VIEIRA, M. ; CORREA, M. ; CAMARGO JUNIOR, J. B. ; BRANCO, K. R. L. J. C. ; TRINDADE JR., O. . Application of SOA in Safety-Critical Embedded Systems. Communications in Computer and Information Science (Print), v. 206, p. 345-354, 2011.
PIGATTO, D. F. ; SILVA, N. B. F. ; BRANCO, K. R. L. J. C. . Performance Evaluation and Comparison of Algorithms for Elliptic Curve Cryptography with El-Gamal based on MIRACL and RELIC Libraries. Journal of Applied Computing Research, v. 1, p. 95-103, 2011.
Book chapters
RODRIGUES, D. ; ESTRELLA, J. C. ; MONACO, F. J. ; BRANCO, K. R. L. J. C. ; ANTUNES, N. ; VIEIRA, M. . Engineering Secure Web Services. Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. Hershey: IGI Global, 2012, v. , p. 360-380.
RODRIGUES, D. ; ESTRELLA, J. C. ; BRANCO, K. R. L. J. C. . Segurança Computacional no Desenvolvimento de Web Services. VII Escola Regional de Informática - São Paulo/Oeste 2010. Bauru: SBC, 2010, v. , p. 59-82.
Complete papers published in conference proceedings
GURGEL, P. H. M. ; BARBOSA, E. F. ; BRANCO, K. C. . A ferramenta Netkit e a virtualização aplicada ao ensino e aprendizagem de redes de computadores. In: XXXII Congresso da Sociedade Brasileira de Computação, 2012, Curitiba. Anais do XXXII Congresso da Sociedade Brasileira de Computação, 2012.
SALLA, G. C. ; SARTIN, A. M. ; PIGATTO, D. F. ; BRANCO, K. R. L. J. C. . Performance Evaluation of Security Communication in Critical Embedded Systems. In: CBSEC (Brazilian Conference on Critical Embedded Systems), 2012, Campinas, SP. II Brazilian Conference on Critical Embedded Systems, 2012. v. 1. p. 54-57.
PIGATTO, D. F. ; SILVA, N. B. F. ; SIKANSI, F. E. G. ; BRANCO, K. R. L. J. C. . Aplicação de Criptografia e Assinatura Digital para Prover Comunicação Segura em Veículos Terrestres Não Tripulados. In: II Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2011), 2011, São José dos Campos. II Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2011), 2011. v. 1. p. 1-4.
PIGATTO, D. F. ; SILVA, N. B. F. ; BRANCO, K. R. L. J. C. . Avaliação e Comparação de Desempenho entre Algoritmos de Criptografia de Curva Elíptica com El-Gamal baseados nas Bibliotecas MIRACL e RELIC. In: Escola Regional de Redes de Computadores (ERRC), 2011, São Leopoldo, RS. Escola Regional de Redes de Computadores (ERRC). Porto Alegre, RS: Sociedade Brasileira de Computação - SBC, 2011. v. 9. p. 113-116.
PIRES, R. M. ; RODRIGUES, D. ; BRANCO, K. R. L. J. C. ; TRINDADE JR., O. . MOSA - Mission Oriented Sensor Array: A Proposal. In: XXXVII Conferencia Latinoamericana de Informática - CLEI, 2011, Quito, Ecuador. Proceedings of the XXXVII Conferencia Latinoamericana de Informática - CLEI, 2011. p. 1309-1318.
RODRIGUES, D. ; PIRES, R. M. ; ESTRELLA, J. C. ; MARCONATO, E. A. ; TRINDADE JR., O. ; BRANCO, K. R. L. J. C. . Using SOA in Critical-Embedded Systems. In: 2011 IEEE International Conferences on Internet of Things and Cyber, Physical and Social Computing - iThings/CPSCom, 2011, Dalian, China. Proceedings of the 2011 IEEE International Conferences on Internet of Things and Cyber, Physical and Social Computing - iThings/CPSCom, 2011. p. 733-738.
RODRIGUES, D. ; ESTRELLA, J. C. ; BRANCO, K. R. L. J. C. . Avaliação de Desempenho de Algoritmos Criptográficos em Web Services Utilizando WS-Security. In: XVII Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia, 2011, Florianópolis, SC, Brasil. Anais do XVII Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia, 2011. p. 182-189.
RODRIGUES, D. ; PIGATTO, D. F. ; ESTRELLA, J. C. ; BRANCO, K. R. L. J. C. . Performance Evaluation of Security Techniques in Web Services. In: The 13th International Conference on Information Integration and Web-based Applications and Services - iiWAS, 2011, Ho Chi Minh City, Vietnam. Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services - iiWAS, 2011. p. 270-277.
RODRIGUES, D. ; ESTRELLA, J. C. ; BRANCO, K. R. L. J. C. . Security vs. Performance in SOA Environment. In: International Conference on Convergence and Hybrid Information Technology - ICHIT, 2010, Daejeon, Korea. Proceedings of the International Conference on Convergence and Hybrid Information Technology - ICHIT, 2010. p. 1-7.
SCHOABA, V. ; SIKANSI, F. E. G. ; PIGATTO, D. F. ; BRANCO, K. R. L. J. C. ; BRANCO, L. C. . DISIMOD Digital Signature for Mobile Devices. In: International Conference on Convergence and Hybrid Information Technology (ICHIT 2010), 2010, Daejeon. International Conference on Convergence and Hybrid Information Technology, 2010. v. 1. p. 1-8.
Short papers published in conference proceedings
ROMEIRO, R. F. ; PIGATTO, D. F. ; GURGEL, P. H. M. ; BRANCO, K. R. L. J. C. . Análise de ferramentas de ataques a redes ad-hoc sem fio no contexto de sistemas embarcados críticos. In: 20º Simpósio Internacional de Iniciação Científica (SIICUSP), 2012, São Paulo, SP. 20º Simpósio Internacional de Iniciação Científica (SIICUSP), 2012. v. 20. p. 1-3.
SARTIN, A. M. ; SALLA, G. C. ; PIGATTO, D. F. ; BRANCO, K. R. L. J. C. . Avaliação de desempenho do algoritmo AES com diferentes tamanhos de chave em plataforma de experimentações embarcada com variação de distância entre os nodos da comunicação. In: 20º Simpósio Internacional de Iniciação Científica (SIICUSP), 2012, São Paulo, SP. 20º Simpósio Internacional de Iniciação Científica (SIICUSP), 2012. v. 20. p. 1-3.
SALLA, G. C. ; SARTIN, A. M. ; PIGATTO, D. F. ; BRANCO, K. R. L. J. C. . Avaliação de desempenho dos algoritmos DES e 3DES em plataforma de experimentações embarcada com variação de distância entre os nodos da comunicação. In: 20º Simpósio Internacional de Iniciação Científica (SIICUSP), 2012, São Paulo, SP. 20º Simpósio Internacional de Iniciação Científica (SIICUSP), 2012. v. 20. p. 1-3.
ROMEIRO, R. F. ; PIGATTO, D. F. ; BRANCO, K. R. L. J. C. . Análise de ferramentas de ataques a redes ad-hoc sem fio no contexto de sistemas embarcados críticos. In: VI Workshop de Iniciação Científica da Universidade de São Paulo, 2012, São Carlos. VI Workshop de Iniciação Científica da Universidade de São Paulo, 2012.
SILVA, N. B. F. ; BRANCO, K. R. L. J. C. ; PIGATTO, D. F. . Implementações de Criptografia Utilizando Curvas Elípticas. In: XIX Congresso de Iniciação Científica da UFSCar (Universidade Federal de São Carlos), 2011, São Carlos, SP. XIX Congresso de Iniciação Científica da UFSCar, 2011. v. 7. p. 1-1.
SIKANSI, F. E. G. ; PIGATTO, D. F. ; BRANCO, K. R. L. J. C. . Aplicação de Criptografia e Assinatura Digital para Comunicação Segura em Veículos Terrestres Não Tripulados (VTNTs). In: V Workshop de Iniciação Científica e Tecnológica de Computação, 2011, São Carlos, SP. V Workshop de Iniciação Científica e Tecnológica de Computação, 2011. v. 1. p. 1-4.
SILVA, N. B. F. ; BRANCO, K. R. L. J. C. ; PIGATTO, D. F. . Comparação entre Implementações de Criptografia de Curva Elíptica baseada no método de El-Gamal com as Bibliotecas MIRACL e RELIC. In: 19º Simpósio Internacional de Iniciação Científica (SIICUSP), 2011, São Carlos, SP. 19º Simpósio Internacional de Iniciação Científica (SIICUSP), 2011. v. 19. p. 1-1.
RODRIGUES, D. ; ESTRELLA, J. C. ; VIEIRA, M. ; CORREA, M. ; CAMARGO JUNIOR, J. B. ; BRANCO, K. R. L. J. C. ; TRINDADE JR., O. . Service-Oriented Architectures for Complex Safety-Critical Embedded Systems: A Case Study on UAVs. In: I Brazilian Conference on Critical Embedded Systems - CBSEC, 2011, São Carlos, SP, Brasil. Proceedings of the I Brazilian Conference on Critical Embedded Systems - CBSEC, 2011. p. 130-130.
RODRIGUES, D. ; PIGATTO, D. F. ; ESTRELLA, J. C. ; BRANCO, K. R. L. J. C. . Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services. In: 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - HASE, 2011, Boca Raton, FL, USA. Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - HASE, 2011. p. 191-192.