Team Espresso

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities


Major publications by the team in recent years

B. Bouyssounouse, J. Sifakis (editors)
Embedded Systems Design. The ARTIST Roadmap for Research and Development, Thierry Gautier, contributor, Springer, Lecture Notes in Computer Science, Vol. 3436, 2005.
T. P. Amagbegnon, L. Besnard, P. Le Guernic.
Implementation of the Data-flow Synchronous Language Signal, in: Proceedings of the ACM Symposium on Programming Languages Design and Implementation (PLDI'95), ACM, 1995, p. 163–173.
A. Benveniste, B. Caillaud, P. Le Guernic.
From synchrony to asynchrony, in: CONCUR'99, Concurrency Theory, 10th International Conference, J. C. M. Baeten, S. Mauw (editors), Lecture Notes in Computer Science, Springer, August 1999, vol. 1664, p. 162–177.
A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone.
The Synchronous Languages Twelve Years Later, in: Proceedings of the IEEE Special issue on Modeling and Design of Embedded Systems, 2003, vol. 91(1).
A. Benveniste, P. Le Guernic, C. Jacquemot.
Synchronous programming with events and relations: the Signal language and its semantics, in: Science of Computer Programming, 1991, vol. 16, p. 103-149.
A. Gamatie, T. Gautier.
Synchronous Modeling of Avionics Applications using the SIGNAL Language, in: Proceedings of the 9th IEEE Real-time/Embedded technology and Applications symposium (RTAS'03), Washington D.C., USA, IEEE Press, May 2003.
T. Gautier, P. Le Guernic.
Code generation in the SACRES project, in: Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Huntingdon, UK, F. Redmill, T. Anderson (editors), Springer, February 1999, p. 127–149.
A. Kountouris, C. Wolinski.
High-level Pre-synthesis Optimization Steps using Hierarchical Conditional Dependency Graphs, in: Proceedings of the EUROMICRO'99, Milan, Italie, IEEE Computer Society Press, August 1999.
P. Le Guernic, J.-P. Talpin, J.-C. Le Lann.
Polychrony for system design, in: Journal of Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, 2003.
P. Le Guernic, T. Gautier.
Data-Flow to von Neumann: the Signal approach, in: Advanced Topics in Data-Flow Computing, J. L. Gaudiot, L. Bic (editors), 1991, p. 413–438.
P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
Programming Real-Time Applications with Signal, in: Proceedings of the IEEE, Septembre 1991, vol. 79, no 9, p. 1321–1336.
H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
Synthesis of Discrete-Event Controllers based on the Signal Environment, in: Discrete Event Dynamic System: Theory and Applications, October 2000, vol. 10, no 4, p. 347–368.

Publications of the year

Articles in refereed journals and book chapters

A. Gamatié, T. Gautier, P. Le Guernic.
Synchronous Design of Avionic Applications based on Model Refinements, in: Journal of Embedded Computing (JEC), (to appear), 2006.
A. Gamatié, T. Gautier, P. Le Guernic, J.-P. Talpin.
Polychronous Design of Embedded Real-Time Applications, in: ACM Transactions on Software Engineering and Methodology (TOSEM), (accepted pending minor revisions), 2006.
H. D. Patel, D. A. Mathaikutty, D. Berner, S. Shukla.
ARH: service-oriented architecture for validating system-level designs, in: IEEE Transactions on Computer-Aided Design, 2006, vol. 25, no 8, p. 1458-1474.
S. Suhaib, D. Mathaikutty, D. Berner, S. Shukla.
Validating Families of Latency Insensitive Protocols, in: IEEE Transactions on Computers, 2006, vol. 55, no 11, p. 1391-1401.

Publications in Conferences and Workshops

L. Besnard, H. Marchand, E. Rutten.
The Sigali Tool Box Environment, in: WODES'06, 8th International Workshop on Discrete Event Systems, Sessions on Software Tools for DES, Ann Arbor, Michigan, USA, IEEE Computer Society, July 2006.
C. Brunette, R. Delamare, A. Gamatié, T. Gautier, J.-P. Talpin.
A modeling paradigm for integrated modular avionics design, in: Software Engineering and Advanced Application, IEEE Press, September 2006.
C. Brunette, J.-P. Talpin, L. Besnard, T. Gautier.
Modeling multi-clocked data-flow programs using the Generic Modeling Environment, in: Synchronous Languages, Applications, and Programming, Elsevier, March 2006.
A. Gamatié, T. Gautier, P. Le Guernic.
Toward Static Analysis of SIGNAL Programs using Interval Techniques, in: Synchronous Languages, Applications, and Programming, SLAP 2006, Vienna, Austria, F. Maraninchi, M. Pouzet (editors), March 2006.
H. Kalla, J.-P. Talpin, D. Berner, L. Besnard.
Automated translation of C/C++ programs into a synchronous formalism, in: Engineering of Computer Based Systems, IEEE Press, March 2006.
S. Suhaib, D. Mathiakutty, S. Shukla, J.-P. Talpin.
Polychronous methodology for system design, a true concurrency approach, in: High-level design, validation and test workshop, IEEE Press, November 2006.
J.-P. Talpin, C. Brunette, T. Gautier, A. Gamatié.
Polychronous mode automata, in: Embedded Software Conference, ACM Press, September 2006.
F. Vernadat, C. Percebois, P. Farail, R. Vingerhoes, A. Rossignol, J.-P. Talpin, D. Chemouil.
The Topcased project - a toolkit in open-source for critical application and system development, in: International Space System Engineering Conference, Eurospace, May 2006.

References in notes

A. Agrawal.
Graph Rewriting And Transformation (GReAT) : A Solution for the Model Integrated Computing (MIC) Bottleneck, in: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE03), IEEE Computer Society, 2003, p. 364–368.
Airlines Electronic Engineering Committee.
ARINC Report 651-1: Design Guidance for Integrated Modular Avionics, Technical report, Aeronautical radio, Inc., Annapolis, Maryland, 1997.
Airlines Electronic Engineering Committee.
ARINC Specification 653: Avionics Application Software Standard Interface, Technical report, Aeronautical radio, Inc., Annapolis, Maryland, 1997.
ATLAS Group (INRIA & Lina, Université de Nantes).
ATL, ATLAS T ransformation L anguage, Reference site
A. Benveniste, P. Caspi, L. Carloni, A. Sangiovanni-Vincentelli.
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment, in: Embedded Software Conference (EMSOFT'03), Springer Verlag, 2003.
L. Besnard, T. Gautier, P. L. Guernic.
SIGNAL V4-INRIA version: Reference Manual
J. Bézivin, C. Brunette, R. Chevrel, F. Jouault, I. Kurtev.
Bridging the G eneric M odeling E nvironment and the E clipse M odeling F ramework, in: Proc. of the 4th workshop in Best Practices for Model Driven Software Development, OOPSLA, October 2005.
J. Buck, S. Ha, E. A. Lee, D. G. Messerschmitt.
Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems, in: Int. Journal in Computer Simulation, 1994, vol. 4, no 2, p. 155-182
J.-L. Colaco, B. Pagano, M. Pouzet.
A conservative extension of synchronous data-flow with state machines, in: In Embedded Software Conference., ACM Press, 2005.
F. Devin, P. Boulet, J.-L. Dekeyser, P. Marquet.
GASPARD : A Visual Parallel Programming Environment, in: International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), 2002, 145 p.
E. Giménez.
Un Calcul de Constructions Infinies et son Application à la Vérification des Systémes Communicants, Ph. D. Thesis, Laboratoire de l'Informatique du Parallélisme, Ecole Normale Supérieure de Lyon, December 1996.
M. Kerboeuf, D. Nowak, J.-P. Talpin.
Formal proof of a polychronous protocol for loosely time-triggered architectures, in: Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science n. 2885, Springer Verlag, 2003.
M. Kerbœuf, D. Nowak, J.-P. Talpin.
The steam-boiler problem in SIGNAL-COQ, in: International Conference on Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science, Springer Verlag, 2000.
A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, P. Volgyesi.
The Generic Modeling Environment., in: Proc. of the IEEE Workshop on Intelligent Signal Processing (WISP'01), May 2001.
F. Maraninchi, Y. Rémond.
Mode-automata: a new domain-specific construct for the development of safe critical systems, in: Sci. Comput. Program., 2003, vol. 46, no 3, p. 219–254.
D. Nowak, J.-R. Beauvais, J.-P. Talpin.
Co-inductive axiomatization of a synchronous language, in: International Conference on Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science, Springer Verlag, 1998.
A. Pnueli, O. Shtrichman, M. Siegel.
Translation validation: from Signal to C, in: Correct System Design Recent Insights and Advance, Lecture Notes in Computer Science, Springer Verlag, 2000, vol. 1710.
E. Rutten, F. Martinez.
Signal GTI: implementing task preemption and time intervals in the synchronous data flow language Signal, in: Proceedings of the 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, IEEE Publ., june 1995.
I. Smarandache, T. Gautier, P. Le Guernic.
Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints., in: World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Toulouse, France, October 1999, p. 1364-1383.
Y. Sorel.
SynDEx: System-Level CAD Software for Optimizing Distributed Real-Time Embedded Systems, in: Journal ERCIM News, October 2004, vol. 59, p. 68-69.
J.-P. Talpin, D. Potop-Butucaru, J. Ouy, B. Caillaud.
From multi-clocked synchronous specifications to latency-insensitive systems, in: Embedded Software Conference (EMSOFT), ACM Press, 2005.
B. Werner.
Une Théorie des Constructions Inductives, Ph. D. Thesis, Université Paris VII, May 1994.