Review of the use of Formal Specification Techniques in Safety Critical Systems
Manohar K. R. Dasannagari1, Emanuel S. Grant2
1Manohar K. R. Dasannagari, University of North Dakota, Grand Forks, ND 58202, USA
2Emanuel S. Grant, University of North Dakota, Grand Forks, ND 58202, USA.
Manuscript received on 24 September 2018 | Revised Manuscript received on 30 September 2018 | Manuscript published on 30 November 2018 | PP: 334-337 | Volume-7 Issue-4, November 2018 | Retrieval Number: E1855017519©BEIESP
Open Access | Ethics and Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: In today’s world, computers permeate control systems on which most human lives depend. Thus, the need for software safety is vital. One best approach to ensure the correctness of such systems is to apply formal specification techniques. The use of these techniques helps in the increase of human confidence in safety critical systems. This paper focuses on the review of the use of formal specification techniques in the fields of aviation, and railways. The first section gives a brief description about safety critical systems and formal specification techniques. The second section provides background of the use of formal specification techniques in different areas. The application of formal specification techniques in the railway industry, its advantages and disadvantages will be discussed in third section. The next section provides an insight of application of formal specification techniques in the field of aviation, its pros and cons. The concluding section addresses future need of formal specification techniques usage in safety critical systems that can put human life at stake.
Keywords: Safety Critical Systems, Formal Specification Techniques, Aviation, Railways, Medical.
Scope of the Article: Knowledge Engineering Tools and Techniques