Loading in 2 Seconds...
Loading in 2 Seconds...
Modelling Wireless Sensor Networks George J. Milne Computer Science & Software Engineering University of Western Australia. wireless connectivity low power locality significant location significant possible mobility. Wireless Connected Ad-Hoc Sensor Networks. low cost and “disposable”
George J. Milne
Computer Science & Software Engineering
University of Western Australia
nodes sense change to landscape
e. g. water movement
spread of bushfire
communication between network nodes
interaction between landscape and network
conceptually, they “talk” to each otherTwo Interacting Systems: Ad-Hoc Network and Dynamic Landscape
represent behaviour of components in terms of state transition actions occurring between them ….interacting FSM behaviour known as a process
synthesise behaviour of composite system from processes via composition operator
this supports hierarchical and modular design methodology, helps manage design complexity found in large systemsProcess Algebra Philosophy:
System structure at 2 levels of abstraction
CIRCAL language constructs capture this system structure and allow behaviour of total system to be generated from behaviour of component parts
Parallel composition of behavioural processes expanded into global behaviour.
behaviour of constructed system resulting from application of parallel composition operator
Is this implementation behaviour correct with respect to the abstract specification So?
Requires abstraction and relabelling operators to show
So ( [S1,1 * S1,2 * S1,3] - c – d) [c/e]Figures 2 illustrates:
Investigating new formalisms which permit such dynamically changing structures.
model behaviour of each primitive object
global behaviour emerges from local cell behaviour via simulation
macroscopic from microscopic
appropriate modelling approach for dynamics of spatial systems
cells change state according to state of cells in neighbourhoodModelling Using Cellular Automata
Modelling Dynamics of Non-Linear Spatial Systems using Interacting Automata
Theory should support:
non-homogenous “building block” components
hence distinct update rules
global events modelled
hierarchical / modular description
combine distinct subsystems
use of abstraction to manage descriptive complexityWhy Not Pure CAs?
Validation early in design cycle
Exploration of design alternatives
Benefits of rigorous specification
Helps speed up design cycle
Simulation is crucial – why?