US-Tunisia Cooperative Research: Analysis of Interrupt Latency Using Hybrid Machines

美国-突尼斯合作研究：使用混合机器分析中断延迟

• 批准号: 0213651
• 负责人: Feng Lin
• 金额: $ 3.12万
• 依托单位: Wayne State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-08-15 至 2006-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0213651&HistoricalAwards=false
• 关键词: US; Tunisia; Cooperative; Research; Analysis

0213651LinDescription: This award is for support of a cooperative project by Professor Feng Lin, Department of Electrical and Computer Engineering, Wayne State University, Detroit, Michigan and Dr. Nejib Ben Hadj-Alouane, Department of Applied Computer Sciences at the Ecole Nationale d' Sciences Informatique (ENSI) in Tunis, Tunisia. This project is to investigate the interrupt latency problem in software design. Most microprocessor/microcontroller systems contain sources of interrupt and interrupt service routines, which are software components executing in response to the assertion of an interrupt in hardware. Because the interrupt service routines execute on the same Central Processing Unit (CPU), they compete for the CPU and interfere with each other's latency requirements. Latency is defined as the delay between the assertion of the interrupt in hardware and the start of execution of the associated interrupt service routine. An important problem is whether a specific set of sources of interrupt and interrupt service routines can coexist in the same microprocessor/microcontroller software load without causing interrupt latency violations. The investigators plan to use a recently developed framework of hybrid machines to solve this problem. They will model sources of interrupt and interrupt service routines as hybrid machines. The main task of this project is to develop models for common microprocessor/microcontroller systems, efficient algorithms to check co-reachability in hybrid machines, efficient ways to represent hybrid machine models in programming languages such as C, and software tools that will help engineers to check interrupt latency violations in software and the how to eliminate the violations.Scope: The two scientists have collaborated and published jointly in 1994 and in 1997 while Dr. Hadj-Alouane was employed at Dow Chemicals Company and at the University of Michigan respectively. The model they propose in this project may result in important changes in practice for software design. The project will allow for visits by Dr. Lin to Tunisia and will encourage a mutually beneficial international collaboration between the Wayne State University and the ENSI in Tunisia. Funds for this project are provided by the Office of International Science and Engineering, the Division of Computer-Communications Research and Division of Experimental and Integrative Activities.

0213651lindescription：该奖项是为了支持Feng Lin教授，韦恩州立大学电气和计算机工程系，密歇根州韦恩州立大学电气和计算机工程系，以及Nejib Ben Hadj-Alouane博士，在Tunisia，Tunisia的Ecole Nationale D'Scicience Informatique（Ensi）的Ecole Nationale D'Sciences Informatique（Ensi）的计算机科学系。 该项目是为了调查软件设计中的中断延迟问题。 大多数微处理器/微控制器系统都包含中断和中断服务例程的来源，这是对硬件中断的主张执行的软件组件。 由于中断服务例程在同一中央处理单元（CPU）上执行，因此他们竞争CPU并干扰彼此的延迟要求。 延迟定义为硬件中断的主张与相关中断服务例程的执行开始之间的延迟。一个重要的问题是，一组特定的中断和中断服务例程的来源是否可以在同一微处理器/微处理器软件负载中共存而不会引起中断延迟违规。 研究人员计划使用最近开发的混合动力机器框架来解决此问题。他们将将中断和中断服务例程的来源建模为混合机器。 该项目的主要任务是为常见的微处理器/微控制器系统开发模型，有效地检查混合机器中的共同说明性，有效的方法来代表C编程语言中的混合机器模型，例如C等软件工具，例如，可以帮助工程师在软件中及其在199年违规中的中断延迟的延迟。 Hadj-Alouane分别在DOW Chemicals Company和密歇根大学工作。他们在该项目中提出的模型可能会导致软件设计实践的重要变化。该项目将允许林博士对突尼斯进行访问，并鼓励韦恩州立大学和突尼斯的ENSI之间进行互惠互利的国际合作。 该项目的资金由国际科学与工程办公室，计算机通信研究和实验和综合活动的部门提供。