Tagged safety-critical-software