The evolution of Software Radio concept provides increased features to radio access networks. The reconfiguration of radio equipment requires the existence of an architecture, a common framework, that allows a flexible management, in any sense, of software running on radio processors. Such framework must take into account the heterogeneity of hardware devices and platforms where the radio appli...

In this paper we consider combining two techniques that have been effective in analyzing infinite-state systems: predicate abstraction and fixpoint approximations. Using a carefully crafted model of Airport Ground Network Control, we show that when predicate abstraction in a CEGAR loop fails to verify temporal logic properties of an infinite-state transition system, a combination of predicate a...

The dominant technology of data communication networks is the Packet Switching Network (PSN). It is a complex technology organized as various hierarchical layers according to the International Standard Organization (ISO) Open Systems Interconnect (OSI) Reference Model. The Network Layer of the ISO OSI Reference Model is responsible for delivering packets from their sources to their destinations...

VPN service providers (VSP) and IP-VPN customers have traditionally maintained service demarcation boundaries between their routing and signaling entities. This has resulted in the VPNs viewing the VSP network as an opaque entity and therefore limiting any meaningful interaction between the VSP and the VPNs. A key challenge is to expose each VPN to information about available network resources ...

In the nal-focus system of a linear collider, the e ect of longitudinal space charge can be signi cant. A diverging or converging ultra-relativistic beam experiences a longitudinal space-charge force which is independent of the beam energy. This force, though weak and often neglected, causes an energy variation across the bunch which depends on the beam size, beam-pipe radius and bunch populati...