Jeff Tian's Research in Software Safety

My research interest in software safety is centered around analysis and prevention of hazardous conditions in computer-controlled safety-critical systems (CCSCS). We have newly developed extended fault tree and event tree analysis techniques by modeling the CCSCS in two frames, a physical frame made up of the physical processes and environments to be controlled, and a logical frame made up of the computer controller. System integrity is automatically checked by a prescription monitor to guarantee consistency between the two frames, and thus prevent hazardous conditions from occurring.

I am also interested in the comparative studies of software reliability engineering and software safety engineering, with references to topics on dynamic embedded systems, control engineering, and optimization techniques.

Some of these aspects are summarized in the following papers (see also abstracts for these and other related papers):

Prepared by Jeff Tian (
Last update: July 17, 2001.

Back to Jeff Tian's home page