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
Designing single chip systems
TL;DR: This extended abstract outlines an approach towards solving the problem of design automationsupport for codesigning hardware and software components within a single cost-efficient VLSI chip.
Dissertation
Hierarchical Memory Size Estimation for Loop Transformation and Data Memory Platform Optimization
TL;DR: A memory footprint estimation methodology that estimates the memory size requirement of a given memory hierarchy instance based on the maximal lifetime of data accesses and how the data will be mapped onto the memory platform later on is proposed.
Book ChapterDOI
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
TL;DR: Concepts that extend the Multi-agent Systems Engineering (MaSE) methodology for the development of agent-oriented embedded real-time systems are presented and integrated in the traditional engineering process of MasE and evaluated by applying the extended process to theDevelopment of a flexible agent- oriented embedded system for the control of an elevator model.
Book ChapterDOI
Hw/Sw Codesign of Embedded Systems
TL;DR: In this article, the authors introduce the key factors involved in the design of an embedded system, together with a description on how codesign is overcoming such problems, opening the way to a new generation of CAD frameworks supporting system-level design.
Proceedings ArticleDOI
Communication interface synthesis for multilanguage specifications
TL;DR: An approach for the communication interface synthesis of multilanguage specifications is presented, which allows to transform a system composed of subsystems, described in different languages, into a set of interconnected processors that communicate via signals and share communication controls.
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.