CAREER: Automated Analysis, Debugging, and Fine-Tuning of Timing Properties in Embedded Real-Time Systems

9875648大卫·B·斯图尔特教育和研究项目专注于嵌入式实时系统的软件工程。教育活动通过在大学实验室设计和实施低成本的嵌入式系统，强调实际动手和跨学科学习。这项研究的目的是自动分析和微调嵌入式系统的时间特性，以便于调试定时误差。自动化是通过设计一种预测机制来实现的，该机制使用测量数据、所需要求和理论模型的组合来预测哪些微调操作可以帮助纠正错误。计算机辅助软件工程(CASE)工具结合了这些方法，使嵌入式系统程序员可以使用这些研究。研教一体化计划的影响是，将有更多的工程师来满足对嵌入式实时软件开发人员的需求。通过教育，更多的学生将拥有嵌入式系统的实践经验，从而为他们在工业领域工作做好更好的准备。通过研究，更好的工具将使拥有其他领域专业知识的工程师能够实施他们的应用程序，即使没有深入的实时系统理论背景也是如此。总而言之，嵌入式系统的开发时间可以减少，质量可以提高，最终导致嵌入式系统产品的成本更低。

9875648 David B. StewartEducation and research projects focus on software engineering for embedded real-time systems. Educational activities emphasize practical hands-on, inter-disciplinary learning by designing and implementing low-cost embedded systems in university laboratories. The objective of the research is to automate the analysis and fine-tuning of an embedded system's temporal properties to facilitate debugging of timing errors. Automation is achieved by designing a prediction mechanism that uses a combination of measured data, desired requirements, and theoretical models to predict what fine-tuning operations can aid in correcting the errors. A computer-aided software engineering (CASE) tool incorporates the methods, to make the research available to embedded system programmers. The impact of the integrated research and education plan is that more engineers will be available to fill the demand for embedded real-time software developers. Through education, more students will have hands-on experience with embedded systems, thus better preparing them for work in industry. Through research, better tools will enable engineers with expertise in other areas to implement their applications, even without an in-depth background in real-time systems theory. Together, development time for embedded systems can decrease and quality can be improved, ultimately leading to a lower cost for embedded system products.