Safety+ is an open data architecture for agile, transparent programming of safety functions, which adds flexibility in choosing programming languages and data types, enables efficient interaction with ...

To address this limitation, we augmented the diagrams with metadata, enabling GPT-4 to produce models that required only minor corrections to be executable in Rebeca's model-checking tool, Afra. Our ...