TY - GEN
T1 - Practical design recovery techniques for embedded operating system on complying with RTCA/DO-178B and ISO/IEC15408
AU - Kim, Minhyung
AU - Kim, Sangkyun
AU - Choi, Myungwhan
PY - 2005
Y1 - 2005
N2 - As robustness, stability, and security have been emphasized as the critical success factors of software and systems in the various fields of industry, achieving certification based on a verification of compliance with standards is regarded as the best solution which proves a reliability of product and provides a great marketing tool. Despite such an importance, most developers have scruple about documenting development processes sufficiently. Furthermore, most of software companies try to get a certification after a development of product. As a result, applicants preparing certification are in a quandary about making sufficient materials for certification process. To solve this problem, we present the practical techniques which could be used to recover the details of software design from product and source code in compliance with RTCA/DO-178B and ISO/IEC15408 standards.
AB - As robustness, stability, and security have been emphasized as the critical success factors of software and systems in the various fields of industry, achieving certification based on a verification of compliance with standards is regarded as the best solution which proves a reliability of product and provides a great marketing tool. Despite such an importance, most developers have scruple about documenting development processes sufficiently. Furthermore, most of software companies try to get a certification after a development of product. As a result, applicants preparing certification are in a quandary about making sufficient materials for certification process. To solve this problem, we present the practical techniques which could be used to recover the details of software design from product and source code in compliance with RTCA/DO-178B and ISO/IEC15408 standards.
UR - http://www.scopus.com/inward/record.url?scp=33745305579&partnerID=8YFLogxK
U2 - 10.1007/11553939_89
DO - 10.1007/11553939_89
M3 - Conference contribution
AN - SCOPUS:33745305579
SN - 3540288961
SN - 9783540288961
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 621
EP - 627
BT - Knowledge-Based Intelligent Information and Engineering Systems - 9th International Conference, KES 2005, Proceedings
PB - Springer Verlag
T2 - 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2005
Y2 - 14 September 2005 through 16 September 2005
ER -