Analysis of periodic clock relations in polychronous systems (2009)
Hugo Metivier, Jean-pierre Talpin, Thierry Gautier, Paul Le Guernic
Abstract The polychronous (synchronous, multiclocked) language Signal is used for the design and analysis of reactive systems. For the purpose of modeling eventdriven systems, we consider an...
IOS Press Formal refinement-checking in a system-level design methodology (2008)
Jean-pierre Talpin, Rajesh Gupta, Paul Le Guernic, Frédéric Doucet
Abstract. Rising complexity and performances, shortening time-to-market demands, stress highlevel embedded system design as a prominent research topic. Ad-hoc design methodologies, that lifts...
FMGALS 2007 Separate compilation of polychronous specifications (2008)
Julien Ouy, Jean-pierre Talpin, Loïc Besnard, Paul Le Guernic
Jean-pierre Talpin, Paul Le Guernic, Frédéric Doucet, Rajesh Gupta, P. Le Guernic, ...
Abstract. The productivity gap incurred by the rising complexity of system-on-chip design have necessitated newer design paradigms to be introduced based on system-level design languages. A gating...
FMGALS 2007 Separate compilation of polychronous specifications (2008)
Julien Ouy, Jean-pierre Talpin, Loïc Besnard, Paul Le Guernic
Compositional design of isochronous systems (2008)
Jean-pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related frameworks, global...
An Ml-Like Module System for (2008)
David Nowak, Jean-pierre Talpin, Thierry Gautier, Paul Le Guernic
Abstract. Synchronous languages, such asSignal, are best suited for the design of dependable real-time systems. Synchronous languages enable a very high-level speci cation and an extremely modular...
A Design Environment for Discrete-Event Controllers based on the Signal Language ∗ (2008)
Hervé March, Patricia Bournai, Michel Leborgne, Paul Le Guernic
Abstract: In this paper, we present the integration of a controller synthesis methodology in the Signal environment through the description of a tool dedicated to the algebraic computation of a...
Jean-pierre Talpin, Paul Le Guernic, Eep Kumar, Rajesh Gupta
A compositional behavioral modeling
On the desynchronization of synchronous applications (2007)
Synchronous data-flow programming is based on the abstraction of the continuous time into a discrete one. It offers verification and proof techniques appreciated by programmers of critical reactive...
Albert Benveniste, Thierry Gautier, Paul Le Guernic, Eric Rutten
Distributed code generation of dataflow synchronous programs: the SACRES approach
The following people have also contributed to the writing of this paper. These (2007)
Albert Benveniste, Leszek Holenderski, Klaus Winkelmann, Eric Sefton (bae, Eric Rutten, Paul Le Guernic
In addition to the listed authors, all participants to the SACRES project are gratefully acknowledged. SACRES members are: Siemens ( Lead partner), i-Logix,
1.1 The Essentials of the Synchronous Paradigm (2007)
Albert Benveniste, Benoit Caillaud, Jean-pierre Talpin, Paul Le Guernic
Here we summarize the results about what synchronous program desynchronisation means, and how it can be performed. Perspectives are drawn.
Abstract. In this paper we present affine transformations as an extension of the Signal language for the specification and validation of real-time systems. To each Signal program is associated a...
ASYNCHRONOUS DEPLOYMENT OF SYNCHRONOUS TRANSITION SYSTEMS (2007)
Jean-pierre Talpin, Albert Benveniste, Paul Le Guernic
Asynchronous deployment of synchronous transition systems
PRE-ORDER SEMANTICS OF UML STATE-MACHINES (2007)
Yunming Wang, Yunming Wang, Jean-pierre Talpin, Jean-pierre Talpin, Albert Benveniste, Paul Le Guernic, ...
Th`eme 1--- R'eseaux et syst`emes
Mohammad Reza Mousavi, Paul Le Guernic
and easy to learn and use syntax, formal and succinct semantics (which paved the way for ecient simulation and verication tools) are among the strong points of such languages. However, the...
Polychrony for Refinement-Based Design (2007)
Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Rajesh Gupta, Frederic Doucet, Virgina Tech
Rising complexities and performances of integrated circuits and systems, shortening time-to-market demands for electronic equipments, growing installed bases of intellectual property, requirements...
IOS Press Formal Refinement Checking in a System-level Design Methodology (2007)
Jean-pierre Talpin, Rajesh Gupta, Paul Le Guernic, Frédéric Doucet
Abstract. Rising complexity, increasing performance requirements, and shortening time-to-market demands necessitate newer design paradigms for embedded system design. Such newer design methodologies...
Mohammad Reza Mousavi, Paul Le Guernic
and easy to learn and use syntax, formal and succinct semantics (which paved the way for ecient simulation and verication tools) are among the strong points of such languages. However, the...
SN 0249-6399 ISRN INRIA/RR--6227--FR+ENG (2007)
Jean-pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic, Thème Com, Jean-pierre Talpin, ...
apport de recherche
A Behavioral Type Inference System for Compositional System-on-Chip Design (2004)
Jean-Pierre Talpin, David Berner, Sandeep Kumar Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta, ...
semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc system-level design methodologies, that lifts modeling to higher levels of...
Modeling and Validation of Globally Asynchronous Design in Synchronous Framework (2003)
Mohammadreza Mousavi, Paul Le Guernic, Jean-pierre Talpin
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using...
Hard real-time implementation of embedded software in JAVA (2003)
Jean-Pierre Talpin, Jean-pierre Talpin, Abdoulaye Gamatie, Abdoulaye Gamatié, David Berner, David Berner, ...
The popular slogan "write once, run anywhere" e#ectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing targetindependent...
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (2003)
Mohammadreza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla, Twan Basten
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using...
Modeling and Validation of Globally Asynchronous Design in Synchronous Framework (2003)
Mohammadreza Mousavi, Paul Le Guernic, Jean-pierre Talpin, Eep Kumar Shukla, Twan Basten
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using...
The synchronous languages 12 years later (2003)
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, ...
Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the...
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology (2003)
Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Rajesh Gupta, Frederic Doucet, Virgina Tech
The productivity gap incurred by the rising complexity of system-on-chip design have necessitated newer design paradigms to be introduced based on systemlevel design languages. A gating factors for...
real-time implementation of embedded software (2003)
Jean-pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic
Abstract. The popular slogan ”write once, run anywhere ” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing...
The synchronous languages twelve years later (2003)
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone
Abstract — Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article discusses the improvements, difficulties, and successes that have occured...
Modeling and Validation of Globally Asynchronous Design in Synchronous Framework (2003)
Mohammad Reza Mousavi, Paul Le Guernic, Jean-pierre Talpin, Sandeep Kumar Shukla, Mohammadreza Mousavi, Paul Le, ...
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using...
Modeling and Validation of Globally Asynchronous Design in Synchronous Framework (2003)
Mohammadreza Mousavi, Paul Le Guernic, Jean-pierre Talpin, Eep Kumar Shukla, Twan Basten
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using...
Polychrony for System Design (2002)
Paul Le Guernic, Paul Le Guernic, Jean-Pierre Talpin, Jean-pierre Talpin, ...
System design based on the so-called "synchronous hypothesis" consists of abstracting non-functional implementation details of a system and lets one benefit from a focused reasoning on the...
A protocol for loosely time-triggered architectures (2002)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé March, Jean-pierre Talpin, Stavros Tripakis
Abstract A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics. Loosely Time-Triggered Architectures (ltta) are a weaker...
A protocol for loosely time-triggered architectures (2002)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé March, Jean-pierre Talpin, Stavros Tripakis
Abstract. A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics. Loosely Time-Triggered Architectures (ltta) are a...
Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé March
Dynamical systems working have been recognized as essential in the area of computer science, under the name of reactive systems by David Harel. Synchronous languages have been proposed as a paradigm...
A Protocol for Loosely Time-Triggered Architectures (2001)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Herve Marchand, Jean-Pierre Talpin, Stavros Tripakis
A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics.
Patricia Bournai, Michel Le Borgne, Paul Le Guernic
Abstract. In this paper, we present the integration of controller synthesis techniques in the Signal environment through the description of a tool dedicated to the incremental construction of...
A semantics of UML state-machines using synchronous pre-order transition systems (2000)
Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic, Inria Irisa, Campus De Beaulieu, ...
The synchronous model of concurrency has demonstrated its practicality for the design of circuits, embedded systems, reactive and distributed systems. This model allows to design systems around an...
Irina M. Smarandache, Thierry Gautier, Paul Le Guernic
Abstract. In this paper we present the affine clock calculus as an extension of the formal verification techniques provided by the Signal language. A Signal program describes a system of clock...
Hierarchic normal forms for desynchronization (1999)
Paul Le Guernic, Jean-pierre Talpin, Jean-pierre Talpin, Albert Benveniste, Albert Benveniste, Benoit Caillaud, ...
Th`eme 1--- R'eseaux et syst`emes
Code generation in the sacres project (1999)
Thierry Gautier, Paul Le Guernic
Abstract. The SACRES project is dealing with the development of new design methodologies and associated tools for safety critical embedded systems. Emphasis is put on formal techniques for modular...
From Synchrony to Asynchrony (1999)
Albert Benveniste, Benoît Caillaud, Paul Le Guernic
. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct...
Hierarchic Normal Forms for Desynchronization (1999)
Benoît Caillaud, Jean-Pierre Talpin, Jean-pierre Talpin, Albert Benveniste, Albert Benveniste, Paul Le Guernic, ...
Based on an earlier work, we present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee...
David Nowak, Jean-Pierre Talpin, Paul Le Guernic
Synchronous languages have been designed to ease the development of reactive systems, by providing a methodological framework for assisting system designers from the early stages of requirement...
Asynchronous Deployment of Synchronous Transition Systems (1999)
Jean-Pierre Talpin, Jean-pierre Talpin, Albert Benvenister, Albert Benveniste, Paul Le Guernic, Paul Le Guernic, ...
: The synchronous model of concurrency has demonstrated its practicality for the for the design of circuits, embedded systems, reactive systems. This model allows to base design on deterministic...
David Nowak, Jean-pierre Talpin, Paul Le Guernic, Inria-rennes Irisa, Campus De Beaulieu
Abstract. Synchronous languages have been designed to ease the development of reactive systems, by providing a methodological framework for assisting system designers from the early stages of...
A design environment for discrete-event controllers based on the Signal language (1998)
Patricia Bournai, Michel Leborgne, Paul Le Guernic
Abstract: In this paper, we present the integration of a controller synthesis methodology in the Signal environment through the description of a tool dedicated to the algebraic computation of a...
A Canonical Form for Affine Relations in SIGNAL (1997)
Irina Smarandache, Irina Smar, Paul Le Guernic, Paul Le Guernic
: In this paper we present affine transformations as an extension of the Signal language for the specification and validation of real-time applications. A Signal program is a system of equations...
Albert Benveniste, Paul Le Guernic, Pascal Aubry
Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of...
A Synchronous Approach for Hardware Design (1997)
Michel Allemand, Francois Bodin, Apostolos Kountouris, Fran Cois Bodin, Paul Le Guernic, Andre Seznec, ...
: In this report we present a methodology for designing complex hardware systems. This methodology is based on the synchronous data flow language Signal which offers a formal framework to build...
An Ml-Like Module System for the Synchronous Language Signal (1997)
David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
Synchronous languages, such as Signal, are best suited for the design of dependable real-time systems. Synchronous languages enable a very high-level specification and an extremely modular...
Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
In this paper, we consider mixed systems containing both stochastic and non-stochastic 1 components. To compose such systems, we introduce a general combinator which allows the specification of an...
Implementation of the data-flow synchronous language SIGNAL (1995)
Pascalin Amagbegnon, Loc Besnard, Paul Le Guernic
This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean...
The Signal data flow methodology applied to a production cell (1995)
Tochéou Pascalin Amagbegnon, Hervé Marchand, Toch'eou Pascalin Amagbegnon, Paul Le Guernic, Paul Le Guernic, Éric Rutten, ...
: This report presents a method to specify, verify and implement a controller for a robotic production cell using the Signal approach. This work has been performed as part of a case study concerning...
A Calculus of Stochastic Systems: Specification, Simulation, and Hidden State Estimation (1995)
Albert Benveniste, Albert Benveniste, Bernard C. Levy, Bernard C. Levy, Eric Fabre, Eric Fabre, ...
In this paper, we consider mixed systems containing both stochastic and nonstochastic components. To compose such systems, we introduce a general combinator which allows the specification of an...
For a New Real-Time Methodology (1994)
Paul Le, Guernic Olivier Maffe, Thierry Gautier, Thierry Gautier, Paul Le Guernic, Olivier Maffeïs
: This paper motivates the use of a synchronous methodology to program, to verify and to implement real-time applications. The main features of the synchronous language Signal are presented and some...
Arborescent Canonical Form of Boolean Expressions (1994)
Tochéou Amagbegnon, Toch Eou Amagbegnon, Loïc BESNARD, Loic Besnard, Paul Le Guernic, Paul Le Guernic
: Signal is a synchronous language designed to program real-time systems. Because of its equational style, its compilation requires the statical resolution of a system of boolean equations; the...
Arborescent Canonical Form of Boolean Expressions (1994)
Tochéou Amagbegnon, Loïc Besnard, Paul Le Guernic, Paul Le Guernic
: Signal is a synchronous language designed to program real-time systems. Because of its equational style, its compilation requires the statical resolution of a system of boolean equations; the...
Olivier Maffe, Thierry Gautier, Thierry Gautier, Paul Le Guernic, Paul Le Guernic
: This paper motivates the use of a synchronous methodology to program, to verify and to implement real-time applications. The main features of the synchronous language Signal are presented and some...
Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
: In this paper, we consider hybrid systems containing both stochastic and nonstochastic components. To compose such systems, we introduce a general combinator which allows the specification of an...
Sequencing data flow tasks in SIGNAL (1994)
Real-time applications involve the sequencing of different modes of continuous interaction with the environment. This suggests a hybrid language with data flow and sequencing constructs. To this...
Data-flow Synchronous Languages (1993)
Calcul Symbolique, Nicolas Halbwachs, Albert Benveniste, Albert Benveniste, Paul Caspi, Paul Caspi, ...
: In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...
Un environnement graphique pour le langage SIGNAL (1993)
Calcul Symbolique, Patricia Bournai, Patricia Bournai, Paul Le Guernic, Paul Le Guernic, Projet Ep-atr
: pto) Ce travail a b'en'efici'e du soutien du CNET Unit e de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T el ephone : (33) 99 84 71 00...
Paul Le Guernic, Eric Rutten, Eric Rutten
: The Signal language is a real-time, synchronized data-flow language. Its model of time is based on instants, and its actions are considered instantaneous. Various application domains such as signal...
Un Environnement, Graphique Pour, Le Langage, Patricia Bournai, Patricia Bournai, ...
: pto) Ce travail a b'en'efici'e du soutien du CNET Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (URA 227) Universit e de Rennes 1 --...
Sequencing data flow tasks in SIGNAL (1993)
Calcul Symbolique, Eric Rutten, Eric Rutten, Paul Le Guernic, Paul Le Guernic, Projet Ep-atr
: The Signal language is a real-time, synchronized data-flow language. Its model of time is based on instants, and its actions are considered instantaneous. Various application domains such as signal...