基于实时演算的复杂嵌入式系统实时性能分析方法研究

项目名称： 基于实时演算的复杂嵌入式系统实时性能分析方法研究

项目编号： No.61300022

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 关楠

作者单位： 东北大学

项目金额： 27万元

中文摘要： 许多嵌入式系统受到严格的时间行为约束，因此需要在系统设计时进行实时性能分析。随着嵌入式系统变得越来越复杂，如何对系统进行准确高效的实时性能分析已经成为嵌入式系统设计中亟待解决的瓶颈问题。近年来，实时演算作为一种分析复杂嵌入式系统实时性能的通用理论框架受到了广泛的关注。虽然实时演算已经展现出对复杂嵌入式系统进行实时性能分析的巨大潜力，但是其现有技术还无法很好地应对复杂嵌入式系统中并行结构复杂性，状态转换复杂性和时间参数复杂性等共性问题。针对这些问题，本课题将开展基于实时演算的复杂嵌入式系统实时性能分析方法的研究。通过解决面向并行负载与资源结构的实时演算建模与分析方法，高效的实时演算与时间自动机联合建模与分析方法，有限区间实时演算分析方法等问题来对复杂嵌入式系统进行准确高效的实时性能分析。

中文关键词： 实时系统；嵌入式系统；实时调度；实时演算；

英文摘要： Many embedded systems are subject to strict timing behavior constraints. Therefore, it is crucial to analyze the real-time performance in the design of such systems. As embedded systems are rapidly becoming more complex, the problem of how to precisely and efficiently analyze their real-time performance appears to be a bottleneck in the design of embedded systems. Recently, Real-Time Calculus has drawn considerable attentions as a generic framework for real-time performance analysis for complex embedded systems. Although Real-Time Calculus have shown great potentials in this subject, it still cannot very well handle common features of complex embedded systems such as parallel structure complexity, state transition complexity and timing parameter complexity. To solve these problems, this project will study how to apply Real-Time Calculus in real-time performance analysis of complex embedded systems. This project aims to solve the problems including modeling and analysis of parallel workload and resource in Real-Time Calculus, efficient ananlysis techniques integrating Timed Automata and Real-Time Calculus, limited time-interval domain Real-Time Calculus analysis techniques, and eventually suppor accurate and efficient real-time performance analysis for complex embedded systems.

英文关键词： real-time systems；embedded systems；real-time scheduling；real-time calculus；