|
|
|
|
|
Meeting Hosts |
Elias Duarte, Federal University of Parana, BR Andrey Brito, Federal University of Campina Grande, BR Lelio Di Martino, Nokia Bell Labs, BR |
Program-at-a-Glance and Contents
Workshop
Dependability Challenges for Future Mission Critical Systems
|
Workshop |
Elias Duarte, Federal University of Parana, BR Andrey Brito, Federal University of Campina Grande, BR Lelio Di Martino, Nokia Bell Labs, BR |
Session 1 - An industry overview on mission-critical challenges
|
Connected and inteligent mission critical applications for pit-to-port operations Mario Azevedo, Vale, BR |
|
|
Mission critical at Petrobras - Challenges and solutions Maximilliam Nunes Starling Vieira, Petrobras, BR |
|
|
Going Beyond Connectivity: architecture for Enterprise use cases Marcio Veronesi, Nokia, BR |
|
|
Industrial policy challenges for critical systems of the future Valdenio Araujo, ABDI, BR |
|
Session 2 - Industry roadmap for mission-critical use cases
|
The mine of the future: vision, use cases and technology roadmap Luccas Britto, Bruno Jesus, Vale, BR |
|
|
Critical and non-critical AI applications: the need for interpretability issues Giovanni Moura de Holanda, Fitec, BR |
|
|
Strategic partnership for innovation: 5G Lab, Let5Go and Critical Tech initiatives Irineu Mario Colombo, Jose Alberto Pereira dos Santos, Parquetec Itaipu, BR |
|
|
What can academia do for industry and what can industry do for academia do accelerate research in
mission-critical systems? What is still missing in current mission-critical systems? Mario Azevedo (Vale, BR), Maximillian Vieira (Petrobras, BR), Marcio Veronesi (Nokia, BR), Luccas Britto (Vale, BR), Bruno Alves Romero (Jacto, BR), Jose Alberto Pereira dos Santos (Parquetec Itaipu, BR), |
Session 4 - Bridging the gap between industry and academia:
An overview of the BRian EMBRAPII innovation ecosystem
|
An overview of the BRian EMBRAPII innovation ecosystem Luis Gustavo Delmont, EMBRAPII, BR |  |
|
VIRTUS-CC: Intelligent Hardware for the Industry Danilo Santos, VIRTUS-UFCG, BR |
|
|
EMBRAPII CIMATEC Competence Center in Quantum Technologies Quantum Industrial Innovation -- QuIIN
Alexandre Baron Tacla, CIMATEC, BR |
|
|
CISSA: Integrated Center for Security in Advanced Systems Erico Souza Teixeira, CESAR, BR |
|
Session 5 - Securing mission-critical systems in a digital and post-quantum world
|
Quantum Cryptograph |
|
|
CESAR/CISSA initiatives in Post-Quantum Cibersecurity |
|
Session 6 - What is missing in mission-critical systems
|
Crafting ML Components in Safety-Critical Systems |
|
|
What's Missing from Computer-based System Safety? |
|
|
Safety-Critical Systems: Human Factors Are Back in Full Force |
|
Session 7 - Cybersecurity challenges and opportunities in critical systems
|
Confidential (Encoded) Processing - There is no safety without security |
|
|
Research Challenges at the Intersection of Cybersecurity and Safety |
|
|
Dependable software engineering: can we increase trust in our components? |
|
Session 8 - Provocative session
|
Why current state of the art fault-tolerant mechanisms would/would not work with AI-driven systems? |
|
Session 9 - Dependability challenges and opportunities in critical systems
|
Dependability in Latin America: A Brief History |
|
Session 10 - Summary and wrap-up of the session by the rapporteurs
|
Session 1 |
|
|
Session 2 |
|
|
Session 3 |
|
|
Session 4 |
|
|
Session 5 |
|
|
Session 6 |
|
| Session 7 Sonia Ben Mokhtar, LIRIS-CNRS, FR |
|
|
Intrusion-Tolerant Power Grid Infrastructure Amy Babay, University of Pittsburgh, US |
|
|
Locating Network Failures in Cloud Long Wang, Tsinghua University, CN |
|
|
Open Challenged in Decentralized (edge) AI Sonia Ben Mokhtar, LIRIS-CNRS, FR |
|
|
Dependable Software Defined In-Network Computing Elias P. Duarte Jr., Federal University of Parana, BR |
|
|
Secure Code Generation: Identifying and Remediating Vulnerabilities in AI-Generated Code Pietro Liguori, University of Naples, IT |
|
|
Exploiting diversity for improved adversarial robustness of ML-based NIDS Antonio Casimiro, University of Lisbon, PT |
|
|
Initial study towards anomaly-based detection of APTs attacks Andrea Ceccarelli, University of Florence, IT |
|
|
LionsOS: Fast - Secure - Adaptable Gernot Heiser, niversity of New South Wales, AU |
|
|
5G Private Networks In Actions - Use cases and challenges for future mission critical applications in agro Bruno Romero, Grupo Jacto, BR |
|
|
87th IFIP WG 10.4 Meeting - Business Meeting |
|