ITR: Advanced Programming Languages for Embedded Systems

马克·P·琼斯和理查德·B。KieburtzCCR-0205737“嵌入式系统的高级编程语言“在过去的几十年里，我们目睹了计算机使用和编程方式的显着变化。 例如，今天使用的许多计算机都隐藏在嵌入式系统中。 从洗衣机和电视机等日常电器到车辆导航和控制、国防应用或医疗设备等安全和安全关键系统，嵌入式计算机的使用使制造商能够构建比以往任何时候都具有更大灵活性、功能性和复杂性的系统。已经开发了新的编程语言，其具有提高开发者生产率并允许构造更可靠和灵活的系统的特征。 例如，模块系统有助于管理大型项目的复杂性，类型系统可用于在编译时检测错误，自动存储管理技术可消除常见的错误源。然而，在工业中，目前正在开发的许多嵌入式软件仍然使用较旧的语言或较低级的汇编语言编写，没有现代语言所能提供的好处。 问题是，最近的编程语言研究的结果和重点并没有很好地匹配嵌入式系统开发的挑战和背景。 因此，有些人可能期望嵌入式系统开发人员接受现代编程语言，但似乎许多人选择忽略它们！问题的一个来源是难以捕捉行为的所谓非功能方面-如执行时间、功耗和自适应性-这些是许多嵌入式系统的关键要求。 不幸的是，这些正是语言设计者为了提高生产力和可移植性而抽象出来的东西。 其他困难是由于并发和事件处理等功能的复杂处理而产生的，这些功能在许多嵌入式应用程序中也起着核心作用。 如果程序员在使用这些特性时不遵守精心制定的编码规则，可能会出现严重的错误，但底层类型系统或语义对检测这些问题几乎没有帮助。本项目致力于弥合这两个重要领域之间的差距，并展示嵌入式系统开发如何受益于编程语言研究并为其提供信息。 特别是，该项目正专注于正在进行的开发和使用一种名为Timber的高级语言，该语言支持并发、异步通信和非阻塞、反应式编程的隐式概念。所有这些功能都与嵌入式系统设计直接相关。 此外，该项目正在开发新的分析和编译技术，使行为的非功能方面能够使用高级约束和优雅降级策略来指定。 因为它们是在高层次上指定的，所以这些约束可以继续作为对所需行为的有意义的描述，即使程序发展到适应新功能或支持新平台。 成功的关键是一种声明式的方法，程序员专注于所需的内容，而编译器确定如何完成，使用分析结果来指导选择适当的低级实现策略。考虑到从研究到工业的过渡，该项目专注于PC/104系统的工具，这是一种工业标准，也是当今嵌入式系统市场的一个重要部分。 从长远来看，该项目有助于态度的转变和编程语言技术在交付更广泛，更灵活，更可靠和更安全的嵌入式系统中所扮演的角色的有益变化。

Mark P. Jones and Richard B. KieburtzCCR-0205737"Advanced Programming Languages for Embedded Systems"Over the last few decades we have witnessed remarkable changes in the way that computers are both used and programmed. For example, many of the computers in use today are hidden in embedded systems. From everyday appliances---such as washing machines and televisions---to safety and security critical systems---such as vehicle navigation and control, defense applications, or medical devices---the use of embedded computers allows manufacturers to build systems with much greater flexibility,functionality, and sophistication than has ever been possible before.During the same time, new programming languages have been developed with features that increase developer productivity and allow the construction of produce more reliable and flexible systems. For example, module systems help to manage the complexity of large projects, type systems can be used to detect bugs at compile-time, and automatic storage management techniques eliminate a common source of errors.In industry, however, much of the embedded software that is being developed today is still written using older languages, or lower-level assembly languages, without the benefits that modern languages can provide. The problem is that the results and focus of recent programming language research have not been a good match for the challenges and context of embedded systems development. As a result, where some might have expected embedded systems developers to embrace modern programming languages, it might seem instead that many have chosen to ignore them!One source of problems arises from difficulties in capturing so-called non-functional aspects of behavior---such as execution time, power consumption, and adaptivity---that are critical requirements for many embedded systems. Unfortunately, these are exactly the kinds of things that language designers have abstracted away from in the hope of increasing productivity and portability. Other difficulties occur as the result of complicated treatments of features such as concurrency and event handling, which again play a central role in many embedded applications. Significant bugs can occur if programmers do not adhere to a carefully worked out discipline of coding when they use such features, but there is very little that the underlying type system or semantics can do to help in detecting these problems.This project is working to bridge the gap between these two important fields, and to demonstrate how embedded systems development can benefit from and inform programming language research. In particular, the project is focusing on the ongoing development and use of a high-level language called Timber that supports an implicit notion of concurrency, asynchronous communication, and non-blocking, reactive programming. All of these features are directly relevant in the context of embedded systems design. In addition, the project is developing new analysis and compilation techniques that enable non-functional aspects of behavior to be specified using high-level constraints and policies for graceful degradation. Because they are specified at a high level, these constraints can continue to serve as meaningful descriptions of requiredbehavior, even as programs evolve to accommodate new functionality or to support new platforms. The key to success is a declarative approach in which programmers focus on what is required, while compilers determine how it should be accomplished, using the results of analysis to guide the selection of an appropriate, low-level implementation strategy.With the transition from research to industry in mind, the project is focusing on tools for PC/104 systems, which is an industry standard and an important sector in today's embedded systems market. In the longer term, the project is contributing to shifts in attitude and beneficial changes in the role that programming language technology can plays in the delivery of more widespread, more flexible, more reliable, and more secure embedded systems.