首页> 外文期刊>Parallel and Distributed Systems, IEEE Transactions on >The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
【24h】

The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

机译:分布式嵌入式系统设计中的信号同步多时钟方法

获取原文
获取原文并翻译 | 示例

摘要

This paper presents the design of distributed embedded systems using the synchronous multiclock model of the SIGNAL language. It proposes a methodology that ensures a correct-by-construction functional implementation of these systems from high-level models. It shows the capability of the synchronous approach to apply formal techniques and tools that guarantee the reliability of the designed systems. Such a capability is necessary and highly worthy when dealing with safety-critical systems. The proposed methodology is demonstrated through a case study consisting of a simple avionic application, which aims to pragmatically help the reader to understand the manipulated formal concepts, and to apply them easily in order to solve system correctness issues encountered in practice. The application functionality is first modeled as well as its distribution on a generic hardware architecture. This relies on the endochrony and endo-isochrony properties of SIGNAL specifications, defined previously. The considered architectures include asynchronous communication mechanisms, which are also modeled in SIGNAL and proved to achieve message exchanges correctly. Furthermore, the synchronizability of the different parts in the resulting system is addressed after its deployment on a specific execution platform with multirate clocks. After all these steps, a distributed code can be automatically generated.
机译:本文介绍了使用SIGNAL语言的同步多时钟模型进行分布式嵌入式系统的设计。它提出了一种方法,以确保从高级模型对这些系统进行按构造正确的功能实施。它显示了同步方法能够应用形式技术和工具来保证所设计系统的可靠性的能力。在处理对安全至关重要的系统时,这种能力是必需的,非常值得。通过一个案例研究证明了所提出的方法,该案例研究包括一个简单的航空电子应用程序,旨在通过务实地帮助读者理解被操纵的形式概念,并轻松地应用它们,以解决实际中遇到的系统正确性问题。首先对应用程序功能及其在通用硬件体系结构上的分布进行建模。这取决于先前定义的SIGNAL规范的内同步性和内同步性。所考虑的体系结构包括异步通信机制,该机制也在SIGNAL中进行了建模,并被证明可以正确实现消息交换。此外,在将结果系统中的不同部分部署在具有多速率时钟的特定执行平台上之后,即可解决该问题。完成所有这些步骤后,可以自动生成分布式代码。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号