We develop a software availability model incorporating software failure-occurrence and fault-correction times, under the assumption that the hazard rate for software failure-occurrence decreases geometrically with the progress in fault-removal process. Considering that the software system alternates two states, i.e. the operational state that a system is operating and the maintenance state that a system is inoperable due to the fault-correction activity, we model the time-dependent behavior of the system with a Markov process. Expressions for several quantities of software system perfomance are derived from this model. Finally, numerical examples are presented for illustration of software availability measurement.