基于建模的方法评价评估实时嵌入式控制系统的性能____外文翻译.doc

英文资料翻译 A modeling-based methodology for evaluating the performance of a real-time embedded control system Klemen Perko, Remy Kocik, Redha Hamouche, Andrej Trost ABSTRACT This paper presents a modelling-based methodology for embedded control system (ECS) design. Here, instead of developing a new methodology for ECS design, we propose to upgrade an existing one by bridging it with a methodology used in other areas of embedded systems design. We created a transformation bridge between the control-scheduling and the hardware/software (HW/SW) co-design tools. By defining this bridge, we allow for an automatic model transformation. As a result, we obtain more accurate timing-behaviour simulations, considering not only the real-time software, but also the hardware architecture’s impact on the control performance. We show an example with different model-evaluation results compared to real implementation measurements, which clearly demonstrates the benefits of our approach. ? 2011 Elsevier B.V. All rights reserved KEY WORDS: Modeling, Model transformations, Embedded control systems design, Real-time systems 1. Introduction Embedded control systems (ECSs) are ubiquitous nowadays. They are used in a broad spectrum of applications, from simple temperature control in household appliances to complex and safety–critical automotive brake systems or aircraft flight control systems. Different applications have different demands with regards to the real-time execution, control performance, energy consumption, price, etc., of the ECS being used. Modern technologies for hardware (HW) and software (SW) design provide a variety of possibilities for designing ECSs (e.g., distributed and networked HW, multi-processor systems, a variety of SW control algorithms and real-time operating systems (RTOSs), etc.) [1]. It is commonly acknowledged that the designing and verifying of reliable and efficient ECSs for a particular application are challenging tasks. 1.1. Traditional control-system design