ITR - ASE - int: Event Driven Software Quality

事件驱动的软件质量事件驱动的程序设计，其中任务被划分为对外部事件作出反应的协同调度的“处理程序”，已经被从高性能服务器到嵌入式系统的广泛接受，作为与世界交互的有效方法。 不幸的是，松散耦合的处理程序模糊了程序控制流和相互依赖性，使程序难以调试，维护和validation.This研究计划调查了新一代的编程语言和工具支持事件驱动的程序构造出的模块化组件。 作为代表性的测试系统，它侧重于点击，一个性能受限的模块化软件路由器，和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.