CONSIDERATIONS ON CURRENT RESEARCH ISSUES IN SOFTWARE SAFETY

The current debate about software safety is the result of basic disagr eements, among both researchers and practioners, about the usefulness of proposed techniques and possibly the very goals to be pursued. The underlying issue is the problem of predicting the safety of a software or software-based system, or the effectiveness of a method for obtain ing safety. An argument is made here in favour of quantitative, probab ilistic evaluation of safety. Then, some technical problems and resear ch results are reviewed. These include design methods for predictable timing behaviour, the roles of formal methods and of design diversity in achieving safety, and the limits to the levels of software safety t hat can be assessed or certified.