Peter Fenelon

Learn More
Traditional methods for the assessment of software safety suffer from poor integration (from methodological, operational and semantic points of view) both with each other and with the rest of the development lifecycle of safety-critical systems. Our goal is to develop a set of methods and tools which address these weaknesses, and this paper describes our(More)
There are currently many problems with the development and assessment of software intensive safety-critical systems. In this paper we describe the problems, and introduce a novel approach to their solution, based around goal-structuring concepts, which we believe will ameliorate some of the difficulties. We discuss the use of modified and new forms of(More)
— This paper summarises the experience gained from application of Hazard and Operability Studies (HAZOP) and related techniques to four computer-based systems. Emphasis is placed on working practices and the integration of HAZOP-style analysis into a safety-oriented li-fecycle. Two of the case studies are described in some detail. An industrial study is(More)
Analysis of software safety can provide us with much interesting data on potential failure modes of individual software components and of the effects of these failures on the system as a whole. In this paper we describe our approach to software safety analysis, based around integrating notations with diverse causal models, and how we believe it can be used(More)
  • 1