...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Software Engineering >Semantics-Preserving Design of Embedded Control Software from Synchronous Models
【24h】

Semantics-Preserving Design of Embedded Control Software from Synchronous Models

机译：基于同步模型的嵌入式控制软件的语义保存设计

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

摘要

The design of embedded controllers is experiencing a growth in complexity as embedded systems increase their functionality while they become ubiquitous in electronic appliances, cars, airplanes, etc. As requirements become more challenging, mathematical models gain importance for mastering complexity. Among the different computational models proposed, synchronous models have proved to be the most widely used for control dominated applications. While synchronous models simplify the way of dealing with concurrency by decoupling functional and timing aspects, their software implementation on multitasking and multiprocessor platforms is far from straightforward, because of the asynchronous nature of most industrial software platforms. Known solutions in the literature either restrict the solution space or focus on special cases. We present a method for preserving the synchronous semantics through buffer-based intertask communication mechanisms, grounded on an abstraction of the target platform. This allows us to deal with any task set and, most importantly, being independent of the implementation, to explore the design space effectively.
机译：嵌入式控制器的设计正经历着复杂性的增长，因为嵌入式系统在电子设备，汽车，飞机等中普遍存在的同时增加了它们的功能。随着需求变得越来越具有挑战性，数学模型对于掌握复杂性变得越来越重要。在提出的不同计算模型中，同步模型已被证明是控制控制应用中使用最广泛的模型。尽管同步模型通过分离功能和时序方面来简化处理并发的方式，但是由于大多数工业软件平台的异步特性，它们在多任务和多处理器平台上的软件实现远非那么简单。文献中的已知解决方案要么限制了解决方案的空间，要么专注于特殊情况。我们提出了一种基于目标平台抽象的，通过基于缓冲区的任务间通信机制来保留同步语义的方法。这使我们能够处理任何任务集，最重要的是，它独立于实现，可以有效地探索设计空间。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号