From a quick reading of the wiki, the associated methodology seems rather limited: "System complexity, particularly in software systems, making SIL estimation

From a quick reading of the wiki, the associated methodology seems rather limited: "System complexity, particularly in software systems, making SIL estimation difficult to impossible" "The requirements of these schemes can be met either by establishing a rigorous development process, or by establishing that the device has sufficient operating history to argue that it has been proven in use." You could prove that normal code satisfies some specs, but you can't do that with neural nets unless the number of possible inputs is tiny. So, the only way to establish that the black box neural net meets some SIL target is through "sufficient operating history".