From System Documents to DEVS Models
Model Extraction
With the help of LLMs, we can analyze source system documentation and requirements for any DEVS models. We can then create a list of all potential DEVS models described within the documentation.
Model Outline Generation
Once the list of potential DEVS models is generated, we can then select one from the list to generate the outline for any model desired. This will generate a complete outline of the DEVS model that adheres to the DEVS formalism.
Model Code Generation
With the fully outline completed, we can proceed to the DEVS Java code generation using the LLM. Using the outline created and several DEVS Java examples, the DEVS Java for the selected model is generated with fully functioning DEVS capabilities.
Verification and Validation using MS4 Me
Verification and Validation of generated DEVS models is made easier through the use of MS4 Me Systems. We can determine any errors or modifications that need to be made by using the MS4 Me DEVS SimViewer and Java Editor.
Utilizing LLMs Toward Automated Generation of DEVS Models
RTSync is revolutionizing the MBSE process with the automated generation of DEVS Models using the latest LLM tools. Through our four step process, we can expedite several hours of manual labor with automation of requirements and system document analysis.