galsC: A Language for Event-Driven Embedded Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

galsC: A Language for Event-Driven Embedded Systems

Résumé

We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local level, software components are linked via synchronous method calls to form actors. At the global level, actors communicate with each other asynchronously via message passing, which separates the flow of control between actors. A complementary model called TinyGUYS is a guarded yet synchronous model designed to allow thread-safe sharing of global state between actors via parameters without explicitly passing messages. The galsC compiler extends the nesC compiler, which allows for better type checking and code generation. Having a well-structured concurrency model at the application level greatly reduces the risk of concurrency errors, such as deadlock and race conditions. The galsC language is implemented on the Berkeley motes and is compatible with the TinyOS/nesC component library. We use a multi-hop wireless sensor network as an example to illustrate the effectiveness of the language.
Fichier principal
Vignette du fichier
228821050.pdf (174.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00181268 , version 1 (23-10-2007)

Identifiants

  • HAL Id : hal-00181268 , version 1

Citer

Elaine Cheong, Jie Liu. galsC: A Language for Event-Driven Embedded Systems. DATE'05, Mar 2005, Munich, Germany. pp.1050-1055. ⟨hal-00181268⟩

Collections

DATE
50 Consultations
145 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More