Languages for embedded software
/pub/Gpce/WebView/emsp.gif
This research group explores the impact of state-of-the-art programming languages techniques such as multi-stage programming in embedded systems. Multi-stage languages already provide significant safety guarantees. For example, a program generator written in such a language not only is type-safe in the traditional sense, but we are guaranteed that any generated program will also be type safe. This provides a noteworthy degree of assurance about the quality of the generated code. But like most traditional high-level programming techniques, multi-stage programming was designed to satisfy functional requirements rather than operational ones, and existing multi-stage languages do not provide any guarantees about the behavior of programs in the presence of bounded resources. The challenge in this setting is ensuring that the generated programs are suitable for execution on an embedded platform.
These papers are also available in dvi and ps formats.
Supported by NSF ITR "A Framework for Rapid Development of Reliable Robotics Software"