Program
| Monday (Nov 22) | Tuesday (Nov 23) | Wednesday (Nov 24) | Thursday (Nov 25) | ||
| 08:30 – 09:00 | Opening Ceremony | ||||
| 09:00 – 09:30 | Industry Track | Main Track | Main Track | WSENSING | |
| 09:30 – 10:00 | |||||
| 10:00 – 10:30 | |||||
| 10:30 – 11:00 | Break | Break | Break | Break | |
| 11:00 – 11:30 | Painel: Mulheres Inspiradoras | K1 | K3 | K5 | |
| 11:30 – 12:00 | |||||
| 12:00 – 12:30 | Break | Break | Break | ||
| 12:30 – 13:00 | Break | ||||
| 13:00 – 13:30 | |||||
| 13:30 – 14:00 | Tutorial | STAMP | WAFERS | SAFELIFE | |
| 14:00 – 14:30 | |||||
| 14:30 – 15:00 | |||||
| 15:00 – 15:30 | Break | Break | Break | Break | |
| 15:30 – 16:00 | Tutorial | STAMP | K4 | Best Paper Awards | |
| 16:00 – 16:30 | LADC PC Meeting | ||||
| 16:30 – 17:00 | WAFERS | ||||
| 17:00 – 17:30 | Fast Abstracts | K2 | |||
| 17:30 – 18:00 | Closing Ceremony | ||||
| 18:00 – 18:30 | AGO CE-ESC + SBESC PC Meeting |
||||
| 18:30 – 19:00 | |||||
| 19:00 – 19:30 | |||||
| 19:30 – 20:00 |
| Mattermost | Videoconference | YouTube |
| Monday (Nov 22) | |||
| 09:00 – 10:30 | Industry Track | ||
| Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study | |||
| Lucas Cordeiro | |||
| On the use of ontology-based integration architecture in Cemadens Natural Disaster Observational Network | |||
| André Ivo, Sheila Granato, Fatima Mattiello-Francisco, Rogério Ishibashi | |||
| A MDE Tool for Security Risk Assessment of Enterprises | |||
| Enrico Schiavone, Nicola Nostro, Francesco Brancati | |||
| 10:30 – 11:00 | Break | ||
| 11:00 – 12:30 | Painel: Mulheres Inspiradoras: Trajetórias de Sucesso | ||
| Caroline Concatto (Software Engineer at Arm-UK), Emilena Specht (Systems Engineer at MDA-Canada), Fabíola Greve (Professora Associada na UFBA), Flávia Maristela Santos Nascimento (Professora na IFBA) | |||
| 12:30 – 13:30 | Break | ||
| 13:30 – 15:00 | Tutorial: Self-healing Distributed Algorithms | ||
| Dr. Amitabh Trehan (Durham University) | |||
| 15:00 – 15:30 | Break | ||
| 15:30 – 17:00 | Tutorial: Self-healing Distributed Algorithms | ||
| Dr. Amitabh Trehan (Durham University) | |||
| 17:00 – 18:00 | Fast Abstracts | ||
| Static Analysis Tools Applied to Smart Contracts | |||
| Mirko Staderini, Andras Pataricza, Andrea Bondavalli | |||
| Reliable Traffic Sign Recognition System | |||
| Muhammad Atif, Andrea Ceccarelli, Andrea Bondavalli | |||
| Tuesday (Nov 23) | |||
| 08:30 – 09:00 | Opening Ceremony | ||
| 09:00 – 10:30 | Main Track | ||
| Chair: Odorico Mendizabal | |||
| On the Performance of Using Parallel State Machine Replication to Implement Blockchains | |||
| Aldenio Burgos, Eduardo Alchieri, Fernando Dotti | |||
| Characterizing and Injecting Faults in Executable Models Specified with fUML | |||
| Guilherme Wilson dos Santos Lopes, Leonardo Montecchi | |||
| Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees | |||
| Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher | |||
| 10:30 – 11:00 | Break | ||
| 11:00 – 12:00 | K1: The Convergence of Safety and Security in Connected and Automated Vehicles | ||
|
Sebastian Fischmeister (University of Waterloo) Chair: Timo Hönig |
|||
| 12:00 – 13:30 | Break | ||
| 13:30 – 15:00 | STAMP | ||
| Chair: Celso Hirata | |||
| CAST Applied to Covid-19 Pandemic in Brazil | |||
| Evandro Bortoloto, Talitha Oliveira, Carlos Lahoz, Fernando Abrahão | |||
| Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns | |||
| Braulio Horta, Juliana Bezerra, Celso Hirata | |||
| A Systemic Approach to Aircraft System Supportability | |||
| Carina Silva, Claudio Filho, Alexandre Pinto | |||
| 15:00 – 15:30 | Break | ||
| 15:30 – 17:00 | STAMP | ||
| Chair: Carlos Lahoz | |||
| Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach | |||
| Antonio Merladet, Rodrigo Silveira, Sergio Fugivara, Carlos Lahoz | |||
| Cybersecurity in Aviation: the STPA-Sec Technique Applied to the Security of the TCAS. | |||
| Mayara Salgado, Marcelo Sousa | |||
| 17:00 – 18:00 | K2: IoT and WSN for Health and Home Management | ||
|
Subhas Chandra Mukhopadhyay (Macquarie University) Chair: Yu Liu |
|||
| Wednesday (Nov 24) | |||
| 09:00 – 10:30 | Main Track | ||
| Chair: Rogério de Lemos | |||
| Fault injection platform for affordable verification and validation of CubeSats software | |||
| David Paiva, José Marcelo, Raffael Lima, Manoel Carvalho, Fatima Mattiello-Francisco, Henrique Madeira | |||
| Revocation Mechanisms for Blockchain Applications: A Review | |||
| Fernando Vidal, Naghmeh Ivaki, Nuno Laranjeiro | |||
| An Algorithm-Based Fault Tolerance Strategy for the Bitonic Sort Parallel Algorithm | |||
| Edson Tavares de Camargo, Elias Duarte Jr. | |||
| Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors | |||
| Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli | |||
| 10:30 – 11:00 | Break / ESC Demos | ||
| 11:00 – 12:00 | K3: Fail-Stop Execution in Hostile Environments | ||
|
Christof Fetzer (TU Dresden) Chair: Andrey Brito |
|||
| 12:00 – 13:30 | Break | ||
| 13:30 – 15:00 | WAFERS | ||
| Chair: Tommaso Zoppi | |||
| Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles | |||
| Kovács László, Oszkár Semeráth | |||
| Towards Testing the UML PSSM Test Suite | |||
| Márton Elekes, Zoltán Micskei | |||
| Impact Assessment of IT Security Breaches in Cyber-Physical Systems | |||
| András Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, Andras Pataricza | |||
| Demonstrator for dependable edge-basedcyber-physical systems | |||
| Simon Nagy, Richárd Szabó, Máté Vajda, András Vörös | |||
| 15:00 – 15:30 | Break / ESC Demos | ||
| 15:30 – 16:30 | K4: Energy Efficient Distributed Embedded Systems | ||
|
Jan Haase (University of Luebeck) Chair: Leandro Becker |
|||
| 16:30 – 18:00 | WAFERS | ||
| Chair: Edson Tavares de Camargo | |||
| Bitvector Support in the Theta Formal Verification Framework | |||
| Mihály Dobos-Kovács, Akos Hajdu, András Vörös | |||
| V-Model Adaptation for Space Systems in Light of the ECSS Standard | |||
| Regina Moraes, Tania Basso, Eliane Martins | |||
| Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View | |||
| Danilo Almeida, Bence Graics, Ronan Chagas, Fabiano Luis de Sousa, Fatima Mattiello-Francisco | |||
| Towards a Robustness Assessment Methodology for IoT Systems | |||
| Bruno Jesus, Glauber Leite, Nuno Antunes | |||
| 18:00 – 20:00 | AGO CE-ESC + SBESC PC Meeting | ||
| Thursday (Nov 25) | |||
| 09:00 – 10:30 | WSENSING | ||
| Chair: Aldri Luiz dos Santos and Luiz Antonio Rodrigues | |||
| A Down-to-Earth Scheduling Strategy for Dense SINR Wireless Networks | |||
| Fábio Engel, Elias Duarte Jr. | |||
| Classification of Denial of Service Attacks on Wi-Fi-based Unmanned Aerial Vehicle | |||
| Gustavo de Carvalho Bertoli, Lourenco Pereira Jr, Osamu Saotome | |||
| Calibration of BLE beacons and its impact on distance estimation using the log-distance path loss model | |||
| Leonardo Vanzin, Marcio Oyamada | |||
| A Proposal of a Dynamic Routing Multicast Protocol for Visible Light Communication Networks | |||
| Frederico Sales, Edelberto Silva, Alex Vieira, Marcos Vieira, Luiz Filipe Vieira | |||
| 10:30 – 11:00 | Break / ESC Demos | ||
| 11:00 – 12:00 | K5:Why Do We Need a New Accident Causality Model? | ||
|
Nancy Leveson Chair: Carlos Lahoz |
|||
| 12:00 – 13:30 | Break | ||
| 13:30 – 15:00 | SAFELIFE | ||
| Chair: Frederico Cerveira | |||
| Techniques for Evaluating the Robustness of Deep Learning Systems: A Preliminary Review | |||
| Horacio França, César Teixeira, Nuno Laranjeiro | |||
| On Building a Vulnerability Dataset with Static Information from the Source Code | |||
| José D'Abruzzo Pereira, João Henggeler Antunes, Marco Vieira | |||
| Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes | |||
| Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Riviere | |||
| 15:00 – 15:30 | Break / ESC Demos | ||
| 15:30 – 16:00 | Best Paper Awards | ||
| 16:00 – 17:00 | LADC PC Meeting | ||
| 17:00 – 17:30 | |||
| 17:30 – 18:00 | Closing Ceremony | ||