• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Formal Aspects of Computing >Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
【24h】

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

机译：跨连续/离散建模界面的连续KAOS，ASM和形式控制系统设计：一个简单的列车停止应用程序

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

摘要

A very simple model for train stopping is used as a vehicle for investigating how the development of a control system, initially designed in the continuous domain and subsequently discretized, can be captured within a formal development process compatible with standard model based refinement methodologies. Starting with a formalized requirements analysis using KAOS, an abstract model of the continuous system is created in the ASM formalism. This requires extensions of the KAOS and ASM formalisms, capable of dealing with quantities evolving continuously over real time, which are developed. After considering how the continuous system, described as a continuous control system in the state space framework, can be discretized, a discrete control system is created in the state space framework. This is re-expressed in the ASM formalism. The rigorous results on the relationship between continuous and discrete control system models that are needed to establish provable properties of the discretization, then become the ingredients of a retrenchment between continuous and discrete ASM models, and are thus fully integrated into the formal development. The discrete ASM model can then be further refined towards implementation.
机译：一个非常简单的火车停靠模型被用作研究如何在最初的连续领域中设计并随后离散化的控制系统开发在与基于标准模型的改进方法兼容的正式开发过程中被捕获的工具。从使用KAOS进行形式化需求分析开始，在ASM形式主义中创建了连续系统的抽象模型。这就需要扩展KAOS和ASM形式主义，使其能够处理随着时间而不断发展的数量。在考虑了如何离散化在状态空间框架中被描述为连续控制系统的连续系统之后，在状态空间框架中创建了离散控制系统。这在ASM形式主义中得到了重新表达。建立离散化的可证明性质所需要的关于连续和离散控制系统模型之间关系的严格结果，然后成为连续和离散ASM模型之间缩减的要素，因此已完全集成到正式开发中。离散ASM模型然后可以进一步细化为实现。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号