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
24 Formal Semantics and Analysis Methods for Simulink Stateflow Models – A. Tiwari
15 Symbolic verification of executable control specifications – C Banphawatthanarak, B H Krogh, K Butts - 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
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
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
451 Real-time systems: Design principles for distributed embedded applications – H Kopetz - 2002
213 Giotto: A time-triggered language for embedded programming – Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch - 2001
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
5 A.: On modelling guidelines: Flowchart patterns for Stateflow – D Buck, Rau - 2001
35 Generating Efficient Test Sets with a Model Checker – Gregoire Hamon, Gr Egoire Hamon, Leonardo De Moura, John Rushby - 2004
15 Invisible Formal Methods for Embedded Control Systems – A. Tiwari, N. Shankar, J. Rushby - 2003
41 An Operational Semantics for Stateflow – Gregoire Hamon, John Rushby - 2004
23 Defining and translating a ”safe” subset of simulink/stateflow into lustre – Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi - 2004
31 Dynamic Partitioning in Analyses of Numerical Properties – Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond - 1999
1975 A theory of timed automata – Rajeev Alur - 1999
7 Modeling and design of embedded software – S Sastry, J Sztipanovits, R Bajcsy, H Gill