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:26 - 7 self

Documents Related by Co-Citation

488 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
451 Real-time systems: Design principles for distributed embedded applications – H Kopetz - 2002
15 Symbolic verification of executable control specifications – C Banphawatthanarak, B H Krogh, K Butts - 1999
24 Formal Semantics and Analysis Methods for Simulink Stateflow Models – A. Tiwari
25 Generating Embedded Software from Hierarchical Hybrid Models – Rajeev Alur, Franjo Ivančić, Jesung Kim, Insup Lee, Oleg Sokolsky - 2003
405 Synchronous Programming of Reactive Systems – Nicolas Halbwachs - 1993
213 Giotto: A time-triggered language for embedded programming – Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch - 2001
1975 A theory of timed automata – Rajeev Alur - 1999
63 From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications – P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis, P Niebert - 2003
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
24 A Compositional Approach to Statecharts Semantics – Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland - 2000
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
7 Modeling and design of embedded software – S Sastry, J Sztipanovits, R Bajcsy, H Gill
10 Sound code generation from communicating hybrid models – Y Hur, J Kim, I Lee, J Choi - 2004
88 Computer-Controlled Systems. Theory and Design – K J ˚Aström, B Wittenmark - 1997
125 On Task Schedulability in Real-Time Control Systems – D. Seto, J.P. Lehoczky, L. Sha, K. G. Shin - 1996
23 Defining and translating a ”safe” subset of simulink/stateflow into lustre – Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi - 2004
54 Real-Time Computing with Lock-Free Shared Objects – James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay - 1995
73 Real-Time Scheduling: The Deadline Monotonic Approach – Hard - 1991