机译:安全完整性等级为3和4的自动化控制系统
Chair of Real Time Systems, Faculty of Electrical and Computer Engineering, Fernuniversitat 58084 Hagen, Germany;
safety critical automation; safety integrity levels; cause/effect tables; function block diagrams; programmable controllers; safety licensing of software;
机译:评估高完整性保护系统安全完整性级别的方法和工具的概述
机译:评估高完整性保护系统安全完整性级别的方法和工具的概述
机译:验证分布式控制和保护系统的安全完整性级别中的安全性方面
机译:用于安全完整性等级3和4的自动化控制系统
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:血管内皮细胞内氧化酶还原酶系统(TRXR2)对氧化亚硝酸盐水平和组织完整性进行控制
机译:验证分布式控制和保护系统安全完整性水平的安全方面