Models of the Mercator Telescope Control System, written in a DSL (Domain Specific Language) called Ontoscript.
Ontoscript is available at: https://github.com/IvS-KULeuven/Ontoscript
When the models are executed, they are converted into json-ld files.
These json-ld files can be read by OntoManager: https://github.com/IvS-KULeuven/OntoManager
OntoManager is a web-based application that provides convenient access to the models. It can be used to
- query the models
- convert the models into web-pages (e.g. for documenting system requirements, electric systems, software, ...)
- convert software models into source code (Python and IEC61131-3 to be imported by TwinCAT)
- analyze the models by reasoning (requires SPIN API by TopBraid)