单片机类毕业论文设计_英文翻译(编辑修改稿)

单片机类毕业论文设计_英文翻译(编辑修改稿)内容摘要：

毕业设计（论文） 7 provide bin packing algorithm for deployment and configuration of ponents in order to meet their required qualityofservice (QoS) properties, such as predictable latency/jitter, throughput guarantees, scalability etc. Cheddar tool is designed for software task scheduling simulation and feasibility analysis of systems described with Architecture Analysis amp。 Design Language (AADL). Methods for scheduling analysis and memory requirements analysis of buffers used for munication between AADL threads are described in [15]. Researchers have defined several HW/SW codesign methodologies in order to leverage system development. Multiponent architectures allowing RT implementations of plex algorithms at a low cost have been proposed. Several tools have been introduced for system modeling [16], synthesis [17] and design [18–20]. Ptolemy II [16] supports a variety of models of putation, for example, a timed multitasking model [21] for a deterministic design of the concurrent RT software. The tool is able to model a fixedpriority scheduling of tasks with constant execution times. SynDEx [20] is a codesign tool for rapid prototyping and optimizing the implementation of distributed RT embedded applications onto multiponent architectures. It includes automatic mapping and scheduling, supports architecture refinements and the automatic generation of the executable code. The plexity of the algorithms, reusability and traceability, demand a reduction in the design costs, and the diversity of skills and tools involved in the design process has driven researchers to define a new modeldriven methodology. The Model Driven Engineering (MDE) approach relies on using the concepts of models as an abstract presentation of the system. The model is always constructed with a specific purpose in mind and is not intended to represent the system as a whole. The semantics of the concepts and relations handled in the model has to be precisely specified. The role of the metamodel is to define what the valid models express, ., a model is conformable to a metamodel. Metamodels are defined using one of the modeling languages. The approach was 河南科技大学本科毕业设计（论文） 8 first applied in the SW engineering domain [22], but later it has also been increasingly used in the design of embedded systems [12,14,23,24]. In the MDE approach, models evolve with model transformations classified into vertical and horizontal transformations [25]. A typical example of the horizontal transformation is model migration, and an example of the vertical transformation is model refinement. Vertical transformation steps add more details to the model with respect to the previous step. Each vertical refinement step leads to a more detailed model, while still implying the properties of the abstract model from the first step. The level of abstraction is lowered towards the implementable model. The horizontal transformation is a transformation where the source and the target models reside at the same abstraction level, but the model can migrate from one tool to another. With horizontal transformations, different bridges between the tools can be established. For vertical and horizontal transformations different approaches and related languages have been developed that provide transformation environments. Acknowledged representatives of model transformation languages are ATL [26, 27] and GReAT [28, 29]. Transformation in GReAT relies on graph transformation techniques, while in ATL transformation is based on textual written rules. GReAT is used for model transformations in [14]. Detailed overview and parison of model transformation tools and approaches can be found in [30]. Our work is at the crossroads of the above research areas. Using the MDE approach based on metamodelling, we offer a design framework that supports model transformations so as to enable links between different tools, such as those mentioned above. Within the tool we provide scheduling simulation as in [15]. It provides analysis of software tasks execution time jitter to control performance. A model transformation bridge with HW/SW codesign tool extends this analysis to consider also the impact of hardware architecture ponents and also enables architectural exploration. 河南科技大学本科毕业设计（论文） 9 embedded system design tool The ModelDriven Embedded System Design Tool (MoDEST) tool [5] implements the methodology presented in [31]. Its main goal is to unify the ECS design steps into a homogeneous approach, by handling the p lexity and the heterogeneity of models, and to improve the model‘s consistency and tractability along the design stage in ‗‗Vshaped‘‘ ECS design process as presented in Fig. 1. The MoDEST tool offers a design environment ranging from controlalgorithm modeling to code generation for a monoprocessor target. The tool does not replace specialized domain tools, but enables the building of links between them in order to support, in the same framework, the whole embeddedsystem design process. The MoDEST tool implements multifacet design views, where each view is well suited to the job and the problems of each design step. It provides a domainoriented toolset for building a model, using a specific terminology (control, puterscience or RT), with the corresponding actor (control designer or RT software designer). These domainoriented languages are based on a SWponent approach, effectively accelerating the design cycle. The ponent approach increases the reusability of models, despite the rapid technological evolution of embedded platforms. The embedded control system is designed on the basis of three facets: functional, SW specification and implementation. In the functional facet, the user defines the algorithm using a dataflow graph, where the nodes are the functions and the data dependenc。