{"id":13590,"date":"2025-10-16T11:34:16","date_gmt":"2025-10-16T09:34:16","guid":{"rendered":"https:\/\/www.ibisc.univ-evry.fr\/?page_id=13590"},"modified":"2025-10-16T11:51:30","modified_gmt":"2025-10-16T09:51:30","slug":"advance-2025-technical-session-1-full-papers-fp1-3","status":"publish","type":"page","link":"https:\/\/www.ibisc.univ-evry.fr\/en\/advance-2025-technical-session-1-full-papers-fp1-3\/","title":{"rendered":"ADVANCE 2025 – Technical Session 1 (Full Papers) – FP1.3"},"content":{"rendered":"
\n\t\t\t\t\t
\n\t\t\t\t\t\t

Upload PDF<\/strong><\/span><\/a><\/p>\n<\/div>

<\/div>
<\/div>

ADVANCE 2025 Web site<\/strong><\/a><\/p>\n<\/div>

ADVANCE 2025 Proceedings<\/strong><\/a><\/p>\n<\/div>

<\/div>\n\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>
\n\t\t\t\t\t
\n\t\t\t\t\t\t

Leveraging Large Language Models for the Generation of Stochastic Models in System Availability and Reliability Analysis<\/h2>\n

\u00a0\u00a0\u00a0 Paulo R. M. Maciel1, Erick B. Nascimento1 and Jamilson R. Dantas1<\/p>\n

\u00a0\u00a0\u00a0 1 Centro de Inform\u00e1tica – Cin, Universidade Federal de Pernambuco, Recife-PE, prmm@cin.ufpe.br<\/a>, ebn@cin.ufpe.br<\/a>, jrd@cin.ufpe.br<\/a><\/p>\n

DOI : https:\/\/doi.org\/10.48545\/advance2025-fullpapers-1_3<\/a><\/p>\n

Abstract<\/h3>\n

This paper investigates the ability of large language models (LLMs) such as ChatGPT, Gemini, Claude, and Mistral to generate and expand Stochastic Petri Net (SPN) models specifically for system availability and reliability analysis. The study evaluates how LLMs can assist in automating the expansion of formal models in these domains, following a structured methodology: (a) modeling a basic availability and reliability system in Mercury-script; (b) providing detailed prompts to guide the extension of the model; (c) obtaining the expanded models from LLMs; (d) validating the generated models in Mercury for syntactic correctness, semantic accuracy, and dependability metrics; and (e) conducting a comparative analysis of the results across the different LLMs. The findings reveal the strengths and limitations of LLM-generated models regarding availability and reliability, providing insights into the potential of AI-assisted formal modeling for improving the efficiency and accuracy of system dependability evaluations.<\/p>\n

\u00a0Keywords<\/h3>\n

Large language models; Stochastic Petri Net; Mercury-script language; Availability and Reliability analysis<\/p>\n<\/div>

<\/div>\n\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":12,"featured_media":13585,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-13590","page","type-page","status-publish","has-post-thumbnail","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/pages\/13590"}],"collection":[{"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/comments?post=13590"}],"version-history":[{"count":2,"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/pages\/13590\/revisions"}],"predecessor-version":[{"id":13594,"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/pages\/13590\/revisions\/13594"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/media\/13585"}],"wp:attachment":[{"href":"https:\/\/www.ibisc.univ-evry.fr\/en\/wp-json\/wp\/v2\/media?parent=13590"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}