Search papers, labs, and topics across Lattice.
This paper addresses the challenge of integrating GenAI into safety-critical automotive system engineering by proposing workflow-level design principles focused on trustworthiness, traceability, and alignment with verification practices. They demonstrate that section-wise decomposition of requirements with diversity sampling and NLP sanity checks outperforms monolithic prompting for identifying requirement deltas. Furthermore, they propagate these deltas into SysML v2 models, validate updates through compilation and static analysis, and generate traceable test cases via explicit mappings from specification variables to architectural ports and states, providing practical safeguards.
Monolithic prompting misses critical changes in large specifications, but a section-wise decomposition approach with diversity sampling and lightweight NLP sanity checks significantly improves the completeness and correctness of GenAI-driven requirement delta identification.
The adoption of large language models in safety-critical system engineering is constrained by trustworthiness, traceability, and alignment with established verification practices. We propose workflow-level design principles for trustworthy GenAI integration and demonstrate them in an end-to-end automotive pipeline, from requirement delta identification to SysML v2 architecture update and re-testing. First, we show that monolithic ("big-bang") prompting misses critical changes in large specifications, while section-wise decomposition with diversity sampling and lightweight NLP sanity checks improves completeness and correctness. Then, we propagate requirement deltas into SysML v2 models and validate updates via compilation and static analysis. Additionally, we ensure traceable regression testing by generating test cases through explicit mappings from specification variables to architectural ports and states, providing practical safeguards for GenAI used in safety-critical automotive engineering.
