Abstract
Advances in the quality of Safety-Critical Software Systems are very much essential in addressing the correctness, safety and security attributes of the system. The development processes of such critical systems are imperative at corresponding stages in accomplishing its key attributes. The use of formal methods and tools coupled with formal verification techniques presumes explicit definition of system and its properties which meets the specifications. A meticulous mathematical notation used to represent the critical systems at early stages of their development process is the substratum of Formal Methods. Model checking, a formal verification technique, encompasses specification and modelling languages that improve the overall software architecture. This paper describes various tools at different phases of development process of Safety-Critical Systems, aiding formal methods and verification techniques in software practices. Also we present a unified-framework architecture which integrates various such tools used in the development of Safety-Critical Systems and their underlying software.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Heitmeyer C (2005) Developing safety-critical systems: the role of formal methods and tools. In: Proceedings of the 10th Australian workshop on safety related programmable systems, Sydney, Australia, 25–26 Aug 2005, pp 13–29
Nanda M, Jayanthi J, Madhan V (2012) Intelligent knowledge database (IKD) tool for formal methods. Int J Soft Eng Appl (IJESA) 3(6):117–127. doi:10.5121/ijesa2012.3609
Henzinger M (2000) Tutorial: web information retrieval. IEEE Proceedings of 16th international conference on data engineering. 29 Feb–03 Mar 2000, San Diego, CA, pp 693. ISBN: 0-7695-0506-6, ISSN: 1063-6382
Dondossola G (1998) Formal methods in the development of safety critical knowledge-based components. Proceedings of the european workshop on validation and verification of knowledge-based systems, CEUR workshop proceedings. 06–08 June 1998, Povo, Trento, Italy, pp 01–12. ISSN: 1613-0073
Place PRH, Kang KC (1993) Safety-critical software: status report and annotated bibliography. Technical Report, CMU/SEI-92-TR-5, ESC-TR-93-182, June 1993
King T (2012) Reusing certified, safety-critical avionics software. In: 2012 IEEE/AIAA 31st digital avionics systems conference (DASC). 14–18 Oct 2012, Williamsburg, VA, pp 6A1-1–6A1-6. ISBN: 978-1-4673-1699-6
RTCA DO-178B/C, The Aviation Golden Standard, http://www.rtca.org
ARP 4761—Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment http://standards.sae.org/arp4761/
IEC 61508 – functional Safety Standard for Electronic Safety related Systems http://www.iec.ch/functionalsafety/
MIL-STD-254 https://www.document-center.com/standards/show/MIL-STD-254
Joshi A, Vestal S, Binns P (2007) Automatic generation of fault trees from AADL models. In: Workshop on architecting dependable systems (DSN ’07), Critical Systems Research Group
Grunske L, Han J (2008) A comparative study into architecture-based evaluation methodologies using AADL’s error annex and failure propagation models. In: IEEE computer society, 2008 11th IEEE high assurance systems engineering symposium, pp 283–292. ISSN: 1530/2059/08
OpenFTA—Advanced Tool for Fault Tree Analysis http://www.openfta.com/
OSATE—Open Source AADL Test Environment http://osate.github.io/
Acknowledgements
The authors would like to thank the Director, CSIR-NAL, Bengaluru for supporting this work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Kushal, K.S., Nanda, M., Jayanthi, J. (2018). Formal Methods and Tools for Safety of Critical Systems. In: Nanda, M., Jeppu, Y. (eds) Formal Methods for Safety and Security. Springer, Singapore. https://doi.org/10.1007/978-981-10-4121-1_2
Download citation
DOI: https://doi.org/10.1007/978-981-10-4121-1_2
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-4120-4
Online ISBN: 978-981-10-4121-1
eBook Packages: EngineeringEngineering (R0)