Directions
Home > Research > Research Labs
Introduction to the SPIRAL
The Software Process Improvement and Reliability Assurance Laboratory is doing research on software technologies and software engineering paradigms, which support and improve software development process and software product quality. Research areas of the SPIRAL mainly deal with software reliability.
Software Reliability
Software Reliability is defined as the probability that software will not cause a system failure over a specified time under specified conditions, according to the IEEE standard 610.12-1990. Our research works focus on the development of methodology to predict or estimate a software's reliability in a quantitative manner using models and metrics. As the members of SPIRAL, our ultimate goal is to guide developers to produce reliable software that satisfies the customers and brings success to the company.
KAIST School of Computing 291 Daehak-ro, Yuseong-gu, Daejeon, Korea 34141
ⓒ KAIST School of Computing. All Rights Reserved.