• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>電子情報通信学会技術研究報告. 信賴性. Reliability >段階的詳細化に基づく鉄道信号へのフォーマルメソッド適用
【24h】

段階的詳細化に基づく鉄道信号へのフォーマルメソッド適用

机译：基于分步详细信息将形式化方法应用于铁路信号

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

ソフトウェアの品質向上のための手法としてフォーマルメソッド(formal methods)が注目されている．これはソフトウェアの仕様をコンピュータに分かる形で数学的論理的に記述し，それをコンピュータ等の支援による検証を実施することで，仕様の段階で問題点を十分に洗い出し最終的な製品の品質を高めることを目指している．大規模なシステムや複雑なシステムに対してフォーマルメソッドを適用する際，一気に仕様を記述するのではなく，段階的に仕様の記述を詳細にしていく段階的詳細化手法が有効と考えられる．各詳細化段階での整合性の証明を実施することにより，仕様を忠実に実行するプログラムを生成することができる．本報告では信号システムの一例としてATC（自動列車制御装置）のブレーキ曲線の計算プログラムに本手法を適用し，証明と段階的詳細化が有効であることを確認した．また，実際のシステムに適用しやすい段階的詳細化手法についても提案する．
机译：正式方法作为提高软件质量的一种方法引起了人们的注意。这是要以一种计算机可以理解的形式在数学上和逻辑上描述软件规范，并且通过在计算机等的支持下进行验证，可以在规范阶段充分识别问题，并提高最终产品的质量。我的目标是增加它。当将正式方法应用于大规模系统或复杂系统时，使用逐步详细方法被认为是有效的，在该方法中详细描述说明书的描述而不是立即描述。通过证明每个细节阶段的一致性，可以生成忠实执行规范的程序。在本报告中，我们将此方法应用于信号系统ATC（自动列车控制装置）制动曲线的计算程序，并证实了证明和逐步细化是有效的。我们还提出了一种易于应用到实际系统的分步详细方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号