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?

Douglas Blough 

- Johan Karlsson 

- Nirmal Saxena 

- Philippe Quéré

 
Closing  

 Pictures

- Keynote

- Panel 01

- Panel 02

 

NetkitG3

NetkitG3 Page

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

Metodologia para Localização de Ativos por Algoritmos de Fusão de Sensores para Rastreamento Autônomo

  • Igor Devulsky Prata - IME
  • Andressa da Silva Siqueira - IME
  • Paulo Fernado Ferreira Rosa - IME
  • Anderson Fernandes Pereira Santos - IME

Reducing energy consumption on internal communications of unmanned vehicles with HAMSTER's Navigation Phases

  • 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

PhysicalWeb: Avaliação de Técnicas de Estimativa de Localização de Dispositivos BLE em Ambientes Internos

  • 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.