Abstract
Safety critical embedded software applications are developed for systems whose failures contribute to hazards in the system for safety of life. Such software, as a part of extremely critical component of any system, requires high reliability index in its design, development or maintenance. Enhancing reliability and thereby achieving best quality software is a concern for safety critical software. In order to build highly reliable software, attributes of quality that are applied at each phase of development lifecycle are necessary to be considered for improvement. Usage of formal method based software tools during the development improves overall quality of the software by removing ambiguities and early detection & removal of faults. This paper highlights the requirements and significance of reliability on the overall performance of the safety critical software, the approach to higher reliability through software project planning, development with standard methodical process, automation and configuration control. Further, this paper emphasizes on enabling safety and reliability into the critical software systems by adopting factors such as development process, formal methods and relevant tools in order to build continued confidence.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
