Affiliation:
1. VERIMAG, Gieres, France
2. Laboratoire d'Informatique Fondamentale, Marseille, France
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation;ACM Transactions on Embedded Computing Systems;2023-09-09
2. ModelMap;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30
3. SMT-Based Model Checking of Industrial Simulink Models;Formal Methods and Software Engineering;2022
4. Resource-efficient cyber-physical systems design: A survey;Microprocessors and Microsystems;2020-09
5. Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory;2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS);2019-11