External network control on quality of service of M2M mission-critical applications in 4G

The provision of Quality of Service (QoS) may be regarded as value-added service in Machine-to-Machine (M2M) communications. QoS control is mandatory for mission-critical applications. In this paper, we study third party control on M2M connections which allows external applications to dynamically change available QoS. Models of application session with requested QoS are presented considering advanced policy and charging functionality in 4G networks. The formal description of the models and the concept of bisimilarity allow to be proved that the models express equivalent behavior.