Translating Discrete-Time Simulink to Lustre (2003)

Cached

Download Links

by Paul Caspi , Adrian Curic , Aude Maignan , Christos Sofronis , Stavros Tripakis
Venue:In: Third International ACM Conference on Embedded Software, Lecture Notes in Computer Science
Citations:28 - 7 self

Active Bibliography

69 From Simulink to SCADE/Lustre to TTA: a Layered Approach for Distributed Embedded Applications – Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert - 2003
Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques General Terms – unknown authors
Translating Discrete-Time Simulink to Lustre – Avenue De Vignate, F- Gieres, Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis - 2003
From Simulink 1 to SCADE 2 /Lustre to TTA: a layered approach for distributed embedded applications – Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
506 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
625 An introduction to software architecture – David Garlan, Mary Shaw - 1993
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
279 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
361 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000