Design and Implementation of TinyGALS: A Programming Model for ...

Contents
1 Introduction 1
2 The TinyGALS Programming Model 6
2.1 Introduction: An Example . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 TinyGALS Language Constructs . . . . . . . . . . . . . . . . . . . . . . . 7
2.2.1 TinyGALS Components . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.2 TinyGALS Modules . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2.3 TinyGALS Application . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 TinyGALS Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3.1 Assumptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3.2 TinyGALS Components . . . . . . . . . . . . . . . . . . . . . . . 14
2.3.3 TinyGALS Modules . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.4 TinyGALS Application . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4 TinyGUYS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3 Discussion 23
3.1 Determinacy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
i