Affiliation:
1. VERIMAG, Gières, France
Abstract
We present a method of translating discrete-time Simulink models to Lustre programs. Our method consists of three steps: type inference, clock inference, and hierarchical bottom-up translation. In the process, we explain and formalize the typing and timing mechanisms of Simulink. The method has been implemented in a prototype tool called S2L, which has been used in the context of a European research project to translate two automotive controller models provided by Audi.
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Reference36 articles.
1. Åström K. and Wittenmark B. 1984. Computer Controlled Systems. Prentice-Hall Englewood Cliffs NJ.]] Åström K. and Wittenmark B. 1984. Computer Controlled Systems. Prentice-Hall Englewood Cliffs NJ.]]
2. Clocks in dataflow languages
3. LUSTRE: a declarative language for real-time programming
4. Synchronous Kahn networks
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献