Issues in developing software for safety critical systems

摘要: Abstract This paper discusses the production of software for safety critical systems from two points view: first, limits to what we can know about controlled by software; second, principles and techniques gaining ‘as much confidence as possible’ in systems. With respect first point our ability produce specifications safe behaviour, difficulties assessing whether or not have produced a system which is safe. The concludes that never be certain developed ‘safe’, but systematically determine (if properly applied) reduce uncertainties, doubts, safety. techniques, introduces efficacy development methods. It then twelve different facets are pertinent achievement demonstration safety, terms these principles. These factors range purely technical issues through quality assurance project management. with discussion relationship between reliability