Bibliography

Major publications by the team in recent years

[1]

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.

[2]

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.

[3]

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.

[4]

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).

[5]

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.

[6]

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.

[7]

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.

[8]

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.

[9]

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.

[10]

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.

[11]

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, n^o 9, p. 1321–1336.

[12]

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, n^o 4, p. 347–368.

Publications of the year

Articles in refereed journals and book chapters

[13]

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.

[14]

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.

[15]

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, n^o 8, p. 1458-1474.

[16]

S. Suhaib, D. Mathaikutty, D. Berner, S. Shukla.
Validating Families of Latency Insensitive Protocols, in: IEEE Transactions on Computers, 2006, vol. 55, n^o 11, p. 1391-1401.

Publications in Conferences and Workshops

[17]

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.

[18]

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.

[19]

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.

[20]

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.

[21]

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.

[22]

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.

[23]

J.-P. Talpin, C. Brunette, T. Gautier, A. Gamatié.
Polychronous mode automata, in: Embedded Software Conference, ACM Press, September 2006.

[24]

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

[25]

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.

[26]

Airlines Electronic Engineering Committee.
ARINC Report 651-1: Design Guidance for Integrated Modular Avionics, Technical report, Aeronautical radio, Inc., Annapolis, Maryland, 1997.

[27]

Airlines Electronic Engineering Committee.
ARINC Specification 653: Avionics Application Software Standard Interface, Technical report, Aeronautical radio, Inc., Annapolis, Maryland, 1997.

[28]

ATLAS Group (INRIA & Lina, Université de Nantes).
ATL, ATLAS T ransformation L anguage, Reference site
http://www.sciences.univ-nantes.fr/lina/atl/.

[29]

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.

[30]

L. Besnard, T. Gautier, P. L. Guernic.
SIGNAL V4-INRIA version: Reference Manual
http://www.irisa.fr/espresso/Polychrony/.

[31]

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.

[32]

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, n^o 2, p. 155-182
http://citeseer.ist.psu.edu/buck92ptolemy.html.

[33]

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.

[34]

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.

[35]

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.

[36]

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.

[37]

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.

[38]

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.

[39]

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, n^o 3, p. 219–254.

[40]

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.

[41]

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.

[42]

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.

[43]

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.

[44]

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.

[45]

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.

[46]

B. Werner.
Une Théorie des Constructions Inductives, Ph. D. Thesis, Université Paris VII, May 1994.