A methodology to implement real-time applications onto reconfigurable circuits
The Journal of Supercomputing
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generation of embedded hardware/software from systemC
EURASIP Journal on Embedded Systems
EURASIP Journal on Applied Signal Processing
Necessary and sufficient conditions for deterministic desynchronization
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Implementing fault-tolerance in real-time programs by automatic program transformations
ACM Transactions on Embedded Computing Systems (TECS)
A Flexible system level design methodology targeting run-time reconfigurable FPGAs
EURASIP Journal on Embedded Systems - Reconfigurable Computing and Hardware/Software Codesign
A methodology for improving software design lifecycle in embedded control systems
Proceedings of the conference on Design, automation and test in Europe
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
An open framework for rapid prototyping of signal processing applications
EURASIP Journal on Embedded Systems - Special issue on design and architectures for signal and image processing
Sealable compile-time scheduler for multi-core architectures
Proceedings of the Conference on Design, Automation and Test in Europe
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A Model-Driven Design Framework for Massively Parallel Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Exploring system architectures in AADL via Polychrony and SynDEx
Frontiers of Computer Science: Selected Publications from Chinese Universities
Predicate-aware, makespan-preserving software pipelining of scheduling tables
ACM Transactions on Architecture and Code Optimization (TACO)
Hi-index | 0.00 |
This paper presents a seamless flow of transformationswhich performs dedicated distributed executive generationfrom a high level specification of a pair: algorithm, architecture. This work is based upon graph models andgraph transformations and is part of the AAA methodology.We present an original architecture model which allowsto perform accurate sequencer modeling, memory allocation,and heterogeneous inter-processor communications for both modes shared memory and message passing. Then we present the flow of transformations that leads to the automatic generation of dedicated real-time distributed executives which are deadlock free. This transformation flow has been implemented in a system level CAD software tool called SynDEx.