ITR - ASE - int: Event Driven Software Quality

[摘要]事件驱动的软件质量事件驱动的编程，将任务划分为对外部事件作出反应的协作调度的“处理程序”，作为一种与外界交互的有效方法，已经从高性能服务器到嵌入式系统得到了广泛的接受。不幸的是，处理程序的松散耦合模糊了程序控制流和相互依赖性，使程序难以调试、维护和验证。本研究计划研究新一代的编程语言和工具，以支持由模块化组件构建的事件驱动程序。作为代表性的测试系统，重点介绍了性能受限的模块化软件路由器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.