Abstract
Programmable Logic Controller (PLC) is applied to a control system as major components in industrial functional safety facilities. This paper describes the safety-critical software qualification approach which corresponds to the software verification and validation, software safety analysis, software quality assurance and software configuration management etc. Major qualification activities for safety-critical software are a technical evaluation, licensing suitability evaluation, inspection and traceability analysis, formal verification, software safety analysis, software quality assurance and its software configuration management etc. First, the technology evaluation performs a technical review which was based on engineering decision-making by verifiers. Second, the licensing suitability evaluation was performed according to the Code & Standard criteria by analyzing the designed outputs based on the functional characteristics and process characteristics defined in the verification and validation guidelines. Third, the inspection and traceability analysis covers the correctness, consistency, completeness, properties of the inputs and outputs, behavioral entities, interfaces, etc. with a three-folded checklist topology. Fourth, a formal verification perform for the statechart based on the Software Requirement Specification (SRS) and the Software Design Specification (SDS) by a Graphical Back Animation (GBA) and a simulation. Fifth, the software safety analysis use the HAZard Operability (HAZOP) method and it analyze the Failure Mode Effect Analysis (FMEA). Finally, a software configuration management under the software quality assurance estimate for the software documents and the source codes by using Software Configuration Management tool. We believe that we achieve the functionality, performance, reliability and safety that are the software qualification objective goals of the embedded system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kim, J.Y., Kwon, K.-C.: The Commercial Off The Shelf (COTS) Dedication of QNX Real Time Operating System (RTOS). In: International Conference on Reliability, Safety and Hazard 2010, Mumbai, India, December 14-16 (2010)
Kim, J.Y., Cheon, S.W., Lee, J.S., Lee, Y.J., Cha, K.H., Kwon, K.-C.: Software V&V Methods for a Safety Grade Programmable Logic Controller. In: International Conference on Reliability, Safety and Hazard 2005, Mumbai, India, pp. 1–3 (December 2005)
Cha, K.H., Kim, J.Y., Cheon, S.W., Lee, J.S., Lee, Y.J., Kwon, K.-C.: Software Qualificaiton of a Programmable Logic Controller for Nuclear Instrumentation and Control Applications. In: 2006 WSEAS International Conferences, ISCGAV 2006, Crete (August 2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, J., Kim, S. (2012). Software Qualification Approach for Safety-Critical Software of the Embedded System. In: Kim, Th., Ko, Ds., Vasilakos, T., Stoica, A., Abawajy, J. (eds) Computer Applications for Communication, Networking, and Digital Contents. FGCN 2012. Communications in Computer and Information Science, vol 350. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35594-3_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-35594-3_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35593-6
Online ISBN: 978-3-642-35594-3
eBook Packages: Computer ScienceComputer Science (R0)