Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli  Home/Search
Context Related
| berkeley.edu/Respe...niste_emsoft03.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/HomePages...pubslast (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures. (Update)
Cited by: More
Refining Synchronous Communication onto Network-on-Chip.. - Lu, Sander, Jantsch (2006) (Correct)
Heterogeneous Reactive Systems Modeling and.. - Benveniste.. (2003) (Correct)
Formal Refinement Checking in a System-level Design.. - Talpin, Le Guernic.. (2004) (Correct)
Active bibliography (related documents): More All
0.8: A Formal Modeling Framework for Deploying.. - Carloni.. (2003) (Correct)
0.4: A Protocol for Loosely Time-Triggered Architectures - Benveniste, Caspi, Le.. (2001) (Correct)
0.3: A Behavioral Synthesis System for Asynchronous Circuits - Sacker, Brown, Rushton.. (2004) (Correct)
Similar documents based on text: More All
0.4: Negative Thinking in Branch-and-Bound: The Case of.. - Goldberg, Carloni.. (2000) (Correct)
0.3: Distributing Synchronous Programs on a Loosely Synchronous.. - Benveniste, al. (2001) (Correct)
0.3: Latency Insensitive Protocols - Carloni, McMillan.. (1999) (Correct)
Related documents from co-citation: More All
3: The Synchronous Language Twelve Years Later (context) - Benveniste, Caspi et al. - 2003
3: Compositionality in dataflow synchronous languages: specification and code gener.. - Benveniste, Le Guernic et al. - 1997
3: Polychrony for system design - Le Guernic, Talpin et al. - 2002
BibTeX entry: (Update)
A. Benveniste, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In R. Alur and I. Lee, editors, Embedded Software. Proc. of the Third Intl. Conference, EMSOFT 2003. Philadelphia, PA, LNCS, Berlin, October 2003. Springer Verlag. http://citeseer.ist.psu.edu/benveniste03heterogeneous.html More
@misc{ benveniste03heterogeneous,
author = "A. Benveniste and L. Carloni and P. Caspi and A. Sangiovanni-Vincentelli",
title = "Heterogeneous reactive systems modeling and correct-by-construction deployment",
text = "A. Benveniste, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli.
Heterogeneous reactive systems modeling and correct-by-construction deployment.
In R. Alur and I. Lee, editors, Embedded Software. Proc. of the Third Intl.
Conference, EMSOFT 2003. Philadelphia, PA, LNCS, Berlin, October 2003. Springer
Verlag.",
year = "2003",
url = "citeseer.ist.psu.edu/benveniste03heterogeneous.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel - 1987
373 clocks and the ordering of events in a distributed system (context) - Lamport - 1978
235 The Synchronous Data Flow Programming Language LUSTRE - Halbwachs, Caspi et al. - 1991
98 Real-Time Systems: Design Principles for Distributed Embedde.. (context) - Kopetz - 1997
94 The Foundations of Esterel - Berry - 2000
60 Programming real-time applications with SIGNAL (context) - Le Guernic, Gautier et al. - 1991
27 Interface Theories for Component-Based Design - de Alfaro, Henzinger - 2001
25 System-Level Types for Component-Based Design - Lee, Xiong - 2001
22 Model-Integrated Development of Embedded Software (context) - Karsai, Sztipanovits et al. - 2003
21 The Synchronous Language Twelve Years Later (context) - Benveniste, Caspi et al. - 2003
18 From synchrony to asynchrony - Benveniste, Caillaud et al. - 1999
15 Compositionality in dataflow synchronous languages: specific.. - Benveniste, Caillaud et al. - 2000
13 Taming heterogeneity--The Ptolemy approach - Eker, Janneck et al. - 2003
11 A Protocol for Loosely Time-Triggered Architectures - Benveniste, Caspi et al. - 2002
11 Hierarchical Modeling and Analysis of Embedded Systems - Alur, Dang et al. - 2003
9 Polychrony for system design - Le Guernic, Talpin et al. - 2003
7 on Computer-Aided Design of Integrated Circuits and Systems (context) - Lee, Sangiovanni-Vincentelli et al. - 1998
7 Clocks in Dataflow languages (context) - Caspi - 1992
4 Heterogeneous reactive systems modeling and correct-by-const.. - Benveniste, Carloni et al. - 2003
4 Engineering Applications of MATLAB (context) - Mokhtari, Marie - 2000
3 A concurrent model for de-synchronization (context) - Cortadella, Kondratyev et al. - 2003
3 Some synchronization issues when designing embedded systems .. (context) - Benveniste - 2001
1 on Computer-Aided Design of Integrated Circuits and Systems (context) - Carloni, McMillan et al. - 2001
Documents on the same site (http://www-cad.eecs.berkeley.edu/HomePages/alberto/pubslast/pubslast.html): More
Solution of Parallel Language Equations for Logic.. - Yevtushenko, Villa.. (2001) (Correct)
Designing Digital Video Systems: Modeling and Scheduling - Kenter, Passerone.. (1999) (Correct)
Synthesis of Robust Control Systems Under Resource.. - Palopoli, Pinello.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC