ITR - ASE - int: Event Driven Software Quality
ITR - ASE - int: Event Driven Software Quality
批准号:
0427202
负责人:
Jens Palsberg
金额:
$0.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-09-01 至 2009-08-31
中文摘要
[摘要]事件驱动的软件质量事件驱动的编程,将任务划分为对外部事件作出反应的协作调度的“处理程序”,作为一种与外界交互的有效方法,已经从高性能服务器到嵌入式系统得到了广泛的接受。不幸的是,处理程序的松散耦合模糊了程序控制流和相互依赖性,使程序难以调试、维护和验证。本研究计划研究新一代的编程语言和工具,以支持由模块化组件构建的事件驱动程序。作为代表性的测试系统,重点介绍了性能受限的模块化软件路由器Click和资源受限的嵌入式无线传感器操作系统TinyOS。编程过程的所有阶段都得到了解决,从用于编写事件驱动程序的语言,通过确保安全属性的自动验证和分析(例如限制处理事件所需的延迟),到减少代码大小、优化系统结构和满足全局资源约束的优化器。下一代语言和工具支持将增加对各种事件驱动系统的信心,包括Web服务器、传感器网络、医疗植入物、引擎控制和电传/电传驱动系统,并将使这一重要方法更容易教授。新的编译器和分析工具将向公众开放。
英文摘要
AbstractProposal 0427202U of Cal Los AngelesPIs: Jens Palsberg, Eddie Kohler, Rupak Majumdar, Todd MillsteinEvent-Driven Software QualityEvent-driven programming, where tasks are divided into cooperatively-scheduled "handlers" that react to external events, has found pervasive acceptance from high-performance servers to embedded systems as an efficient method for interacting with the world. Unfortunately, the loose coupling of handlers obscures program control flow and interdependencies, making programs hard to debug, maintain, and validate.This research program investigates a new generation of programming language and tool support for event-driven programs constructed out of modular components. As representative test systems, it focuses on Click, a performance-constrained modular software router, and TinyOS, a resource-constrained operating system for embedded wireless sensors. All phases of the programming process are addressed, from the languages used to write event-driven programs, through automated verifiers and analyses thatensure safety properties (such as bounding the latency required to handle an event), to optimizers that reduce code size, optimize system structures, and meet global resource constraints. Next-generation language and tool support will lead to increased confidence in a wide variety of event-driven systems, including Web servers, sensor networks, medical implants, engine control, and fly-by-wire/drive-by-wire systems, and will make this important methodology easier to teach. New compilers and analysis tools will be made publicly available.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Concurrency with Specified Orders
-
批准号:1815496
-
项目类别:Standard Grant
-
资助金额:$39.6万
-
财政年份:2018
-
负责人:Jens Palsberg
-
依托单位:
CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource
-
批准号:1823360
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2018
-
负责人:Jens Palsberg
-
依托单位:
Collaborative Research: CI-P: NJR: A National Java Resource
-
批准号:1730697
-
项目类别:Standard Grant
-
资助金额:$5.8万
-
财政年份:2017
-
负责人:Jens Palsberg
-
依托单位:
Workshop on High-Level Programming Models for Parallelism
-
批准号:1339507
-
项目类别:Standard Grant
-
资助金额:$8.13万
-
财政年份:2013
-
负责人:Jens Palsberg
-
依托单位:
SHF: Small: Typed Self-Application
-
批准号:1219240
-
项目类别:Standard Grant
-
资助金额:$49.36万
-
财政年份:2012
-
负责人:Jens Palsberg
-
依托单位:
Certification of Medical Device Software
-
批准号:0820245
-
项目类别:Standard Grant
-
资助金额:$70.0万
-
财政年份:2008
-
负责人:Jens Palsberg
-
依托单位:
Foundations of ILP-based Static Analysis
-
批准号:0401691
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Jens Palsberg
-
依托单位:
Foundations of ILP-based Static Analysis
-
批准号:0306401
-
项目类别:Standard Grant
-
资助金额:$27.0万
-
财政年份:2003
-
负责人:Jens Palsberg
-
依托单位:
ITR: Static Timing of Interrupt-Driven Software
-
批准号:0401680
-
项目类别:Continuing Grant
-
资助金额:$33.59万
-
财政年份:2003
-
负责人:Jens Palsberg
-
依托单位:
ITR: Static Timing of Interrupt-Driven Software
-
批准号:0112628
-
项目类别:Continuing Grant
-
资助金额:$43.29万
-
财政年份:2001
-
负责人:Jens Palsberg
-
依托单位:
CAREER: Type Inference for Object-Oriented Software
-
批准号:9734265
-
项目类别:Continuing Grant
-
资助金额:$20.5万
-
财政年份:1998
-
负责人:Jens Palsberg
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于双边带谐振的铒镱共掺光纤放大器
同带ASE抑制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2025
-
负责人:赵俊清
-
依托单位:
基于ASE模型的宫颈癌患者盆底肌康复健康管理模式的构建及应用研究
-
批准号:2023JJ60034
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:韦迪
-
依托单位:
920nm高重频飞秒激光用1微米ASE抑制型掺Nd磷酸盐玻璃光纤
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:王亚飞
-
依托单位:
基于ASE理论的炎症性肠病自我管理分层支持模型构建与实证研究
-
批准号:71904146
-
项目类别:青年科学基金项目
-
资助金额:19.5万元
-
批准年份:2019
-
负责人:陈亚梅
-
依托单位:
超宽角度ASE吸收激光薄膜研究
-
批准号:U1630123
-
项目类别:联合基金项目
-
资助金额:60.0万元
-
批准年份:2016
-
负责人:焦宏飞
-
依托单位:
脂质转移蛋白基因AsE246在根瘤菌侵染和共生体发育中的共生互作机制研究
-
批准号:31371549
-
项目类别:面上项目
-
资助金额:88.0万元
-
批准年份:2013
-
负责人:李友国
-
依托单位:
ASE-HSCCC-DPPH联用技术及在海洋天然活性物质筛选中的集成化研究
-
批准号:21205138
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2012
-
负责人:邓建朝
-
依托单位:
紫云英根瘤中特异表达的转脂蛋白新基因AsE246的鉴定及其在共生固氮中的功能研究
-
批准号:31071346
-
项目类别:面上项目
-
资助金额:34.0万元
-
批准年份:2010
-
负责人:陈大松
-
依托单位:
20Ps激光加热微管靶获取软X光ASE的实验研究
-
批准号:69188001
-
项目类别:专项基金项目
-
资助金额:5.0万元
-
批准年份:1991
-
负责人:谭维翰
-
依托单位: