ITR/SY: A Distributed Programming Infrastructure for Integrating Smart Sensors
ITR/SY: A Distributed Programming Infrastructure for Integrating Smart Sensors
批准号:
0121638
负责人:
Umakishore Ramachandran
金额:
$0.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-09-01 至 2009-08-31
中文摘要
实时、反应式和嵌入式系统在整个社会中被广泛且越来越多地使用(例如, 飞行控制、铁路信号、车辆管理系统、医疗设备)。 这一趋势可能会继续下去,因为在短短几年前还无法想象的应用程序已经进入了越来越复杂的处理器的范围。 许多 这样的应用是长期存在的,与它们的环境连续地交互,并且处于重要的实时约束之下。 随着这些反应式系统渗透到我们的生活中,为我们带来了从智能起搏器到杂货店中微小的新鲜度跟踪设备的一切,对具有成本效益,鼓舞人心的软件验证技术的需求也在增长。这个项目的重点是建立新的工具,用于检查一类常见的反应式实时系统,称为中断驱动系统。 本研究从四个方面展开,相互补充、相互支持。首先,这项工作将建立在分析七个商业微控制器的初步工作,以确定一个静态时序分析,是足够精确的一个中断处理程序。其次,将研究为多个中断处理程序指定和检查定时属性的方法。第三,一个类型化的汇编语言将被设计为具有时间界限,其中计时属性可以以模块化的方式指定,每次一个处理程序。第四,定时中断处理器演算将被设计成以独立于语言的方式体现结果,并使其易于证明关键属性。 新工具将通过静态分析和类型检查自动导出软件模型,并将结果提交给模型检查器。 这些工具可以大大降低测试要求,并在整个系统生命周期内为维护提供支持。
英文摘要
Real-time, reactive and embedded systems are widely and increasingly used throughout society (e.g., flight control, railway signaling, vehicle management systems, medical devices). This trend is likely to continue, as applications that would have been unthinkable only a few short years ago come into the reach of ever more complex processors. Many such applications are long lived, interact with their environment continuously, and are under important real-time constraints. As these reactive systems permeate our lives, bringing us everything from intelligent pace-makers to tiny freshness-tracking devices in groceries, the need for cost-effective, confidence-inspiring software validation techniques grows proportionately. This project focuses on building new tools for checking a common class of reactive real-time systems known as interrupt-driven systems. The proposed research has four facets that complement and support each other. First, this effort will build on preliminary work in analyzing seven commercial microcontrollers to identify a static timing analysis that is sufficiently precise for a single interrupt handler. Second, ways to specify and check timing properties for multiple interrupt handlers will be investigated. Third, a typed assembly language will be designed with time bounds in which timing properties can be specified in a modular way, one handler at a time. Fourth, a timed interrupt-handler calculus will be designed that will embody the results in a language-independent way and make it tractable to prove key properties. The new tools will automatically derive a model of the software by static analysis and type checking, and submit the result to a model checker. The tools can lead to significantly reduced testing requirements, and provide support for maintenance throughout the system life-cycle.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SCC-PG: Edge Computing for Bringing Smart Services to Under-served Urban Communities
-
批准号:2125354
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2021
-
负责人:Umakishore Ramachandran
-
依托单位:
CNS Core:Small: Edge Platform for Enabling Situation Awareness Applications
-
批准号:2008368
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2020
-
负责人:Umakishore Ramachandran
-
依托单位:
CNS: Core: Small: Elevating the Edge to be a Peer of the Cloud
-
批准号:1909346
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2019
-
负责人:Umakishore Ramachandran
-
依托单位:
I-Corps: OSSPolice
-
批准号:1851927
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2018
-
负责人:Umakishore Ramachandran
-
依托单位:
CPS: Breakthrough: Programming and Execution Environment for Geo-Distributed Latency-Sensitive Applications
-
批准号:1446801
-
项目类别:Standard Grant
-
资助金额:$45.72万
-
财政年份:2015
-
负责人:Umakishore Ramachandran
-
依托单位:
I-Corps: Flash in Action for High-Performance and Low-Energy Web Content Storage
-
批准号:1402342
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2014
-
负责人:Umakishore Ramachandran
-
依托单位:
CSR: Small: Storage Architecture for the Next Generation of Smart Mobile Platforms
-
批准号:1218520
-
项目类别:Standard Grant
-
资助金额:$44.0万
-
财政年份:2012
-
负责人:Umakishore Ramachandran
-
依托单位:
CSR-DMSS, SM: Web on Demand - Bridging the Gap Between Social Networks and Ad Hoc Networking
-
批准号:0834545
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2008
-
负责人:Umakishore Ramachandran
-
依托单位:
DCS: Ganga: Removing the Semantic Gap between Stream-based Applications and Stream Accelerators
-
批准号:0541079
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2006
-
负责人:Umakishore Ramachandran
-
依托单位:
NMI: Exploration of Middleware Technologies for Ubiquitous Computing with Applications to Grid Computing
-
批准号:0330639
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Umakishore Ramachandran
-
依托单位:
Computing on Clusters: Data Abstractions, Runtime Systems, and Resource Management
-
批准号:9972216
-
项目类别:Standard Grant
-
资助金额:$23.04万
-
财政年份:1999
-
负责人:Umakishore Ramachandran
-
依托单位:
CISE Research Infrastructure: Advanced Media-Oriented Systems Research: Ubiquitous Capture, Interpretation, and Access
-
批准号:9972872
-
项目类别:Continuing Grant
-
资助金额:$160.01万
-
财政年份:1999
-
负责人:Umakishore Ramachandran
-
依托单位:
The Quest for a Zero Overhead Parallel Machine
-
批准号:9630145
-
项目类别:Standard Grant
-
资助金额:$23.54万
-
财政年份:1996
-
负责人:Umakishore Ramachandran
-
依托单位:
The Impact of Architectural Features on the Performance of Parallel Algorithms
-
批准号:9200005
-
项目类别:Continuing Grant
-
资助金额:$25.49万
-
财政年份:1992
-
负责人:Umakishore Ramachandran
-
依托单位:
Presidential Young Investigator Award: Architectural Issues in Parallel and Distributed Computing
-
批准号:9058430
-
项目类别:Continuing Grant
-
资助金额:$15.0万
-
财政年份:1990
-
负责人:Umakishore Ramachandran
-
依托单位:
Research Initiation: Distributed Operating Systems and Machine Architecture: Reducing the Semantic Gap
-
批准号:8809268
-
项目类别:Standard Grant
-
资助金额:$6.93万
-
财政年份:1988
-
负责人:Umakishore Ramachandran
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于Nurr1调节YAP-INF2-线粒体分裂途径探讨龙琥醒脑颗粒在SH-SY5Y细胞氧糖剥夺再灌注诱发的神经元损伤的保护作用研究
-
批准号:2025JJ80982
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:张占伟
-
依托单位:
SY4835通过WEE1/DDR1双靶点抑制胰腺癌的作用及机制
-
批准号:82373136
-
项目类别:面上项目
-
资助金额:48万元
-
批准年份:2023
-
负责人:张晓飞
-
依托单位:
米糠黄酮抑制Aβ诱导的SH-SY5Y细胞中Tau蛋白过度磷酸化的分子机制研究
-
批准号:2022JJ31009
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2022
-
负责人:张琳
-
依托单位:
天目山来源链霉菌Streptomyces sp. SY1322中morindolestatin类新颖咔唑生物碱获取及其铁死亡抑制活性研究
-
批准号:LY21H300001
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2020
-
负责人:马列峰
-
依托单位:
基于MDM2-p53和MDMX-p53蛋白-蛋白相互作用的双重抑制剂SY1108的结构优化及抗肿瘤活性研究
-
批准号:21867013
-
项目类别:地区科学基金项目
-
资助金额:40.0万元
-
批准年份:2018
-
负责人:王亚丽
-
依托单位:
昆虫病原线虫共生菌SY5致死小菜蛾毒素的中肠靶标受体分离与鉴定
-
批准号:31301663
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2013
-
负责人:王欢
-
依托单位:
圆根大戟和甘遂中保护多巴胺所致SH-SY5Y细胞损伤帕金森模型作用和机制研究
-
批准号:81260628
-
项目类别:地区科学基金项目
-
资助金额:49.0万元
-
批准年份:2012
-
负责人:王金辉
-
依托单位:
拟南芥SY1蛋白抑制逆境基因表达的分子机理研究
-
批准号:31270316
-
项目类别:面上项目
-
资助金额:80.0万元
-
批准年份:2012
-
负责人:杨万年
-
依托单位:
刺五加有效组分对转染α-Syn的 SH-SY5Y细胞调控及机制研究
-
批准号:81073019
-
项目类别:面上项目
-
资助金额:32.0万元
-
批准年份:2010
-
负责人:刘树民
-
依托单位:
亚洲含SY基因组披碱草属植物地理分化的分子生物学基础
-
批准号:30270092
-
项目类别:面上项目
-
资助金额:20.0万元
-
批准年份:2002
-
负责人:卢宝荣
-
依托单位: