| |
Jean-Pierre Talpin |
 |
Team Espresso is interested in models of computations, formal methods and design tools for computer-aided engineering
embedded
software. In this aim, Espresso develops Polychrony, an integrated development environment and technology demonstrator. It is based on a multi-clocked synchronous
data-flow specification language, Signal, and comprises a reflexive graphical editor using Eclipse. Polychrony provides a unified modelling environment for embedded system design exploration using top-down, refinement-based, and bottom-up, component-based, design methodologies. Polychrony is free software. Commercial implementations supplied by Geensys have been and are being used for industrial-scale projects by Airbus, Hispano-Suiza, MBDA, PSA. |
Espresso coordinates the OpenEmbeDD initiative for an open-source embedded system design toolchain. Espresso participates to the TOPCASED initiative leaded by Airbus and to the SPACIFY project leaded by CNES and ONERA.
Espresso was associated project with the Fermat Laboratory at Virginia Tech and the UC San Diego project BALBOA. This cooperation was funded for five years under INRIA and NSF collaboration programs. The ACM-IEEE MEMOCODE conference and FMGALS workshop series were co-initiated in this context.
Two post-doctrate positions are currently available on "virtual prototyping embedded architectures".
Guest co-Editor of the IEEE Transactions on Computers, Special Section on Science of Design for Safety Critical Systems
Associate editor of the EURASIP Journal on Embedded Systems, Guest co-editor of Springer FMSD special issue on MEMOCODE'04, ACM TECS special issue on models and methods for co-design of embedded systems, IEEE Transactions on Industrial Informatics, special section on formal methods for embedded systems design, IEEE Transactions on Computers, special section on programming models and architectures for embedded system. General co-chair of MEMOCODE'05 and technical program co-chair of FMGALS'09, FMGALS'05, MEMOCODE'04, MEMOCODE'03, FMGALS'03. Technical program committee member of ACSD'10, SIES'10, SAC'10, SIES'09, ACSD'09, SAC'09, ESOP'09, RTAS'08, EMSOFT'08, ACSD'08, SAC'08, SLAP'08, SAC'07, MEMOCODE'07, SIES'07, ACSD'07, MEMOCODE'06, SAC'06, ICESS'05, FESCA'05, DATE'05, DATE'04, FESCA'04, DATE'03.
Recipient of the 2004 ACM SIGPLAN Award of the most influential POPL paper
Co-organizer of a full-day tutorial at DATE'09 on "Correct-by-Construction Embedded Software Synthesis: Formal Frameworks, Methodologies, and Tool" (slides)
Invited speaker at the 7th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES'09) on "Virtual prototyping embedded software for virtual architectures" (slides)
Invited speaker at the Third International School on Trends in Concurrency (TIC'10) on "Models, methods and tools for virtual prototyping embedded architectures" (slides)
"Compositional design of isochronous systems" Talpin, J.-P., Ouy, J., Gautier,T., Besnard, L., Le Guernic, P. To appear in Science of Computer Programming, Special Issue on APGES. Elsevier, 2010.
"Synoptic : a domain-specific modeling language for space on-board application software" Cortier, A., Besnard, L., Bodeveix, J.-P., Buisson, J., Dagnat, F., Filali, M., Garcia, G., Ouy, J., Pantel, M., Rugina, A., Strecker, M., Talpin, J.-P. . Chapter in Correct-by-construction embedded software design, Sandeep Shukla and Jean-Pierre Talpin, Editors. Springer, 2010.
"Compilation of polychronous data flow equations" Besnard, L., Gautier, T., Le Guernic, P., Talpin, J.-P. Chapter in Correct-by-construction embedded software design, Sandeep Shukla and Jean-Pierre Talpin, Editors. Springer, 2010.
"A module language for typing Signal programs by contracts" Glouche, Y., Gautier, T. Le Guernic, P., Talpin, J.-P. Chapter in Correct-by-construction embedded software design, Sandeep Shukla and Jean-Pierre Talpin, Editors. Springer, 2010.
"The synchronous hypothesis and polychronous languages" Potop-Butucaru D., De Simone, R., Talpin, J.-P. Chapter in Networked Embedded Systems. CRC Press, 2009.
"Programming models for multi-core embedded systems" Jose, B., Xue, B., Shukla, S., Talpin, J.-P. Chapter in Multi-core Embedded Systems. Taylor and Francis, 2009.
"A metamodel for the design of polychronous systems" Brunette, C., Talpin, J.-P., Gamatié, A., Gautier, T. Journal of Logic and Algebraic Programming, Special Issue on Applying Concurrency Research to Industry. Elsevier, 2008.
"Polychronous design of embedded real-time systems" Gamatié, A., Gautier, T., Le Guernic, P., Talpin, J.-P. ACM Transactions on Software Engineering and Methodology. ACM Press, 2006.
"An algebraic theory for behavioral modeling and protocol synthesis in system design" Talpin, J.-P, Le Guernic, P. In Formal Methods in System Design. Special Issue on formal methods for GALS design. Springer Verlag, 2006.
"Compositional behavioral modeling of embedded systems and conformance checking" Talpin, J.-P, Le Guernic, P., Shukla, S., Gupta, R. In International Journal on Parallel processing, special issue on testing of embedded systems. Springer Verlag, 2005.
"The synchronous hypothesis and synchronous languages" Potop-Butucaru D., De Simone, R., Talpin, J.-P. Chapter in Embedded Systems Handbook. CRC Press, 2005.
"Behavioral type inference for compositional system design" Talpin, J.-P., Berner, D., Shukla, S., Le Guernic, P., Gamatié, A., Gupta, R. Chapter in Formal Methods and Models for System Design. Kluwer Academic Publishers, 2004.
"Algebraic theory for behavioral type inference" Talpin, J.-P., Le Guernic. Chapter in Formal Methods and Models for System Design. Kluwer Academic Publishers, 2004.
"Capturing formal specifications into abstract models" Berner, D., Suhaib, S., Shukla, S., Talpin, J.-P. Chapter in Formal Methods and Models for System Design. Kluwer Academic Publishers, 2004.
"Formal refinement checking in a system-level design methodology" Talpin, J.-P., Le Guernic, P., Shukla, S. K., Gupta, R., Doucet, F. Special Issue of Fundamenta Informaticae on Applications of Concurrency to System Design. IOS Press, 2004.
"Encapsulation and behavioural inheritance in a synchronous model of computation for embedded system services adaptation" Kerboeuf, M., Talpin, J.-P. Journal of Logics and Algebraic programming, special issue on process algebra and system architectures. Elsevier, 2004.
"Polychrony for system design" Le Guernic, P., Talpin, J.-P., Le Lann, J.-C. Journal for Circuits, Systems and Computers. Special Issue on Application Specific Hardware Design. World Scientific, August 2003.
"Region-based memory management" Tofte, M., Talpin, J.-P. Information and Computation, Vol. 132(2), pages 109-176. Academic Press, 1997.
"Benchmarking implementations of functional languages with Pseudoknot, a float-intensive benchmark" Hartel, P., & al. Journal of Functional Programming, Vol. 6(4). Cambridge University Press, 1996.
"The type and effect discipline" Talpin, J.-P., Jouvelot, P. Information and Computation, Vol. 111(2), pages 245-296. Academic Press, 1994.
"Polymorphic type, region and effect inference" Talpin, J.-P., Jouvelot, P. Journal of Functional Programming, Vol. 2(3). Cambridge University Press, 1992.
"Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment" Talpin, J.-P, Ouy, J., Gautier, T., Besnard, L., Cortier, A. Application of Concurrency to System Design (ACSD'10). IEEE Press, 2010.
"Polychronous analysis of timing constraints in UML MARTE" Yue, H., Talpin, J.-P.,Besnard, L., Gautier, T., Mallet, F., André, C., de Simone, R. International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (MOBE-RTES'10). IEEE Press, 2010.
"Clock-driven distributed real-time implementation of endochronous synchronous programs" Potop-Butucaru D., De Simone, R., Sorel, Y., Talpin, J.-P.Embedded Software Conference (EMSOFT'09). ACM Press, 2009.
"Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form" Besnard, L., Gautier, T, Moy, M., Talpin, J.-P., Johnson, K., Maraninchi, F. Automated Verification of Cirtical Systems (AVOCS'09). EASST, 2009.
"A Boolean algebra of contracts for assume-guarantee reasoning" Glouche, Y., Le Guernic, P., Talpin, J.-P., Gautier, T. Formal Aspects of Component Software (FACS'09). Elsevier, 2009.
"A module language for typing by contracts" Glouche, Y., Talpin, J.-P., Le Guernic, P., Gautier, T. NASA Formal Methods Symposium (NFM'09). Springer, 2009.
"From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations" Potop-Butucaru D., De Simone, R., Sorel, Y., Talpin, J.-P. Application of Concurrency to System Design (ACSD'09). IEEE Press, 2009.
"Distributed simulation of AADL specifications in a polychronous model of computation" Ma, Y., Talpin, J.-P.,Shukla, S., Gautier, T. International Conference on Embedded Software and Systems (ICESS'09). IEEE Press, 2009.
"Separate compilation and execution of imperative synchronous modules" Vecchie, E., Talpin, J.-P., Schneider, K. Design Analysis and Test in Europe (DATE'09). IEEE, April 2009.
"On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications" Jose, B., Shukla, S., Patel, H., Talpin, J.-P. ACM-IEEE Conference on Methods and Models for Codesign (MEMOCODE'08). IEEE, June 2008."Virtual prototyping AADL architectures in a polychronous model of computation" Ma, Y., Talpin, J.-P.,Gautier, T. ACM-IEEE Conference on Methods and Models for Codesign (MEMOCODE'08). IEEE, June 2008.
"Analysis of periodic clock relations in polychronous systems" Talpin, J.-P., Métivier, H., Gautier, T., Le Guernic, P. IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'08). Springer, September 2008.
"Compositional design of isochronous systems" Talpin, J.-P., Ouy, J., Besnard, L., Le Guernic, P. Design Analysis and Test in Europe (DATE'08). IEEE Press, March 2008. Also available as Research Report n. 6227. INRIA, 2007.
"Generating multi-threaded code from polychronous specifications" Jose, B., Patel, H., Shukla, S., Talpin, J.-P. Synchronous Languages, Applications, and Programming (SLAP'08). Elsevier, March 2008.
"On the polychronous approach to embedded software design" Shukla, S. K., Suhaib, S. M., Mathaikutty, D. A., Talpin, J.-P. Next generation design and verification methodologies for distributed embedded systems (GM R&D WORKSHOP'07). Springer Verlag, 2007.
"Separate compilation of polychronous specifications" Ouy, J., Talpin, J.-P., Besnard, L., Le Guernic, P. Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS'07). Electronic Notes in Theoretical Computer Science, Elsevier, 2007.
"Polychronous mode automata" Talpin, J.-P., Brunette, C., Gautier, T., Gamatié, A. Embedded Software Conference (EMSOFT'06). ACM Press, 2006.
"Polychronous methodology for system design, a true concurrency approach" S. Suhaib, D. Mathaikutty, S. Shukla, J.-P. Talpin. High-level design, validation and test workshop (HLDVT'06). IEEE Press, November 2006.
"A modeling paradigm for integrated modular avionics design" Brunette, C., Delamare, R., Gamatié, A., Gautier, T., Talpin, J.-P. Software Engineering and Advanced Application (SEAA'06). IEEE Press, 2006.
"The Topcased project - a toolkit in open-source for critical application and system development" Vernadat, F., Percebois, C., Farail, P., Vingerhoeds, R., Rossignol, A., Talpin, J.-P., Chemouil,D. International Space System Engineering Conference - Data Systems in Aerospace (DASIA'06). Eurospace, May 2006.
"Modeling multi-clocked data-flow programs using the Generic Modeling Environment" Brunette, C., Talpin, J.-P., Besnard, L., Gauthier, T. Synchronous Languages, Applications, and Programming (SLAP'06). Elsevier, March 2006.
"Automated translation of C/C++ programs into a synchronous formalism" Kalla, H., Talpin, J.-P., Berner, D., Besnard, L. International Conference on the Engineering of Computer Based Systems (ECBS'06). IEEE, March 2006.
"Automated clock inference for stream function-based system level specifications" Talpin, J.-P., Shukla, S. High-level design, validation and test workshop (HLDVT'05). IEEE Press, November 2005.
"From multi-clocked synchronous specifications to latency-insensitive systems" Talpin, J.-P., Potop-Butucaru, D., Ouy, J., Caillaud, B. Embedded Software Conference (EMSOFT'05). ACM Press, September 2005.
"SystemCXML: an open-source extensible SystemC front-end using XML" Berner, D., Patel, H., Mathaikutty, D., Shukla, S., Talpin, J.-P. Forum on Specification and Design Languages (FDL'05). ECSI, September 2005.
"A verification approach for GALS integration of synchronous components" Doucet, F., Menarini, M., Krueger, I., Talpin, J.-P., Gupta, R. International Workshop on Formal Methods for Globally Asynchronous locally Synchronous Design (FMGALS'05). Electronic Notes in Computer Science. Elsevier, June 2005.
"A functional programming framework for latency insensitive protocol validation" Suhaib, S., Mathaikutty, D., Shukla, S., Berner, D., Talpin, J.-P. International Workshop on Formal Methods for Globally Asynchronous locally Synchronous Design (FMGALS'05). Electronic Notes in Computer Science. Elsevier, June 2005.
"Modular design through component abstraction" Berner, D., Talpin, J.-P., Le Guernic, P., Shukla, S. K. International conference on compilers, architectures and synthesis for embedded systems (CASES'04). ACM Press, September 2004.
"A behavioral type inference system for compositional system-on-chip design" Talpin, J.-P., Berner, D., Shukla, S. K., Gamatié, A., Le Guernic, P., Gupta, R. Application of Concurrency to System Design (ACSD'04). IEEE Press, June 2004.
"Modeling and validation of asynchronous systems in synchronous frameworks" Mousavi, M., R., Le Guernic, P., Talpin, J.-P., Shukla, S., Basten, T. Design Analysis and Test Europe (DATE'04). IEEE Press, March 2004. Available as INRIA Research Report 4935.
"Formal proof of a polychronous protocol for loosely time-triggered architectures" Kerboeuf, M., Nowak, D., Talpin, J.-P. International conference on formal engineering methods (ICFEM'03). Lectures Notes in Computer Science. Springer Verlag, November 2003.
"Hard real-time implementation of embedded systems in JAVA" Talpin, J.-P., Gamatié, A., Berner, D., Le Dez, B., Le Guernic, P. International Workshop on Scientific Engineering of Distributed JAVA Applications (FIDJI'2003). Lectures Notes in Computer Science. Springer Verlag, November 2003. Available as INRIA Research Report 5020.
"Polychrony for formal refinement-checking in a system-level design methodology" Talpin, J.-P., Le Guernic, P., Shukla, S. K., Gupta, R., Doucet, F. Application of Concurrency to System Design (ACSD'03). IEEE Press, June 2003.
"A polychronous model for high-level component-based system design". Talpin, J.-P., Le Guernic, P., Shukla, S. K., Gupta, R., Doucet, F. Design Analysis and Test Europe (DATE'03). IEEE Press, March 2003.
"A protocol for loosely time-triggered architectures" Benveniste, A., Caspi, P., Le Guernic, P., Marchand, H., Talpin, J.-P., Tripakis, S. Embedded Software Conference (EMSOFT'02). Lectures Notes in Computer Science. Springer Verlag, October 2002.
"Model checking robustness to desynchronization" Talpin, J.-P. Distributed and parallel embedded systems, IFIP World Computer Congress (DIPES'2002). Kluwer Academic Publishers, August 2002.
"Specification and verification of a steam-boiler with Signal-Coq" Kerboeuf, M., Nowak, D., Talpin, J.-P. International Conference on Theorem Proving in Higher-Order Logics (TPHOLs'00). Springer Verlag, October 2000.
"A new methodology for real-time distributed systems" Wang, Y., Talpin, J.-P., Benveniste, A., Le Guernic, P. IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'00). Kluwer Academic Publishers, September 2000.
"A semantics of UML state-machines using synchronous pre-order transition systems" Wang, Y., Talpin, J.-P., Benveniste, A., Le Guernic, P. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'00). IEEE Press, March 2000.
"Timed polyhedra analysis for synchronous languages" Besson, F., Jensen, T., Talpin, J.-P. Static Analysis Symposium (SAS'99). Springer Verlag, September 1999.
"Synchronous structures" Nowak, D., Talpin, J.-P., Le Guernic, P. International Conference on Concurrency Theory (CONCUR'99). Springer Verlag, August 1999.
"A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems" Talpin, J.-P., Nowak, D. International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS'98). Springer Verlag, December 1998.
"Co-inductive axiomatization of a synchronous language" Nowak, D., Beauvais, J.-R., Talpin, J.-P. International Conference on Theorem Proving in Higher-Order Logics (TPHOLs'98). Springer Verlag, October 1998.
"BDL, a language of distributed reactive objects" Talpin, J.-P., Benveniste, A., Caillaud, B., Jard, C., Bouziane, Z., Canon, H. International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98). IEEE Press, April 1998.
"An ML-like module system for the synchronous language SIGNAL" Nowak, D., Talpin, J.-P., Gautier, T., Le Guernic, P. European Conference on Parallel Processing (EUROPAR'97). Springer Verlag, August 1997.
"Reactive types" Talpin, J.-P. International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97). Springer Verlag, April 1997.
"Compiling FX on the CM-2" Talpin, J.-P., Jouvelot, P. Workshop on Semantics Analysis (WSA'93). Springer Verlag, September 1993.
"Implementation of the typed lambda calculus using a stack of regions" Tofte, M., Talpin, J.-P. Symposium on Principles of Programming Languages (POPL'94). ACM Press, January 1994. Received the 2004 ACM SIGPLAN Award of the most influential POPL paper.
"The type and effect discipline" Talpin, J.-P., Jouvelot, P. Conference on Logic in Computer Science (LICS'92). IEEE Press, June 1992.
Formal methods and models for system design - a system-level perspective
Gupta, R., Le Guernic, P., Shukla, S., Talpin, J.-P., Editors
ISBN 1-4020-8051-4 Springer Verlag, 2004Correct-by-construction embedded software design
Shukla, S., Talpin, J.-P., Editors
Springer, 2010
"Méthodes formelles pour la modélisation et l'analyse de systèmes" Talpin, J.-P. Thèse d'Habilitation à Diriger les Recherches (HDR). Université de Rennes, November 2003.
"Aspects théoriques et pratiques de l'inférence de types et d'effets" Talpin, J.-P. Thèse de Doctorat en Informatique de l'Université Paris VI. Ecole des Mines de Paris, May 1993
Copyright Notice Articles
available from this page are preprints of
published and copyrighted material. Permissions to reprint, republish
or reuse must be obtained from referenced Editors. Last modified May 14., 2008.
