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

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

机译：基于逐步改进的铁路信号的正式方法应用

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

摘要

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

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号