×

兹马思-数学第一资源

使用状态验证环境验证基于无线电的信令系统。(英语) Zbl 0990.68568
小结:随着安全相关功能部分从庭院转移到车载控制软件的趋势,在通过正式验证能力支持此类设计方面出现了新的挑战,基本上需要基于模型的设计过程。本文介绍了利用STATEMATE验证环境对无线信号系统进行建模和验证的情况,这是由德国铁路系统公司DB提供的一个试验案例。可以用一个工业验证工具来验证它的规模。

理学硕士:
68U99 计算方法与应用
68问65 抽象数据类型;代数规范
关键词:
状态验证环境
PDF格式 BibTeX公司 XML 引用
全文: 内政部