소프트웨어 집약적 시스템의 사고 예방을 위한 시스템 이론적 위험원 분석과 신뢰성 기반 계층적 안전 분석

정대희(Daehui Jeong),권기현(Gihwon Kwon),진규호(Kyuho Chin),최한석(Hanseok Choi),김성환(Sunghwan Kim) 한국정보기술학회 2021 Proceedings of KIIT Conference Vol.2021 No.11

최근 소프트웨어 오류로 인한 사고가 늘어나게 되며 소프트웨어 집약적 시스템의 안전성 확보는 시스템 개발에 필요한 필수 요구사항이 되었다. 본 논문에서는 소프트웨어 집약적 시스템의 하나인 ADAS AK-2 센서의 사고를 예방하고 안전성을 확보하기 위해 산업 분야의 기능안전 표준에서 요구하는 안전 활동을 소개한다. 특히 핵심 안전 활동인 위험원 분석에는 시스템 이론적 분석을, 안전 분석에는 신뢰성 기반 분석을 사용하는 방안을 제안한다. Recently, accidents caused by software errors have increased, and assuring the safety of software-intensive systems has become an essential requirement for system development. This paper introduces the safety activities required by functional safety standards in the automotive sector to prevent accidents and assure safety of ADAS AK-2 sensors, one of the software-intensive systems. In particular, it proposes a plan to use system theoretic analysis for hazard analysis, which is an important safety activity, and reliability-based analysis for safety analysis.

사례 연구를 통한 CNF 인코딩 알고리즘 비교

정대희(Daehui Jeong),권기현(Gihwon Kwon) 한국정보과학회 2016 한국정보과학회 학술발표논문집 Vol.2016 No.6

철도 시스템의 안전성 향상을 위한 하이브리드 위험원 분석

정대희(Daehui Jeong),권기현(Gihwon Kwon) 한국정보기술학회 2018 한국정보기술학회논문지 Vol.16 No.11

IEC 62278, the Railway System Safety Standard, requires for hazard analysis to prevent or control the hazard that the railway system may have. If hazard analysis is not performed sufficiently, there is a high probability that accidents will occur. For this reason, hazard analysis methods are actively studied. In this paper, we propose the hybrid hazard analysis method to combine two representative hazard analysis methods: reliability-based and system-theoretic. As the proposed method is complementary to existing ones, it covers both the hazard caused by failure of components and the hazard occurred from the unintended control between components. It applies to the development of a safety protection mechanism for multiple cruise control system that automatically control the speed of trains to avoid the collision among trains. As a result, we drive more safety requirements than the existing analysis methods and it turns out that the safety requirements protect the trains with respect to the identified hazards.

모형 검증 활용 사례 연구

정대희 ( Daehui Jeong ),권기현 ( Gihwon Kwon ) 한국정보처리학회 2016 한국정보처리학회 학술대회논문집 Vol.23 No.1

본 논문에서는 소프트웨어의 검증 방법 중 하나인 모형 검사가 컴퓨터 소프트웨어에서 어떻게 활용 될 수 있는지 소개하고 테세우스와 미노타우로스 게임을 모형 검사를 활용하여 풀어낸다. 게임의 풀이는 교대 방식 시맨틱스와 병행 방식 시맨틱스의 두 가지 방식으로 해석해 서로 비교한다. 이를 위해서는 모형 검사를 위한 모형을 작성하는 것이 필수이다. 본 논문에서는 모형 검사를 위해 모형을 제작한 경험을 설명한다. 끝으로 각 게임 방식의 풀이 생성에 소요되는 시간을 분석한다.

배터리 관리 시스템의 설계 위협 분석 및 위험 평가 연구

박웅섭(Woongsub Park),정대희(Daehui Jeong),이혁(Hyuk Lee) 한국정보과학회 2022 정보과학회논문지 Vol.49 No.2

온실가스와 대기오염물질의 배출로 인한 기후변화는 현재 가장 중요한 국제 환경 문제이다. 이러한 문제에 대한 자동차 제조업체의 다양한 노력과 기술의 발전으로 내연 기관을 사용하는 자동차에서 전기모터를 사용하는 자동차로 변화하고 있다. 전기 자동차는 전장 부품 비중이 높고 배터리 관리 시스템, 인포테인먼트, 첨단 운전자 보조 시스템(ADAS)과 같은 소프트웨어 기술이 집약되어 있다. 이러한 소프트웨어 비중의 증가는 전체 시스템의 내부 연결성 및 복잡도를 상승시키며 잠재적인 보안공격 표면의 확대로 연결된다. 따라서 자동차에 대한 사이버보안을 확보하기 위해 ISO/SAE-21434 국제표준의 준수 및 위협 분석 및 위험 평가 활동의 수행이 권고되고 있다. 본 논문에서는 HEAVENS 보안 모델을 기반으로 배터리 관리 시스템에 대한 상위 수준의 위협 분석 및 위험 평가를 수행하였다. STRIDE 기법을 통해 배터리 관리 시스템에서 발생할 수 있는 위협을 식별하고, 가능한 피해 및 위협 시나리오를 도출하였다. 그리고 체계적인 위험 평가를 통해 위협에 대한 영향 등급, 공격 가능성 등급을 할당하고 보안성 등급을 도출하였다. 최종적으로 위협에 대한 보안성 등급을 분석하여 배터리 관리 시스템의 설계수준 보안성 향상을 위한 위협 분석 및 위험 평가 활동의 적용 방안을 제시한다. Climate change due to emission of greenhouse gases and air pollutants is currently the most important international environmental problem. As a result of advances in technology and efforts by automobile manufacturers to address these issues, automobiles are changing from internal combustion engines to electric motors. Electric vehicles have a high proportion of electronic components. Software technologies such as battery management systems, infotainment, and advanced driver assistance systems (ADAS) are integrated. An increase in the proportion of software increases the internal connectivity and complexity of the entire system, leading to expansion of the potential security attack surface. To secure cyber security for automobiles, it is recommended to comply with the ISO/SAE-21434 international standard and perform threat analysis and risk assessment activities. In this paper, high-level threat analysis and risk assessment for the battery management system were performed based on the HEAVENS security model. Threats that can occur in the battery management system were identified through the STRIDE technique. Possible damage and threat scenarios were then derived. Through systematic risk assessment, an impact rating and an attack potential rating for threats were assigned and a security rating was derived. Finally, by analyzing the security level of the threat, it is suggested to apply threat analysis and risk assessment activities to improve the design level security of the battery management system.

스크럼 개발 프로세스를 지원하는 학생 친화적인 깃 플로우 모델

조수희(Suhee Jo),권기현(Gihwon Kwon),정대희(Daehui Jeong) 한국정보기술학회 2022 Proceedings of KIIT Conference Vol.2022 No.6

소프트웨어 개발에서 프로젝트의 버전 관리는 중요한 활동이다. 개발은 팀 단위로 진행되며 필요시에 이전 버전을 사용할 수 있어야하기 때문이다. 그러나 많은 대학 학부생들은 프로젝트 버전 관리에 대해 잘 알지 못한 채 임기응변적으로 프로젝트를 진행하는 것이 대다수이다. 본 연구에서는 이런 문제점을 보완하기 위해 학부 텀 프로젝트 사용 목적으로 고안된 초경량 스크럼 프로세스 기반의 프로젝트 버전 관리를 제안한다. 프로젝트 버전 관리를 위해 학생 친화적인 깃 플로우 모델을 제안하며, 이를 도서 관리 시스템 개발에 적용한 결과를 기술한다. Versioning of a project is an important activity in software development. This is because development is carried out on a team basis and the previous version should be available if necessary. However, most university undergraduates are not familiar with project version management and are improvising projects. To compensate for this problem, this work proposes ultra-lightweight scrum process-based project version management designed for the purpose of using a school project. We propose a student-friendly gitflow model for project version management and describe the results of applying it to the development of a book management system.

약용식물 길마가지나무 자생지의 생육환경특성과 식생구조

손용환(Yonghwan Son),박성혁(Sunghyuk Park),정대희(Daehui Jeong),조혜정(Hyejung Cho),손호준(Hojun Son),전권석(Kwonseok Jeon) 한국자원식물학회 2021 한국자원식물학회지 Vol.34 No.4

길마가지나무의 자생지 11지역 24개소의 입지환경을 조사한 결과 길마가지나무는 주로 산지의 낮은 지대를 중심으로 임연부, 등산로주변, 계곡부 및 해안림 곳곳에 분포하고 있었으며, 경사는 대부분 평지나 완경사지를 중심으로 분포하고 있었다. 사면방위는 가리지 않았으나 주로 햇볕을 많이 받는 남향에 주로군락을 이루고 있었다. 군집구조는 분석결과 각각 아까시나무(군집Ⅰ), 느티나무(군집Ⅱ), 일본잎갈나무(군집Ⅲ)가 지표종인3개 군집으로 나뉘었다. 출현식물의 경우 군집 I에서 출현한 식물은 50과 77속 78종 2아종 11변종 총91분류군, 7개의 방형구로느티나무가 지표종인 군집Ⅱ에서 출현한 식물은 51과 82속 80종2아종 10변종 1품종 총93분류군, 11개로 가장 많은 방형구가 해당되며, 느티나무가 지표종인 군집Ⅲ에서 출현한 식물은 61과111속 129종 2아종 13변종 3품종 총147분류군으로 나타났으며, 특이식물로는 특산식물 1분류군, 침입외래식물 9분류군, 희귀식물 5분류군으로 상대적으로 적은 개체수가 출현하였다. 상대우점치(I.P.) 분석결과 각군집의 지표종으로 대표되는 종이 있으나 특정군집에 독립적으로 출현하는 경우는 적었다. 대표적으로 느티나무, 참나무, 아까시나무, 밤나무 등이 있었으며, 아까시나무군집의 교목층을 제외하면 대부분 경쟁관계에 있음을 확인할 수 있어 지속적인 관찰이 필요하다고 판단된다. 종다양성지수 분석과 유사도지수 분석에서도 상대우점치 분석과 유사한결과를 확인할 수 있었는데, 군집 간 특정종이 우세하기 보다는균등도가 매우 높으며, 출현식물이 상이하기 보다는 유사한 경향을 띄고 있었다. 토양분석 결과, 군집 간 전형적인 갈색산림토양, 암적색산림토양의 성질을 보였으며, 배수가 좋은 사양토를기반으로 하고 있었다. 유기물의 경우에는 일반적인 산림토양에비해 함량이 대체적으로 높은 경향을 보이고 있었다. 미루어 보았을 때 길마가지나무의 자생지 분포는 지역적인 경향보다는 상층이 울폐하지 않는 임연부, 등산로를 중심으로 유기물이 풍부한 환경에 분포해 환경에 대한 적응력이 뛰어난 것으로 판단된다. 하지만 상층이 울폐한 경우에는 피압으로 인해 생육이 부진한 경향을 보여 광 요구도가 높은 수종으로 판단된다. Lonicera harae is a species of shrub in the Caprifoliaceae family, mostly distributed in East asia. So far, the related research on the genus of Lonicera is insufficient compared to the Lonicera japonica belonging to the same genus, which requires attention to domestic native plants. Therefore, this study aims to provide baseline data for cultivation and utilization through the growth environment and vegetation structure of the natural habitat. Lonicera harae, which plant found throughout the Korean Peninsula. The natural habitats of Lonicera harae is the forest, valley and lowland areas of the southern region. study examined 24 quadrats in 11 regions, including Gwangju, Wanju and Namhae. As a result, environmental condition of Lonicera harae was 8 to 483 m above sea level, normally distributed over 173 m, Slope was 5 to 25 degree with 8.5 degree on average. The list of plants were classified as a total of 229 taxa comprising 80 families, 166 genus, 198 species, 3 subspecies, 24 varieties, 4 forma. As a result of the clustering analysis, the three clusters were divided into three groups; Robinia pseudoacacia, Zelkova serrata, Larix kaempferi. Species diversity was 1.399 and Dominance and Evenness were found to be 0.978 and 0.022 respectively.

교육용 스크럼 프로세스 기반 도서관리시스템 개발 사례

장지영(Jiyoung Chang),권기현(Gihwon Kwon),정대희(Daehui Jeong) 한국정보기술학회 2022 Proceedings of KIIT Conference Vol.2022 No.6

최근 애자일 기반의 스크럼 프로세스를 활용한 교육 및 실습이 활성화 되고 있다. 특히, 경기대학교에서는 학생들의 이해를 도와 빠르게 적용할 수 있도록 K-FOREST 프로세스를 직접 개발하여 실제 학부 수업에 적용하고 있다. 본 논문에서는 K-FOREST 프로세스를 적용하여 도서관리시스템을 개발한 사례를 소개한다. K-FOREST 프로세스는 학부 소프트웨어 개발 프로젝트를 위한 스크럼 프로세스로, 소규모 학생들로 구성된 팀을 지원한다. K-FOREST를 적용한 결과, 실제 학생들이 서로 간의 상호작용을 통해 스크럼 프로세스에 따라 도서관리시스템을 성공적으로 개발하게 되었다. Recently, education and practice using agile-based scrum process have been activated. In particular, Kyonggi University directly developed the K-FOREST process and applied it to actual undergraduate classes so that students can understand it and apply it quickly. This paper introduces the case of developing a book management system by applying the K-FOREST process. The K-FOREST process is a scrum process undergraduate software development projects that support a team of small students. As a result of applying K-FOREST, students actually successfully developed a book management system according to the scrum process through interaction with each other.

대학생 SW 개발을 위한 경량화된 스크럼 프로세스

박소희(Sohee Park),권기현(Gihwon Kwon),정대희(Daehui Jeong) 한국정보기술학회 2022 Proceedings of KIIT Conference Vol.2022 No.6

빠른 개발이 요구되는 현대의 소프트웨어 개발 프로젝트에서는 스크럼 프로세스를 많이 사용한다. 스크럼 프로세스는 일정한 주기로 프로젝트를 분할 및 반복 수행하기 때문에 주어진 시간 내 높은 품질의 완성품을 개발하기 용이하다. 전통적인 개발 방법론에서 스크럼과 같은 애자일 개발 방법론으로 변화하는 흐름을 반영하여 학교에서 스크럼 프로세스 교육 과정을 실행하고 있다. 하지만 교육을 실시하였을 때 학생들의 애자일 개발 방법론에 대한 이해도는 매우 떨어졌다. 본 논문에서는 학생들의 애자일 교육을 수행하기 위한 K-Forest를 제안한다. K-Forest는 리드미(SW중소기업을 위한 경량 개발 방법론)를 최소화하여 개발한 스크럼 프로세스다. 완성된 K-Forest는 실제 소프트웨어 공학 수업을 수강하는 80명의 학생에게 적용하여 효과성을 확인하였다. 그 결과, K-Forest를 통해 애자일 방법론을 비롯한 전반적인 개발 프로세스에 대한 학생들의 이해가 향상되었다. Modern software development projects that require rapid development use a lot of scrum processes. The scrum process divide and repeat projects at regular intervals, making it easier to develop high-quality finished products within a given time period. Reflecting the shift from traditional development methodology to agile development methodology such as scrum, the scrum process curriculum is being implemented in schools. However, despite the education, students’ understanding of Agile development methodology has declined significantly. This paper proposes K-Forest for agile education of students. K-Forest is a Scrum process developed by minimizing LeDeMe (a lightweight development methodology for SW SMEs). The completed K-Forest was applied to 80 students taking actual software engineering classes and confirmed its effectiveness. As a result, K-Forest has improved students’ understanding of the overall development process, including agile methodology.