Research ArticleOpen AccessGoogle Scholar indexed
An Augmented Framework for Formal Analysis of Safety Critical Systems
College of Engineering & Technology (FET), Mody University of Science & Technology, Laxmangarh, India
College of Engineering & Technology (FET), Mody University of Science & Technology, Laxmangarh, India
- 1 College of Engineering & Technology (FET), Mody University of Science & Technology, Laxmangarh, India
- 2 College of Engineering & Technology (FET), Mody University of Science & Technology, Laxmangarh, India
Journal of Software Engineering and Applications·Volume 10 (2017)·Pages 721–733·Published 3 July 2017·DOI10.4236/jsea.2017.108039
Copy link · social · email
Abstract
This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.
KeywordsUnified Modeling LanguageFormal MethodsZ NotationSafety Critical System
- Gowen, L.D. (1994) Specifying and Verifying Safety-Critical Software Systems. IEEE Seventh Symposium on Computer-Based Medical Systems, 235-240. https://doi.org/10.1109/cbms.1994.316018
- Dunn, W.R. (2002) Practical Design of Safety-Critical Computer Systems. Reliability Press, Solvang, USA.
- Hebig, R. (2014) On the Need to Study the Impact of Model Driven Engineering on Software Processes. In Proceedings of 2014 International Conference on Software and System Process, Nanjing, 26-28 May 2014, 164-168. https://doi.org/10.1145/2600821.2600846
- Booch, G., Rumbaugh, J. and Jacobson, I. (1999) The Unified Modeling Language User Guide. Addison-Wesley, Boston.
- Monin, J.-F. (2003) Understanding Formal Methods, Springer, Berlin. https://doi.org/10.1007/978-1-4471-0043-0
- Spivey, J.M. (2001) The Z Notation: A Reference Manual. 2nd Edition, Prentice Hall, Upper Saddle River.
- Rosenblum, D.S. (2005) Lightweight Extension Mechanisms for UML. Lecture Notes Advanced Analysis and Design (GS02/4022), London. http://www0.cs.ucl.ac.uk/teaching/syllabi/2006-07/ug/4022.htm
- Saaltink, M. (1999) The Z/EVES 2.0 User’s Guide, Technical Report TR-99-5493-06a. ORA Canada, One Nicholas Street, Suite 1208. Ottawa, Ontario K1N 7B7 CANADA.
- Myers, G.J. (2004) The Art of Software Testing. 2nd Edition, John Wiley & Sons, New York.
- Jorgensen, P.C. (2013) Software Testing: A Craftsman’s Approach. 4th Edition, Auerbach Publications, Boca Raton.