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
Proceedings ArticleDOI
Discrete Event Simulation of Embedded Systems from Graphical Notations
TL;DR: This paper presents the approach for discrete event simulation of embedded systems modelled via UML diagrams with some extensions, and uses the latter model to estimate system performance.
Journal ArticleDOI
Implementing reactive closed-system specifications
TL;DR: A case study that models an access cycle in the Industry Standard Architecture bus is discussed and systematic methods for implementing state-based specifications in software and hardware are presented, focusing on the formal properties known as safety and liveness properties.
Journal ArticleDOI
Study on the Framework of ASIP Executable Specification
TL;DR: The research in accordance with the “description - synthesize” methodology to describe ASIP model is put forward, and the executable specification described by the ADL will be synthesized for HDL (Hardware Description Language) logic in EDA software framework to generate automatic design tools.
Journal ArticleDOI
An Architectural Model for System‐Level Design
J.P. Calvez,J. K. Peckol +1 more
TL;DR: This work proposes to add an intermediate level called the functional architectural level to the specification level of MCSE, which has a well‐formalized, semantics and notation, satisfies most of the required properties for an architectural model and is fully integrated into the MCSE methodology.
Proceedings ArticleDOI
Hardware software co-design using profiling and clustering
TL;DR: A framework for identifying functions that are computational extensive to hardware by proposing an algorithm using the time profiling and clustering technique to achieve the objectives is presented.
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.