Learn More
  • C. Perkins
  • 1999
Mobile IP enables a wireless network node to move freely from one point of connection to the Internet to another point, without causing disruption of established TCP end-to-end connectivity. Our model for extending Mobile IP relies on the existence of servers that are capable of performing accounting, authentication, and authorization (AAA) services. The(More)
The revised Ad Hoc On-demand Distance Vector (AODVv2) routing protocol is intended for use by mobile routers in wireless, multihop networks. AODVv2 determines unicast routes among AODVv2 routers within the network in an on-demand fashion, offering rapid convergence in dynamic topologies. Internet-Drafts are draft documents valid for a maximum of six months(More)
We present a new reliability model for hard real-time systems. This is an extended Markov model, derived from an analysis of the generic properties of hard real-time systems subject to a simple random-fault model. Our model permits analysis of the run-time behaviour of a system, in order to derive the probability prooles of the system's completion/failure(More)
We present a new reliability model for hard real-time systems. This model uses a generic high-level formalism based upon a Markov c hain with a lattice structure which represents the progress of a computation, allowing both functional and time correctness of the system to be modelled. This is an improvement on traditional system reliability models which t(More)
  • 1