Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
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
An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels
IEEE Transactions on Computers
Early Embedded Software Design Space Exploration Using UML-Based Estimation
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
UML-based multiprocessor SoC design framework
ACM Transactions on Embedded Computing Systems (TECS)
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
Hi-index | 0.00 |
This paper proposes a design space abstraction, in order to decouple the exploration algorithm from the design space, which allows the application of the design space exploration (DSE) tool in different design scenarios and is appropriate for representing simultaneous and interdependent design alternative. From this new abstraction, the Model-Driven Engineering (MDE) approach is exploited to extract design information and compose the design space to be explored. Our approach uses model-to-model transformation rules as DSE constraints, which prune the available design space. These constraints are automatically generated from the UML model by translating design decisions pre-specified in UML diagrams into model transformation rules. In addition, non-functional requirements specified in UML as stereotypes are used to generate constraints in order to remove invalid solutions proposed during the DSE process. Finally, our approach offers an easy way for the designer to extend the set of constraints by using a well-accepted MDE toolset. A real application running on top of an MPSoC is used as case study to illustrate the proposed method.