Restricted Research - Award List, Note/Discussion Page

Fiscal Year: 2013

1696  University of Houston  (21174)

Principal Investigator: CHENG,ALBERT

Total Amount of Contract, Award, or Gift (Annual before 2011): $ 399,999

Exceeds $250,000 (Is it flagged?): Yes

Start and End Dates: 9/1/12 <> 8/31/15

Restricted Research: YES

Academic Discipline: COMPUTER SCIENCE

Department, Center, School, or Institute: NSM

Title of Contract, Award, or Gift: SHF: SMALL: REAL-TIME SCHEDULING AND ANALYSIS OF FUNCTIONAL REACTIVE SYSTEMS

Name of Granting or Contracting Agency/Entity: National Science Foundation
CFDA Link: NSF
47.070

Program Title: none
CFDA Linked: Computer and Information Science and Engineering

Note:

CCF-1219082 - The use of sophisticated digital systems to control complex physical components in real-time has grown at a rapid pace…. Since all these applications interact directly with the physical world and often have humans in the loop, their physical safety must be ensured…The goal of this project is to verifiably enhance the safety and performance of embedded control systems while reducing their implementation cost. This project considers a system where the controller software is implemented as a functional reactive program (FRP)… While there are limited domain-specific studies which provide basic schedulability analysis using approximate bounds on the response time of the transactional model used in implementing functional reactive programming, they do not provide the exact timing characterization needed to guarantee satisfaction of safety and timing constraints on the execution of the embedded controller. It is thus crucial to develop the response time analysis theory and tools as well as the scheduling policies needed to enhance the safety and performance of these real-time embedded systems. This project will address this challenge by developing a framework for accurate response time analysis, scheduling, and thermal-aware/power-conserving methods for these FRP-implemented controllers. The impact of this framework on physical system safety and performance will be evaluated holistically using two applications that will require integrating the results of all the proposed activities: automotive systems and avionics.

Discussion: No discussion notes

 

Close Window