Mathai Joseph

Learn More
In this paper we describe how a program constructed for afault-free system can be transformed into afault-tolerant program for execution on a system which is susceptible to failures. A program is described by a set of atomic actions which perform transformations from states to states. We assume that a fault environment is represented by a programF.(More)
  • Mathai Joseph
  • Prentice Hall International series in computer…
  • 1996
Bargaining with reading habit is no need. Reading is not kind of something sold that you can take or not. It is a thing that will change your life to life better. It is the thing that will give you many things around the world and this universe, in the real world and here after. As what will be given by this real time systems specification verification and(More)
This paper describes a compositional proof system called P-A logic for establishing weak total correctness and weak divergence correctness of CSP-like distributed programs with synchronous and asynchronous communication. Each process in a network is specified using logical assertions in terms of a presuppositionPre and an affirmationAff as a triple(More)
Fault-tolerance and timing have often been considered to be implementation issues of a program, quite distinct from the functional safety and liveness properties. Recent work has shown how these non-functional and functional properties can be verified in a similar way. However, the more practical question of determining whether a real-time program will meet(More)
A transformational method is given for specifying and verifying fault-tolerant, real-time programs. Such a program needs to be provably correct according to both its functional and real-time requirements, despite the possible occurrence of system failures. The paper demonstrates that a suitably expressive logic for real-time systems makes it possible to(More)
The incorporation of a recovery algorithm into a program can be viewed as a program transformation, converting the basic program into a fault-tolerant version. We present a framework in which such program transformations are accompanied by a corresponding specijcation transformation which obtains properties of the fault tolerant versions of the programs(More)
Fault-tolerance and timing have often been considered to be implementation issues of a program, quite distinct from the functional safety and liveness properties. Recent work has shown how these nonfunctional and functional properties can be verified in a similar way. However, the more practical question of determining whether a real-time program will meet(More)
This case report deals with the interdisciplinary approach of a 28-year-old lady with Amelogenesis imperfecta of the hypoplastic kind. The patient came with a chief illness of worn out teeth, unsatisfactory esthetics and severe sensitivity of teeth. Her family history revealed a related situation in her father's brother and her sister. On clinical(More)