核电厂安全级软件相关论文
以日本三菱MELTAC安全级软件在核电厂中应用的V&V为例,就其主要的工作流程、步序、输入输出结果进行分析说明,以期为核电厂数字化......
核电厂安全级软件的安全性保证包括软件的安全开发技术和软件的验证与确认技术两个方面。按照核法规HAF要求,V&V是保证软件的安全......
