Learn More
We introduce the tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring). RiTHM takes a C program under inspection and a set of LTL properties as input and generates an instrumented C program that is verified at run time by a time-triggered monitor. RiTHM provides two techniques based on static analysis and control theory to minimize instrumentation of(More)
Time-triggered runtime verification aims at tackling two defects associated with runtime overhead normally incurred in event-triggered approaches: unboundedness and unpredictability. In the time-triggered approach, a monitor runs in parallel with the program and periodically samples the program state to evaluate a set of properties. In our previous work, we(More)
Runtime verification is a formal technique used to check whether a program under inspection satisfies its specification by using a runtime monitor. Existing monitoring approaches use one of two ways for evaluating a set of logical properties: (1) event-triggered, where the program invokes the monitor when the state of the program changes, and (2)(More)
Real time video multicast has always been a topic of active research for almost all types of computer networks. With the shift of focus towards Mobile Ad-hoc Networks (MANETs), several approaches have been suggested for the creation and maintenance of multicast trees in the dynamic and unpredictable environment of MANETs. This paper presents a simple and(More)
This paper proposes a robust and energy efficient Highly Scalable Zone based Multicast Protocol (HSZMP) to achieve high scalability with reduced control overhead even under high dynamic mobility and large network size. This work constructs a virtual-zone-based structure in order to reduce the overhead for route discovery and maintenance of the tree(More)
Ad hoc networks, which are multi-hop and autonomous decentralized networks, have broad perspective in military communication, emergency communication, sensor networks and so on. Enhancing the performance of Ad hoc networks is one of the important objectives in the design of networks while congestion is a significant contributor that leads to network(More)
In this paper, the problem of dynamic multicast routing in mobile ad hoc networks is investigated. Dynamic multicast routing has become a major issue in Manet. Mobile ad hoc networks (MANETs) are collection of wireless mobile nodes, thus connectivity is an issue in this network. Moreover it, the network topology is defined by its routing strategy. In MANET,(More)
This paper presents a cluster head selection algorithm in wireless network, which is based on an optimal algorithm to find a maximum weighted independent set (MWIS) in planar graph. It is analysed that the wireless AD hoc networks and the application of the maximum weighted independent set. To prove the validity and practicability of MWIS, we compare MWIS(More)
  • 1