SELECTION AND DEFINITION OF SAFETY FUNCTION WHEN VERIFYING RAILWAY SIGNALLING AND REMOTE CONTROL COMPUTER-BASED SYSTEMS
https://doi.org/10.21683/1729-2646-2014-0-2-101-115
Abstract
The paper considers the issues of definition, formalization and selection of safety function used for the development and correctness demonstration of software of railway signalling and remote control systems. It also provides ways of searching for and changing of safety function based on a specification, limitation of resources, an applied safety strategy and general requirements for system performance.
About the Authors
K. A. Bochkov
Byelorussian State University of Transport
Belarus
Doctor of Engineering, Professor, Pro-rector for scientific activities, Scientific Head of Equipment Safety and EMC Laboratory
Belarus
Doctor of Engineering, Professor, Pro-rector for scientific activities, Scientific Head of Equipment Safety and EMC Laboratory
B. V. Sivko
Byelorussian State University of Transport
Belarus
Magister of Technical Sciences, assistant, lecturer
Belarus
Magister of Technical Sciences, assistant, lecturer
References
1. Butler R.W. “What is Formal Methods?” NASA LaRC Formal Methods Program, 2001.
2. Sivko B.V. Correctness demonstration of the 16-1 remote control unit for “Niemen” centralized traffic control // BelGUT Bulletin: Science and Transport. - 2012. #1 (24). – pp. 18-21.
3. Harlap S.N., Sivko B.V. Software verification for microprocessor based optical LED systems // BelGUT Bulletin: Science and Transport. - 2012. - #1 (24). – pp. 22-25.
4. Sivko B.V. Safe software designing of microprocessor based devices of railway signalling and remote control systems // Problems of safety on transport: Report synopsis, VI International Scientific and practical Symposium, Gomel, November, 29-30, 2012 / Ministry of Education - Belarus, Ministry of transport and communications, Belarus State University of Transport, - Gomel, 2012. – p. 205.
5. David Smith J. “Safety Critical Systems Handbook. A Straightforward Guide to Functional Safety, IEC 61508 and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 and ISO 13849” / David J. Smith and Kenneth G. L. Simpson // Elsevier Ltd., 2010.
6. Sivko B.V. SW correctness demonstration for multiprocessing devices of communication with facilities of railway signalling and remote control systems // BelGUT Bulletin: Science and Transport. - 2012. - #2 (25). – pp. 27-30.
7. Fagan M.E. Design and code inspections to reduce errors in program development, IBM Systems Journal, Volume 15 Issue 3, September 1976, p. 182-211.
8. Boehm B. W. Software engineering. IEEE Transactions on Computers 25:1226-1241, 1976.
9. Telles M., Hsieh Y., Telles M.A. The Science of Debugging // The Coriolis Group, 2001.
10. Boehm B.W., Papaccio P.N. Understanding and controlling software costs // IEEE Trans Softw Eng 14:1462-1477, October 1988.
11. Nancy G. Leveson, Software safety in embedded computer systems. Communications of the ACM, 34:34-46, February 1991.
12. Charles Perrow. Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984.
13. Ivars Peterson, Fatal Defect: Chasing Killer Computer Bugs, Times Books, New York, 1995.
14. Nancy G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.
15. Gerhart S.L., Yelowitz L. Observations of Fallibility in Applications of Modern Programming Methodologies // IEEE Trans. Software Eng., vol. 2, no. 3, 1976, pp. 195-207.
16. Sapozhnikov V.V., Century В., Kravtsov Ju.A., Sapozhnikov Vl.V. Discrete devices of railway signalling and remote control systems // M. Transport, 1988.
Review
For citations:
Bochkov K.A., Sivko B.V. SELECTION AND DEFINITION OF SAFETY FUNCTION WHEN VERIFYING RAILWAY SIGNALLING AND REMOTE CONTROL COMPUTER-BASED SYSTEMS. Dependability. 2014;(2):101-115. https://doi.org/10.21683/1729-2646-2014-0-2-101-115
Views:
737
ISSN 1729-2646 (Print)
ISSN 2500-3909 (Online)
ISSN 2500-3909 (Online)
Email this article 