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
Journal ArticleDOI
VHDL synthesis description portability: The need for Level synthesis subsets
TL;DR: The activities of the European V HDL Synthesis Working Group towards the definition of a Level-0 synthesis subset will be described, which will constitute a standard subset of VHDL for synthesis applications which will allow description portability between tools as well as design reusability.
Book ChapterDOI
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics
TL;DR: The state of development of a software–tool for interactive reliability analysis and evaluation of aircraft system configurations on the IMA platform is presented, enabling the evaluation of the effects of system integration by reliability calculations as well as redundancy management in a fault–free state and in cases of component failures.
Proceedings ArticleDOI
Control optimizations using behavioral don't cares
Rajesh Gupta,Jian V. Li +1 more
TL;DR: This paper describes the sources of the Don't Care information at the behavioral and structural levels, and its use in optimization of the control flow in system descriptions.
Journal ArticleDOI
Communication synthesis techniques for multiprocessor systems
TL;DR: The aim of the approach consists in mapping a high level specification into a modular and flexible target architecture that is extendible in order to minimize the communication cost that can be added by the partitioning.
Journal ArticleDOI
Multi-Valued Performance Metrics for Real-Time Embedded Systems
TL;DR: Several metrics that may be used to measure the timing performance of a design are presented and a superior metric has been identified through analysis of large sets of experiments.
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.