Certification of Safety Embedded Systems; Reusability of SW; Safety Integrity Level;
机译:安全关键组件的系统重用将迎来嵌入式软件开发的新时代
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:领先的压力安全系统提供商Elfab已开发出符合欧洲ATEX指令(Atmospheres Explosibles)94/9 / EC的无创且可重复使用的检测器。使用本安保护方法,Integral Flo-Tel被授予
机译:在安全关键系统中重复使用:教育用例最终结果
机译:用于测试安全关键系统的可重用策略。
机译:介绍延长安全分形:重用安全管理系统的概念来组织弹性组织
机译:一种基于模型的方法,支持安全关键软件产品线工程中系统重用和安全创造的方法