Automatic safety analysis of networked control system based on failure propagation model

Proceedings of 2011 IEEE International Conference on Vehicular Electronics and Safety, ICVES 2011

Volumn , Issue , 2011, Pages 53-58

  Niu, Ru ^a   Tang, Tao ^a   Lisagor, Oleg ^b   McDermid, John ^b  

^a BEIJING JIAOTONG UNIVERSITY   (China)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Automatic Safety Analysis; Hierachical Framework; Networked Control System; Temporal FPTN

Indexed keywords

ANALYSIS TECHNIQUES; AUTOMATIC SAFETY ANALYSIS; COMMUNICATION-BASED TRAIN CONTROLS; ELECTRONIC SYSTEMS; ERROR PRONES; FAILURE BEHAVIORS; FAILURE PROPAGATION MODELS; HIERACHICAL FRAMEWORK; HIGH-CAPACITY; MECHANICAL CONTROL; NETWORKED CONTROL SYSTEMS; NETWORKED SYSTEMS; PRELIMINARY DESIGN; REAL-TIME DATA EXCHANGE; SAFETY ANALYSIS; STANDARD FORM; TEMPORAL EXPRESSIONS; TEMPORAL OPERATORS; TEMPORAL-FPTN; X-BY-WIRE;

BEHAVIORAL RESEARCH; CONTROL SYSTEMS; ENGINEERING EXHIBITIONS; MATHEMATICAL MODELS; SECURITY SYSTEMS;

CONTROL SYSTEM ANALYSIS;

EID: 80052904784     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICVES.2011.5983787     Document Type: Conference Paper

References (13)

1. Leveson, N. G., "A New Accident Model for Engineering Safer Systems", Safety Science, vol. 42, pp. 237-270, 2004.
2. Vernez, D. and Vuille, F., "Method to assess and optimise dependability of complex macro-systems: Application to a railway signalling system", Safety Science, vol. 47, pp. 382-394, 2009.
3. Khan, F. I., Abbasi, S. A., "TOPHAZOP: A knowledge-based software tool for conducting HAZOP in a rapid, efficient yet inexpensive manner", Journal of Loss Prevention in the Process Industries, vol. 10, pp. 333-343, 1997. (Pubitemid 28111864)
4. Vaidhyanathan, R., Venkatasubramanian, V., "Diagraph-based models for automated HAZOP analysis", Reliability Engineering and System Safety, vol. 50, pp. 33-49. 1995.
5. Bozzano, M., Cavallo, A., Cifaldi, M., et al, "Improving Safety Assessment of Complex Systems : An Industrial Case Study", Proc. Of the Formal Methods 2003, Vol. 2805, Springer-Verlag, pp. 208-222, 2003.
6. Abdulla1, P. Deneuxl, A., et al, "Designing Safe, Reliable Systems Using Scade", Leveraging Applications of Formal Methods. vol. 4313 of LNCS, Springer-Verlag, pp.115-129, 2006.
7. Fenelon P., McDermid J., et al, "Towards integrated safety analysis and design", ACM Computing Reviews, pp. 21-32, 1994.
8. Fenelon P., McDermid J., "An integrated toolset for software safety analysis", Journal of Systems and Software, 21(3):279-290, 1993. (Pubitemid 23708289)
9. Kaiser, B., "Extending the Expressive Power of Fault Trees", Proc. Of the 51st Annual Reliability & Maintainability Symposium (RAMS05), 2005.
10. Papadopoulos, Y., Mcdermid, J., et al, "Analysis and Synthesis of the Behaviour of Complex Systems in Conditions of Failure", Reliability Engineering & System Safety. Vol 71, pp. 229-247. 2001. (Pubitemid 32077202)
11. R. Niu, T. Tang. "A model-based framework for safety analysis of computer-based railway signalling system", Proc. of the 12th International Conference on Computer System Design and Operation in Railways and other Transit Systems (COMPRAIL 2010), pp 1743-1755, 2010.
12. R. Niu. "A Failure Propagation Model Based Framework for System Safety Analysis", Beijing Jiaotong University, 2010.
13. Papadopoulos Y, Mcdermid J. A. "Hierarchically Performed Hazard Origin and Propagation Studies": 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP '99), Toulouse France, 1999, 139-152.