If you're meaning trying to create a safety-related or safety-critical system then the particular set of libraries you use is one very small part of the problem

If you're meaning trying to create a safety-related or safety-critical system then the particular set of libraries you use is one very small part of the problem. The system design itself is examined as well as how it is implemented. The examiners will want to see proof that your system fails in predictable and deterministic ways suitable for their usage. Also systems dealing with the motion-control typically require hard-real-time response so you would not be running this on your average Linux system either. You need to be prepared to have your code and system design examined in great depth, a very long and expensive process generally.