Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented safety monitor synthesis
ENCRESS '97 IFIP TC5 WG5.4 3rd internatinal conference on on Reliability, quality and safety of software-intensive systems
Safety and Security Issues in Electric Power Industry
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Hi-index | 0.00 |
Experiences of application of the object oriented approach to safety analysis of an extra high voltage substation bay are presented. As the first step the object model of the whole application is developed. Then the model is subjected to three safety analysis methods. The analyses are supported by an existing tool. The paper illustrates the application of the proposed methods and also gives some observations on the performance of the tool.