• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Tempo: A Toolkit for the Timed Input/Output Automata Formalism
【24h】

Tempo: A Toolkit for the Timed Input/Output Automata Formalism

机译：速度：定时输入/输出自动机形式的工具包

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Report developed under STTR contract for topic AFO4-T023. This Phase II project developed an integrated development environment, called Tempo, for specifying, analyzing, and verifying complex distributed system designs. This includes a modeling language, a graphical user interface, and computational support tools. This modeling and analysis framework provides an integrated suite of tools and methods. In more detail, this project developed: (a) a formal modeling language, called Tempo, based on the TIOA (Timed Input/Output Automata) formalism, for specifying timed, asynchronous, and interacting systems components, (b) the language processor for Tempo, incorporating syntax and type checking, and providing interfaces to computer-aided design tools, (c) a simulation tool allowing simulation of specifications and paired simulations of a specification and an abstract implementation, (d) an interface to model-checking tool UPAALL, and (e) theorem-proving link through an interface to PVS.

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号