We propose a methodology that allows software protocol implementors a means of analyzing power consumptions in wireless communication systems. The energy intensive nature of wireless communication has spurred much concern over how best systems can make the most use of this nonrenewable energy source. The methodology involves describing the logical flow of protocol data units through the protocol layers based on their formal specification. Here after, the state diagrams of the protocol layers are derived from this logical description. These diagrams provide the schema for the continuous-time Markov chains that enable the capturing of the protocol layer's behaviour. Markov Reward Models are then specified by defining the Markov chains that allow for the modelling of power consumption as a reward. Modelling power consumption this way allows for the investigation of the power factor, power level analysis, and power consumption comparison of the radio interface protocol layers.
展开▼
