Open AccessBook
Specification and Design of Embedded Systems
Reads0
Chats0
TLDR
1. System-Design Methodology and Environment, Models and Architectures, and Specification Languages: Answering Machine in SpecCharts.Abstract:
1 Introduction 2 Models and Architectures 3 Specification Languages 4 A Specification Example 5 Translation to VHDL 6 System Partitioning 7 Design Quality Estimation 8 Specification Refinement into Synthesizable Models 9 System-Design Methodology and Environment Appendix: Answering Machine in SpecCharts Bibliography Indexread more
Citations
More filters
Dissertation
Rapid area-time estimation of C-based applications for hardware/software partitioning and design exploration
TL;DR: A framework to realize the rapid estimation of hardware area-time trade-off measures that can facilitate in the FPGA porting of C-codes segments and an architecture template is proposed in order to assist in the estimation of the data-path and control-path of the hardware generated to accelerate the C-code segment.
Software implementation techniques for HW/SW embedded systems
TL;DR: This work proposes a set of transformation rules that one can apply to the functional structure to reduce the complexity of the software design prior to implementation to remove the need for a real-time kernel in control-oriented systems.
Proceedings ArticleDOI
A study on the use of device tree structures for embedded software development
TL;DR: In this study, a methodology for the development of embedded software with using the Device Tree structure is introduced and it is compared with existing software development approach and a preliminary evaluation is performed with taking into account pros and cons of applying this new methodology.
An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation
TL;DR: In this article, a hardware/software co-design approach where different specification languages can be used in parallel, allowing effective system co-modeling is presented, and the proposed methodology introduces a process model that extends the traditional spiral model so as to reflect the design needs of modern embedded systems.
Developing an ESL Design Flow and Integrating Design Space Exploration for Embedded Systems
Falko Guderian,Gerhard Fettweis +1 more
TL;DR: This paper introduces a systematic development of design flows for embedded systems and shows that an abstract design flow model simplifies a derivation of domain-specific design flows.
References
More filters
Journal ArticleDOI
Optimization by Simulated Annealing
TL;DR: There is a deep and useful connection between statistical mechanics and multivariate or combinatorial optimization (finding the minimum of a given function depending on many parameters), and a detailed analogy with annealing in solids provides a framework for optimization of very large and complex systems.
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
An efficient heuristic procedure for partitioning graphs
Brian W. Kernighan,Shou-De Lin +1 more
TL;DR: A heuristic method for partitioning arbitrary graphs which is both effective in finding optimal partitions, and fast enough to be practical in solving large problems is presented.
Journal ArticleDOI
Hierarchical clustering schemes
TL;DR: A useful correspondence is developed between any hierarchical system of such clusters, and a particular type of distance measure, that gives rise to two methods of clustering that are computationally rapid and invariant under monotonic transformations of the data.
Proceedings ArticleDOI
A Linear-Time Heuristic for Improving Network Partitions
TL;DR: An iterative mincut heuristic for partitioning networks is presented whose worst case computation time, per pass, grows linearly with the size of the network.