权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

职业：嵌入式实时系统中时序属性的自动分析、调试和微调

基本信息

批准号：
9875648
负责人：
David Stewart
金额：
$ 20.5万
依托单位：
University of Maryland, College Park
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1999
资助国家：
美国
起止时间：
1999-03-01 至 2001-02-28
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9875648&HistoricalAwards=false
关键词：
CAREER Automated Analysis Debugging Fine

项目摘要

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.

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