@inproceedings{f10ae9e1de3144e2b72c3ee2563cd430,
title = "TinyGALS: A programming model for event-driven embedded systems",
abstract = "Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient, Programming embedded systems with multiple reactive tasks is difficult due to the complex nature of managing the concurrency of execution threads and consistency of shared states. This paper describes a globally asynchronous and locally synchronous model (TinyGALS) for programming event-driven embedded systems. Software components are composed locally through synchronous method calls to form modules, and asynchronous message passing is used between modules to separate the flow of control. In addition, a guarded yet synchronous model (TinyGUYS) is designed to allow thread-safe sharing of global state by multiple modules without explicitly passing messages. This programming model is structured such that all asynchronous message passing code and module triggering mechanisms can be automatically generated from a high-level specification. We have implemented the programming model and code generation facilities on a wireless sensor network platform known as the Berkeley motes. As an example, we have redesigned a multi-hop ad hoc communication protocol using the TinyGALS model.",
keywords = "Code generation, Embedded systems, Globally synchronous and locally asynchronous, Programming models, Sensor network",
author = "Elaine Cheong and Judy Liebman and Jie Liu and Feng Zhao",
year = "2003",
language = "英语",
isbn = "9781581136241",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery (ACM)",
pages = "698--704",
booktitle = "SAC 2003",
note = "18th Annual ACM Symposium on Applied Computing, SAC 2003 ; Conference date: 09-03-2003 Through 12-03-2003",
}