PROVE-RT: Framework LLM per la Generazione di Script di Dimostratori Meccanizzati in Sistemi Real-Time
Un nuovo framework chiamato PROVE-RT sfrutta i grandi modelli linguistici (LLM) per generare script di dimostratori meccanizzati per l'analisi di schedulabilità in sistemi real-time. Il lavoro affronta la sfida di costruire manualmente dimostrazioni in PROSA/ROCQ, che richiede una significativa competenza di dominio. PROVE-RT guida la generazione LLM attraverso schizzi informali sensibili alle dipendenze e il recupero dalla documentazione PROSA elaborata, con l'obiettivo di automatizzare la creazione di script PROSA/ROCQ. L'articolo è disponibile su arXiv con identificatore 2608.12762.
Fatti principali
- PROVE-RT è un framework assistito da LLM per la generazione di script PROSA/ROCQ.
- Si rivolge alla verifica meccanizzata delle analisi di schedulabilità in sistemi real-time.
- Il framework utilizza schizzi informali sensibili alle dipendenze e il recupero dalla documentazione PROSA elaborata.
- I LLM all'avanguardia spesso mancano di conoscenze specifiche su PROSA.
- L'articolo è pubblicato su arXiv con identificatore 2608.12762.
- Il lavoro mira a ridurre lo sforzo richiesto per l'ingegneria delle dimostrazioni nella certificazione di sistemi real-time.
Entità
Istituzioni
- arXiv