Safety observations common problems with

The problem presented in this paper results fix>m the observation that tqr providing the presently used safety aiuilysis methods with formal semantics a number of ambiguities can be removed and a possibility of misinteipretation severely reduced. It is also e q>ected that tty integrating (through a common semantics base) a nuniber of existing safety analysis techniques the combined effect of their application can well exceed the simple sum of their individual effects. The paper introduces the problem and presents some steps towards its solution. Some other results in this direction have been recently published by other outhors [10]. Much more work is necessary, however. The research will be continued in association with the SHIP (Safety of Hazardous Industrial Processes) project curried out under the Enviromnent programme supported by the Commission of EC. 

---