Antonio Vieira da Silva Neto

Prof. Dr. Antonio Vieira da Silva Neto

orcid

Research Focus & Metrics

Academic Career Length

12Years (2015-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
14 December 2022 in IEEE Access
Verified
Journal Article
Open access
ANAntonio Vieira da Silva Neto
Antonio Vieira da Silva Neto
JCJoão B. Camargo
João B. Camargo
JAJorge R. Almeida
Jorge R. Almeida
PCPaulo Sérgio Cugnasca
Paulo Sérgio Cugnasca
The objective of this research is to present the state of the art of the safety assurance of Artificial Intelligence (AI)-based systems and guidelines on future correlated work. For this purpose, a Systematic Literature Review comprising 5090 peer-reviewed references relating safety to AI has been carried out, with focus on a 329-reference subset in which the safety assurance of AI-based systems is directly conveyed. From 2016 onwards, the safety assurance of AI-based systems has experienced significant effervescence and leaned towards five main approaches: performing black-box testing, using safety envelopes, designing fail-safe AI, combining white-box analyses with explainable AI, and establishing a safety assurance process throughout systems’ lifecycles. Each of these approaches has been discussed in this paper, along with their features, pros and cons. Finally, guidelines for future research topics have also been presented. They result from an analysis based on both the cross-fertilization among the reviewed references and the authors’ experience with safety and AI. Among 15 research themes, these guidelines reinforce the need for deepening guidelines for the safety assurance of AI-based systems by, e.g., analyzing datasets from a safety perspective, designing explainable AI, setting and justifying AI hyperparameters, and assuring the safety of hardware-implemented AI-based systems.

6 December 2023 in Electronics
Verified
Journal Article
Open access
PDF file
ANAntonio Vieira da Silva Neto
Antonio Vieira da Silva Neto
HSHenrique L. Silva
Henrique L. Silva
JCJoão B. Camargo
João B. Camargo
JAJorge R. Almeida
Jorge R. Almeida
PCPaulo Sérgio Cugnasca
Paulo Sérgio Cugnasca
With the advancements in utilizing Artificial Intelligence (AI) in embedded safety-critical systems based on Field-Programmable Gate Arrays (FPGAs), assuring that these systems meet their safety requirements is of paramount importance for their revenue service. Based on this context, this paper has two main objectives. The first of them is to present the Safety ArtISt method, developed by the authors to guide the lifecycle of AI-based safety-critical systems, and emphasize its FPGA-oriented tasks and recommended practice towards safety assurance. The second one is to illustrate the application of Safety ArtISt with an FPGA-based braking control system for autonomous vehicles relying on explainable AI generated with High-Level Synthesis. The results indicate that Safety ArtISt played four main roles in the safety lifecycle of AI-based systems for FPGAs. Firstly, it provided guidance in identifying the safety-critical role of activities such as sensitivity analyses for numeric representation and FPGA dimensioning to achieve safety. Furthermore, it allowed building qualitative and quantitative safety arguments from analyses and physical experimentation with actual FPGAs. It also allowed the early detection of safety issues—thus reducing project costs—and, ultimately, it uncovered relevant challenges not discussed in detail when designing safety-critical, explainable AI for FPGAs.

30 December 2015 in Journal of Intelligent & Robotic Systems
Verified
Journal Article
Closed access
PDF file
DSDaniel Baraldi Sesso
Daniel Baraldi Sesso
LVLucio F. Vismari
Lucio F. Vismari
ANAntonio Vieira da Silva Neto
Antonio Vieira da Silva Neto
PCPaulo Sérgio Cugnasca
Paulo Sérgio Cugnasca
JCJoão B. Camargo
João B. Camargo