Search For:

Displaying 1-24 out of 24 total
Compositional design of isochronous systems
Found in: Design, Automation and Test in Europe Conference and Exhibition
By Jean-Pierre Talpin, Julien Ouy, Loic Besnard, Paul Le Guernic
Issue Date:March 2008
pp. 928-933
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related frameworks, global execution correctness is achieved by ensuring endochrony: the in...
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems
Found in: IEEE Transactions on Computers
By Sandeep K. Shukla, Jean-Pierre Talpin
Issue Date:August 2011
pp. 1057-1058
No summary available.
Embedding Polychrony into Synchrony
Found in: IEEE Transactions on Software Engineering
By Jens Brandt,Mike Gemunde,Klaus Schneider,Sandeep K. Shukla,Jean-Pierre Talpin
Issue Date:July 2013
pp. 917-929
This paper presents an embedding of polychronous programs into synchronous ones. Due to this embedding, it is not only possible to deepen the understanding of these different models of computation, but, more importantly, it is possible to transfer compilat...
Two Formal Semantics of a Subset of the AADL
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
Issue Date:April 2011
pp. 344-349
The analysis and verification of an AADL model usually requires its transformation into the meta-model of this model-checker or that schedulability analysis tool. However, one challenging problem is to prove that the transformation into the target model of...
Guest Editors' Introduction to the Special Section on Programming Architectures for Embedded Systems
Found in: IEEE Transactions on Computers
By Sandeep K. Shukla, Jean-Pierre Talpin
Issue Date:October 2008
pp. 1297-1299
No summary available.
A Modeling Paradigm for Integrated Modular Avionics Design
Found in: EUROMICRO Conference
By Abdoulaye Gamati, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
Issue Date:September 2006
pp. 134-143
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of systems designed on integrated modular avionics architectures. MIMAD relies on ...
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
Found in: 2012 12th International Conference on Application of Concurrency to System Design (ACSD)
By Adnan Bouakaz,Jean-Pierre Talpin,Jan Vitek
Issue Date:June 2012
pp. 183-192
Data-flow models ease the task of constructing feasible schedules of computations and communications of high-assurance embedded applications. One key and open issue is how to schedule data-flow graphs so as to minimize the buffering of data and reduce end-...
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
Found in: Computer and Information Technology, International Conference on
By Yue Ma, Jean-Pierre Talpin, Thierry Gautier
Issue Date:July 2010
pp. 2361-2366
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling environment SME. It introduces an effective method for transforming a behavior spec...
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation
Found in: Embedded Software and Systems, Second International Conference on
By Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier
Issue Date:May 2009
pp. 607-614
Architecture Analysis and Design Language (AADL) is used to describe the hardware and software architectures of embedded applications at the system level. The implementation of such systems is often distributed across asynchronous communication infrastruct...
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
Found in: VLSI Design, International Conference on
By Sandeep K. Shukla, Jean Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta
Issue Date:January 2003
pp. 9
No summary available.
Polychronous Analysis of Timing Constraints in UML MARTE
Found in: Object/Component/Service-Oriented Real-Time Distributed Computing Workshops , IEEE International Symposium on
By Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
Issue Date:May 2010
pp. 145-151
The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a broadly expressive Time Model to provide a generic timed interpretation for UML models. As a part of MARTE, Clock Constraint Specification Language (CCSL) allows ...
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Found in: Application of Concurrency to System Design, International Conference on
By Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin
Issue Date:July 2009
pp. 42-51
We propose a general method to characterize and synthesizecorrectness-preserving, asynchronous wrappers for synchronousprocesses on a globally asynchronous locally synchronous (GALS)architecture. Based on the theory of weakly endochronous systems, ourtechn...
Automated Translation of C/C++ Models into a Synchronous Formalism
Found in: Engineering of Computer-Based Systems, IEEE International Conference on the
By Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loic Besnard
Issue Date:March 2006
pp. 426-436
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system level capture in software programming languages such as C/C++ allow for a comf...
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Found in: Application of Concurrency to System Design, International Conference on
By Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
Issue Date:June 2010
pp. 137-146
The ANR project SPACIFY develops a domain-specific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based modeling environment which supports all aspects of aerospace software design. As such, ...
A Behavioral Type Inference System for Compositional System-on-Chip Design
Found in: Application of Concurrency to System Design, International Conference on
By Jean-Pierre Talpin, David Berner, Sandeep Kumar Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta
Issue Date:June 2004
pp. 47
The design productivity gap has been recognized by the 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 abs...
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
Found in: Design, Automation and Test in Europe Conference and Exhibition
By Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla, Twan Basten
Issue Date:February 2004
pp. 10384
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 synchronous simulation and model-checking toolkits. Our approa...
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic, Inria Irisa
Issue Date:March 2000
pp. 96
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 idealized notion of deterministic concurrency, which is muc...
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology
Found in: Application of Concurrency to System Design, International Conference on
By Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Rajesh Gupta, Frédéric Doucet
Issue Date:June 2003
pp. 9
The productivity gap incurred by the rising complexity of the system-on-chip design have necessitated newer design paradigms to be introduced based on system-level design languages. A gating factors for widespread adoption of these new paradigms is a lack ...
Polychrony for Refinement-Based Design
Found in: Design, Automation and Test in Europe Conference and Exhibition
By Jean-Pierre Talpin, Paul Guernic, Sandeep Kumar Shukla, Rajesh Gupta, Frédéric Doucet
Issue Date:March 2003
pp. 11172
Rising complexities and performances of integrated circuits and systems, shortening time-to-market demands for electronic equipments, growing installed bases of intellectual property, requirements for adapting existing Ips with new services, all stress hig...
Buffer minimization in earliest-deadline first scheduling of dataflow graphs
Found in: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES '13)
By Adnan Bouakaz, Jean-Pierre Talpin
Issue Date:June 2013
pp. 133-142
Symbolic schedulability analysis of dataflow graphs is the process of synthesizing the timing parameters (i.e. periods, phases, and deadlines) of actors so that the task system is schedulable and achieves a high throughput when using a specific scheduling ...
Clock-driven distributed real-time implementation of endochronous synchronous programs
Found in: Proceedings of the seventh ACM international conference on Embedded software (EMSOFT '09)
By Dumitru Potop-Butucaru, Jean-Pierre Talpin, Robert de Simone, Yves Sorel
Issue Date:October 2009
pp. 147-156
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their resources. This mapping comprises both temporal scheduling and spatial allocation aspect...
Guest editorial: Special issue on models and methodologies for co-design of embedded systems
Found in: ACM Transactions on Embedded Computing Systems (TECS)
By Jean-Pierre Talpin, Sandeep K. Shukla
Issue Date:May 2005
pp. 225-227
This special issue is based on innovative ideas presented and discussed during the first ACM/IEEE Conference on Formal Methods and Models for Co-Design (MEMOCODE) held at Mont Saint Michel in France during the summer of 2003. Selected papers from the confe...
Modular design through component abstraction
Found in: Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems (CASES '04)
By David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla
Issue Date:September 2004
pp. 202-211
Growing design sizes and shrinking time to market windows can only be met with drastically increased productivity. One way to obtain this is a smart reuse of intellectual property. This paper presents a methodology for modular design with the help of compo...
Implementation of the typed call-by-value λ-calculus using a stack of regions
Found in: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '94)
By Jean-Pierre Talpin, Mads Tofte
Issue Date:January 1994
pp. 188-201
We present a translation scheme for the polymorphically typed call-by-value λ-calculus. All runtime values, including function closures, are put into regions. The store consists of a stack of regions. Region inference and effect inference are used to ...