From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications

被引：35

作者：

Caspi, P

Curic, A

Maignan, A

Sofronis, C

Tripakis, S

Niebert, P

机构：

[1] VERIMAG, Ctr Equat, F-38610 Gieres, France

[2] CMI, Lab Informat Fondament, F-13453 Marseille, France

来源：

ACM SIGPLAN NOTICES | 2003年 / 38卷 / 07期

关键词：

design; languages; embedded software; Simulink; synchronous languages; Lustre; code distribution; scheduling;

D O I：

10.1145/780731.780754

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a layered end-to-end approach for the design and implementation of embedded software on a distributed platform. The approach comprises a high-level modeling and simulation layer (Simulink), a middle-level programming and validation layer (SCADE/Lustre) and a low-level execution layer (TTA). We provide algorithms and tools to pass from one layer to the next. First, a translator from Simulink to Lustre. Second, a set of real-time and code-distribution extensions to Lustre. Third, implementation techniques for decomposing a Lustre program into tasks and messages, scheduling the tasks and messages on the processors and the bus, distributing the Lustre code on the execution platform, and generating the necessary "glue" code.

引用

页码：153 / 162

页数：10