Unified Architecture is a spec language that is target architecture agnostic and promotes itself as a one stop spec language for anything from OS, to cloud to heavy machinery. In fact there are job openings requiring opc-ua experience to build operating systems.
Investigate what opc-ua offers?
Any other such spec languages?
What is the automated tooling ecosystem like?
What are the short comings for such a domain independent specification?
Another hardware independent specification language - OpenCL, although it's not purely a specification language because it has it's own runtime. And it's more apt for high performance computing.
Unified Architecture is a spec language that is target architecture agnostic and promotes itself as a one stop spec language for anything from OS, to cloud to heavy machinery. In fact there are job openings requiring opc-ua experience to build operating systems.