Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
Embedded real-time systems
Implementation of the data-flow synchronous language SIGNAL
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
The Verilog hardware description language (4th ed.)
The Verilog hardware description language (4th ed.)
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Platform-Based Design and Software Design Methodology for Embedded Systems
IEEE Design & Test
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Real-Time Modeling with UML: The ACCORD Approach
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
StreamIt: A Language for Streaming Applications
CC '02 Proceedings of the 11th International Conference on Compiler Construction
MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
COSMOS: a codesign approach for communicating systems
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Code Generation in the Polyhedral Model Is Easier Than You Think
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
Model-Driven SoC Design via Executable UML to SystemC
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
A UML 2.0 profile for SystemC: toward high-level SoC design
Proceedings of the 5th ACM international conference on Embedded software
Design Method Support for Domain Specific SoC design
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
A SystemC Refinement Methodology for Embedded Software
IEEE Design & Test
A model-driven design environment for embedded systems
Proceedings of the 43rd annual Design Automation Conference
UML-based multiprocessor SoC design framework
ACM Transactions on Embedded Computing Systems (TECS)
PeaCE: A hardware-software codesign environment for multimedia embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ModES: Embedded Systems Design Methodology and Tools based on MDE
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
An MPSoC Performance Estimation Framework Using Transaction Level Modeling
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Model-based Programming Environment of Embedded Software for MPSoC
ASP-DAC '07 Proceedings of the 2007 Asia and South Pacific Design Automation Conference
A Graphical Framework for High Performance Computing Using An MDE Approach
PDP '08 Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008)
High Level Loop Transformations for Systematic Signal Processing Embedded Applications
SAMOS '08 Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Model Transformations for the Compilation of Multi-processor Systems-on-Chip
Generative and Transformational Techniques in Software Engineering II
System-on-chip environment: a SpecC-based framework for heterogeneous MPSoC design
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Multidimensional Systems and Signal Processing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Towards UML 2 extensions for compact modeling of regular complex topologies
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Hardware-software co-implementation of a H.263 video codec
IEEE Transactions on Consumer Electronics
H.263+: video coding at low bit rates
IEEE Transactions on Circuits and Systems for Video Technology
Architecture exploration for efficient data transfer and storage in data-parallel applications
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
HiLeS2: model driven embedded system virtual prototype generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Using feature model to build model transformation chains
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A development and verification framework for the SegBus platform
Journal of Systems Architecture: the EUROMICRO Journal
Decentralized control for dynamically reconfigurable FPGA systems
Microprocessors & Microsystems
Hi-index | 0.00 |
Modern embedded systems integrate more and more complex functionalities. At the same time, the semiconductor technology advances enable to increase the amount of hardware resources on a chip for the execution. Massively parallel embedded systems specifically deal with the optimized usage of such hardware resources to efficiently execute their functionalities. The design of these systems mainly relies on the following challenging issues: first, how to deal with the parallelism in order to increase the performance; second, how to abstract their implementation details in order to manage their complexity; third, how to refine these abstract representations in order to produce efficient implementations. This article presents the Gaspard design framework for massively parallel embedded systems as a solution to the preceding issues. Gaspard uses the repetitive Model of Computation (MoC), which offers a powerful expression of the regular parallelism available in both system functionality and architecture. Embedded systems are designed at a high abstraction level with the MARTE (Modeling and Analysis of Real-time and Embedded systems) standard profile, in which our repetitive MoC is described by the so-called Repetitive Structure Modeling (RSM) package. Based on the Model-Driven Engineering (MDE) paradigm, MARTE models are refined towards lower abstraction levels, which make possible the design space exploration. By combining all these capabilities, Gaspard allows the designers to automatically generate code for formal verification, simulation and hardware synthesis from high-level specifications of high-performance embedded systems. Its effectiveness is demonstrated with the design of an embedded system for a multimedia application.