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

9875648 David B. stewart教育和研究项目集中于嵌入式实时系统的软件工程。教育活动强调通过在大学实验室设计和实施低成本嵌入式系统的实践实践和跨学科学习。研究的目的是自动化分析和微调嵌入式系统的时间属性，以方便调试时序错误。自动化是通过设计一种预测机制来实现的，该机制使用测量数据、期望需求和理论模型的组合来预测哪些微调操作可以帮助纠正错误。计算机辅助软件工程（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.