首页> 外文会议>International Conference on Rigorous State-Based Methods >A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
【24h】

A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements

机译:符合系统需求的高级架构建模的一种形式化方法

获取原文

摘要

IRT Railenium (http://railenium.eu/fr/) is a test and applied research center for the rail industry in France. One of its three R&D and innovation programs aims in particular to provide the technological tools and bricks necessary for the development of the Autonomous Train. This Autonomous Train program will thus address signaling, control-command, driving and railway operating systems. The Autonomous Freight Train project under the Autonomous Train program with the cooperation of several partners ("SNCF", "ALSTOM", "Hitachi Rail STS France", "ALTRAN" and "APSYS") targets performance improvements of the system thanks to the implementation of autonomy in railways operations. This system is classified as Cyber-Physical System (CPS) and depends more and more on effective solutions that can address heterogeneity and interplay of physical and software elements. In particular, modeling languages used for specifying CPS should incorporate, in a consistent manner, the essential concepts from multiple engineering disciplines that take part in the design of such systems.
机译:IRT Railenium(http://railenium.eu/fr/)是法国铁路行业的测试和应用研究中心。它的三个研发和创新计划之一旨在为自动火车的开发提供必要的技术工具和基础。因此,该“自动火车”程序将处理信号,控制命令,驾驶和铁路操作系统。在“自动列车”计划下,与几个合作伙伴(“ SNCF”,“ ALSTOM”,“ Hitachi Rail STS France”,“ ALTRAN”和“ APSYS”)合作的自动货运列车项目旨在通过实施该系统来提高系统的性能在铁路运营中的自主权。该系统被归类为网络物理系统(CPS),并且越来越依赖可解决物理和软件元素异质性以及相互作用的有效解决方案。特别是,用于指定CPS的建模语言应以一致的方式纳入参与此类系统设计的多个工程学科的基本概念。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号