Before revision: Nuclear software: In the UK the Office for Nuclear Regulation (ONR) recommends the use of static analysis on reactor protection systems.Computer based safety systems - technical guidance for assessing software aspects of digital computer based protection systems, Aviation software (in combination with dynamic analysis)
After revision: .Nuclear software: In the UK the Office for Nuclear Regulation (ONR) recommends the use of static analysis on reactor protection systems.Computer based safety systems - technical guidance for assessing software aspects of digital computer based protection systems, Aviation software (in combination with dynamic analysis)