국제표준기구의 SW 개발 공정 인증을 위한 서비스 설계 및 인증 관리 도구: ADONIS = ADONIS: A Service Design and Certification Management Tool for Certification of Software Development Process in International Standard Organization

다국어 초록 (Multilingual Abstract)

In the perspective of service, it is important to institute certification process required by International Standard Organization (ISO) for software (SW) development process, since Information and Communication Technology (ICT) takes high portion of the Korean industry and its certification for SW is essential internationally for trade. In addition, the certification service provided by BPMN tools like ADONIS is absolutely necessary. In that perspective, this paper proposes a new approach to satisfy this kind of necessity. This approach provides the certification service for the safety of SW required at the international level in Korean industry. Furthermore, the approach can be applied to other domains beside the SW. In order to demonstrate the approach, this paper shows how to guarantee service design for certification of ECSS-E-40 of European Space Agency (ESA) with ADONIS. This paper focuses on specification and verification of SW in E-40, and the main requirement for the verification will be safety of the SW.

국문 초록 (Abstract)

서비스 관점에서 국제표준기구가 요구하는 수준의 인증 서비스를 SW 개발과정에 도입하는 것은 매우 중요하다. 그 이유는 우리 산업에서 ICT가 차지하는 비중이 매우 높을 뿐만 아니라, ICT 관련 SW에 대한 국제적인 수준의 인증 은 필수적이기 때문이다. 그리고 이를 위해서 ADONIS와 같은 과학적이며 체계적인 도구를 기반으로 한 인증 서비스 가 절대적으로 요구된다. 본 논문에서는 이러한 시대적, 사회적 요구에 부응할 수 있는 하나의 새로운 방법 체계를 제시하였다. 이 체계는 우리 산업에 국제적인 수준에서 요구되는 SW의 안전성에 대한 인증 서비스를 제공하였고, 이 러한 서비스는 다른 영역에도 적용될 수 있다. 이러한 체계를 설명하기 위해 EU우주항공국의 표준안 중 ECSS-E-40 의 인증을 위한 서비스의 설계와 이에 대한 보증이 어떻게 이루어지는지 서비스 공학 측면에서 살펴보고, ADONIS를 통해서 보여주고자 한다. 본 논문은 E-40 표준안의 항목 중 SW의 명세와 검증에 관해 집중하며, 검증의 대상은 안전 성(Safety)을 우선으로 한다.

참고문헌 (Reference)

• 1 P. Kroll, "Who will benefit from the Eclipse Process Framework"
• 2 Bertrand, C., "Towards defining software development processes in DO-178B with openup" IEEE 000851-000854, 2008
• 3 Jacobson, I., "The unified software development process(Vol. 1)" Addison-wesley 1999
• 4 Jones, M., "Introducing ECSS software-engineering standards within ESA. ESA bulletin"
• 5 Brosgol, B., "Do-178c: A new standard for software safety certification"
• 6 Hommes, Q. V. E., "Assessment of the ISO 26262 standard, road vehicles—functional safety" 25 : 2012
• 7 BOC group, "ADONIS(software)"
• 8 Choe, Y., "A tool for visual specification and verification for ecure process movements" IEEE 1-11, 2015