• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on FPGA Reconfiguration for General-Purpose Computing >Model-based development of distributed embedded controllers - rapid prototyping using IOPT-tools and FPGAs -
【24h】

Model-based development of distributed embedded controllers - rapid prototyping using IOPT-tools and FPGAs -

机译：基于模型的分布式嵌入式控制器开发-使用IOPT工具和FPGA进行快速原型制作-

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

摘要

Adoption of a model-based development attitude can benefit the design of distributed embedded controllers, allowing adequate support for designer's needs integrating reusability of already available components, as well as design automation tools. Selection of Petri nets as reference modeling formalism provides support for a comprehensive specification and documentation of the system, complementing graphical expressiveness with formal verification capabilities. A Petri nets based development flow targeted for the design of distributed embedded controllers and cyber-physical systems is presented. Input-Output Place-Transition Petri nets (IOPT nets) are used as the underlying formalism, allowing explicit representation of dependencies on input and output signals and events (as common whenever generation of code for controllers is foreseen). Distributed execution is addressed adding the concept of time domains and communication channels to IOPT nets. The IOPTTools tool chain framework supports the whole development process from specification to implementation, including tools for model edition, simulation, properties verification, and automatic code generation targeting for deployment into specific implementation platforms (where VHDL coding is used for hardware-based implementation and C coding is selected for software-oriented implementation).
机译：采用基于模型的开发态度可以使分布式嵌入式控制器的设计受益，从而为设计人员的需求提供充分的支持，使其能够集成已有组件的可重用性以及设计自动化工具。选择Petri网作为参考建模形式可以为系统的全面规范和文档提供支持，并通过形式验证功能来补充图形表达。提出了一种基于Petri网的开发流程，该流程针对分布式嵌入式控制器和网络物理系统的设计。输入输出放置转换Petri网（IOPT网）用作基础形式，允许显式表示对输入和输出信号及事件的依赖关系（在预见到为控制器生成代码时，这是常见的）。通过将时域和通信通道的概念添加到IOPT网络，解决了分布式执行的问题。 IOPTTools工具链框架支持从规范到实现的整个开发过程，包括用于模型编辑，仿真，属性验证和自动代码生成目标的工具，以将其部署到特定的实现平台中（其中VHDL编码用于基于硬件的实现和C选择编码以实现面向软件的实现）。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号