Skip to main content

Showing 1–3 of 3 results for author: Zacchi, J

Searching in archive cs. Search in all archives.
.
  1. arXiv:2504.11243  [pdf, other

    cs.AI cs.CL cs.LG

    Towards Automated Safety Requirements Derivation Using Agent-based RAG

    Authors: Balahari Vignesh Balu, Florian Geissler, Francesco Carella, Joao-Vitor Zacchi, Josef Jiru, Nuria Mata, Reinhard Stolle

    Abstract: We study the automated derivation of safety requirements in a self-driving vehicle use case, leveraging LLMs in combination with agent-based retrieval-augmented generation. Conventional approaches that utilise pre-trained LLMs to assist in safety analyses typically lack domain-specific knowledge. Existing RAG approaches address this issue, yet their performance deteriorates when handling complex q… ▽ More

    Submitted 15 April, 2025; originally announced April 2025.

    Comments: 9 pages, 3 figures

    Journal ref: Proceedings of the AAAI-make Spring Symposium, 2025

  2. arXiv:2502.20507  [pdf, other

    cs.SE eess.SY

    APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems

    Authors: João-Vitor Zacchi, Edoardo Clementi, Núria Mata

    Abstract: Automated driving technologies promise substantial improvements in transportation safety, efficiency, and accessibility. However, ensuring the reliability and safety of Autonomous Vehicles in complex, real-world environments remains a significant challenge, particularly during the early stages of software development. Existing software development environments and simulation platforms often either… ▽ More

    Submitted 27 February, 2025; originally announced February 2025.

  3. Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products

    Authors: J. Kelly, S. Zafar, L. Heidemann, J. Zacchi, D. Espinoza, N. Mata

    Abstract: In December 2023, the European Parliament provisionally agreed on the EU AI Act. This unprecedented regulatory framework for AI systems lays out guidelines to ensure the safety, legality, and trustworthiness of AI products. This paper presents a methodology for interpreting the EU AI Act requirements for high-risk AI systems by leveraging product quality models. We first propose an extended produc… ▽ More

    Submitted 26 March, 2024; v1 submitted 25 March, 2024; originally announced March 2024.

    Comments: To be published in: 2024 IEEE Conference on Artificial Intelligence (CAI 2024)