• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual IEEE International Systems Conference >Test-driven modeling and development of cloud-enabled cyber-physical smart systems
【24h】

Test-driven modeling and development of cloud-enabled cyber-physical smart systems

机译：支持云的网络物理智能系统的测试驱动建模和开发

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

摘要

Embedded products currently tend to evolve into large and complex smart systems where products are enriched with services through clouds and other web technologies. The complex characteristics of smart systems make it very difficult to guarantee functionality, safety, security and performance. Using test-driven modeling (TDM) is likely to be the best way to design smart systems such that these qualities are ensured. However, the TDM methods that are applied to development of simpler systems do not scale to smart systems because the modeling technologies cannot handle the complexity and size of the systems. In this paper, we present a method for test-driven modeling that scales to very large and complex systems. The method uses a combination of formal verification of basic interactions, simulations of complex scenarios, and mathematical forecasting to predict system behavior and performance. We utilized the method to analyze, design and develop various scenarios for a cloud-enabled medical system. Our approach provides a versatile method that may be adapted and improved for future development of very large and complex smart systems in various domains.
机译：当前，嵌入式产品趋向于发展成大型而复杂的智能系统，在这些系统中，产品会通过云和其他Web技术丰富服务。智能系统的复杂特性使其很难保证功能性，安全性，安全性和性能。使用测试驱动的建模（TDM）可能是设计智能系统以确保这些质量的最佳方法。但是，由于建模技术无法处理系统的复杂性和规模，因此应用于简单系统开发的TDM方法无法扩展到智能系统。在本文中，我们提出了一种用于测试驱动的建模的方法，该方法可扩展到非常大和复杂的系统。该方法结合了对基本交互的形式验证，复杂场景的模拟和数学预测的组合，以预测系统的行为和性能。我们利用该方法来分析，设计和开发基于云的医疗系统的各种方案。我们的方法提供了一种通用方法，可以针对各种领域中的大型复杂智能系统的未来开发进行调整和改进。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号