A Generative Programming
Approach to Developing Pervasive
Computing Systems
Damien Cassou, Benjamin Bertran, Nicolas Loriant and Charles Consel
GPCE'09

Pervasive
Computing Systems
2

3

Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise
●
testing  hardware/software
 functionalities
 interfaces
4

Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  implicit interactions
●
testing  no global reasoning
 multi-roles components
5

Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  incremental deployment
●
testing  mobility
 entity malfunction
6

Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  hardware
●
testing  network protocols
 middleware
 user needs
7

Pervasive Computing
●
heterogeneity
●
lack of structuring
●
dynamicity
●
multiple expertise  time consuming
●
testing  cost ineffective
 limited situations
8

Pervasive Computing
●
heterogeneity ●
Existing approaches
●
lack of structuring
●
general purpose
●
dynamicity
●
multiple expertise
●
partial
●
testing
9

Our approach
10

Our approach
11

Fire management
scenario
12

13

1 Taxonomy
DSL to describe a hierarchy of devices
●
attributes
●
data gathered
●
actions supported
14

1 Taxonomy
device SmokeDetector (Location loc){
source Smoke;
}
struct Smoke {
boolean isDetected;
}
15

1 Taxonomy
device Sprinkler (Location loc) {
action OnOff;
}
action OnOff {
on(); off();
}
16

17

2 Architecture
DSL to instantiate a common
pervasive computing architectural pattern
18

2 Architecture
19

2 Architecture
context SmokeDetected: boolean {
source Smoke from SmokeDetector;
}
context FireState: boolean {
context SmokeDetected;
context AverageTemperature;
}
20

2 Architecture
controller FireController {
context FireState;
action Activation on Alarm;
action OnOff on Sprinkler;
}
21

3 Generated programming
framework
●
generated from the description
●
dedicated to the application
in a
GPL!
22

3 Generated programming
framework
●
guides the implementation
●
abstracts the distributed back-end
●
provides high level support
in a
GPL!
23

3 Generated programming
framework
...
24

3 Generated programming
framework
●
interfaces
●
proxies
●
composites
●
support
➢
discovery
➢
RPC
●
and more
25

4 Application development
guided by the description
through the generated framework
26

4 Application development
controller FireController {
context FireState;
action OnOff on Sprinkler;
…
} architecture
framework
class MyFireCtrl extends FireController {
@Override
void fireStateChanged(boolean fire, Location loc) {
if (fire) {
discover(sprinklersWhere()…).on();
…
}
device discovery remote procedure call
…
} query language
}
user code
27

5 Generated simulation support
28

5 Generated simulation support
Editor
29

5 Generated simulation support
Runtime platform
no additional code!
30

Conclusion & Future work
●
From a small description of a ●
Non-functional properties
pervasive computing system ●
security
●
a generated programming ●
fault tolerance
framework
●
Further leveraging on existing
– to guide the development approaches/tools
– to ensure conformance
●
unit testing
●
a support for graphical
●
refactoring
simulation
●
Generalizing our approach to
●
a middleware abstraction
other domains
layer
31