排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
联锁系统对安全等级要求高,采用高安全性软件开发十分必要。文章介绍基于SCADE工具实现联锁逻辑软件的开发过程,使用模型化的方法从联锁逻辑的层次化设计到最终代码验证,实现开发过程的自动化,不仅极大地提高软件开发过程中的效率,而且能够保证系统的安全性和可靠性。 相似文献
1