• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.285-290
• /
• 1998

본 논문은 David Harel이 제안한 Statechart based Formalism과 Statemate MAGNUM toolset을 이용하여 월성 원전 2/3/4호기 증기발생기 수위로 인한 원자로 정지를 activity chart 및 Statechart로 모델링하고 K&R C 코드를 자동으로 생산하였다. 이는 종전의 몇몇 소프트웨어 전문가에 의해서 개발될 수 밖에 없었던 원전 필수만전(Safety-critical) 소프트웨어를 정형화된 Computer Aided Software Engineering 도구를 활용하여 소프트웨어 생명주기중 요구사양명세 및 설계까지만 수행하고 그 이하는 모두 자동으로 생산하는 소프트웨어 공학의 핵심기술을 연구한 것이다. 자동으로 생산된 K&R C 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.322-324
• /
• 2004

PLE 방법론은 단일 제품이 아니라 유사한 제품들간의 공통성(Commonality)과 가변성(Variability)을 개발하고 관리하며 소프트웨어 개발 전체 생명주기에 걸쳐 부품을 조립하는 형태로 만들어진다. 또한 PLE 방법론은 재사용 단위가 가장 큰 방법론이기 때문에 최근에는 소프트웨어 업계에서 주목을 많이 받고 있다. 따라서 소프트웨어 재사용 분야가 점점 다양화되면서 어플리케이션의 특성에 적합한 프로세스에 대한 요구가 늘어나고 있다. 어플리케이션 과정은 요구사항 정의에 따라서 설계가 되어야 하고 이렇게 설계가 된 요구사항 정의와 핵심자산의 Gap 분석을 통해 정제된 설계를 얻을 수 있다. 하지만, 현재는 체계적인 절차와 기법에 대한 연구가 많이 미흡한 상태이다. 이렇게 체계적인 절차와 기법이 있다면 어플리케이션을 개발하는데 있어 보다 효율적이고, 보다 완성도 높은 어플리케이션이 개발 될 것이라고 기대한다. 따라서 본 논문에서는 제품계열공학의 핵심자산과 어플리케이션간의 Gap 분석 절차를 제안하고자 한다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1719-1732
• /
• 1997

소프트웨어 개발 과정에서는 생명주기 각 단계를 거치면서 각종 개발 산출물들이 생성된다. 무형의 소프트웨어는 산출물이라는 형태로 가시화되며 품질관리 또한 산출물들에 대한 관리를 통해 이루어진다. 그러나 현실적으로 개발 과정에서 생성되는 산출물들에 대한 표준화가 정립되어 있지 못하므로 개발자들마다 서로 다른 개발 방법론이나 문서화양식을 사용하고 있으므로 품질평가가 표준화된 방법론이나 체계적인 절차에 따라 이루어지지 못하고 있는 실정이다. 본 논문에서는 생명주기 단계중 분석단계에 대한 품질관리 체계를 구축하고 이러한 체계에 따라 품질평가를 지원하는 분석단계 품질평가툴킷을 설계하고 구현하였다. 이를 위해 소프트웨어의 품질을 평가하기 위한 품질 외부특성 및 내부특성을 구축하고 관련 메트릭스와 정성적${\cdot}$정량적 평가요인항목의 체계를 구축하였다. 그리고 이와 같은 체계를 바탕으로 품질평가 툴킷을 구성하고 기능을 구현하였으며 타당성을 검증하기 위해 실제 개발 프로젝트를 적용하여 산출물을 평가하고 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.517-519
• /
• 1998

소프트웨어의 생명 주기가 급격히 짧아짐에 따라 생산성을 향상시키면서 개발 기간과 비용을 단축시킬 수 있는 RAD 도구가 최근 많이 유행하고 있다. 그러나 기존의 RAD 도구는 소프트웨어의 설계보다는 주로 사용자 인터페이스의 설계의 중점을 두고 있고, 소프트웨어의 설계를 위한 기존의 전문 소프트웨어 모델링 도구들은 규모가 크고 사용이 힘들 뿐 아니라 RAD 도구와의 직접적인 연관성을 제공하지 못하고 있다. 본 논문에서는 JAVA 언어를 위한 RAD 도구와 모델링 도구가 서로 유기적으로 결합된 새로운 RAD 도구를 구현하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1417-1420
• /
• 2000

웹의 짧은 역사에 비하여 기술이 급속히 발전하고 사용자들의 수가 폭발적으로 늘어가고 있다. 그러므로 웹 어플리케이션의 효율적인 개발 방법이 필요하다. 웹 어플리케이션 개발은 기존 방법론에서 정의한 사용자 인터페이스 부분을 웹 상에서 정의하는 것이다. 그러므로 기존 방법론과 많은 관련이 있으며 이를 이용하면 용이하게 웹 어플리케이션 개발방법이 개발된다. 소프트웨어 개발방법에 있어서 웹 어플리케이션 분석 및 설계 방법에 대한 방법을 국제 표준인 ISO12207 정보기술 소프트웨어 개발 생명주기에 근거하여 개발된 마르미-D 방법론의 단계를 통하여 제시한다. 이러한 방법을 통하여 적용한 "중소형 인트라넷 시스템 개발을 위한 산출물 중심 개발절차모형"의 분석단계를 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• 정보보호학회지
• /
• 제26권1호
• /
• pp.48-53
• /
• 2016

최근 들어 보안사고의 대응 방식이 네트워크 보안이나 운영체제 보안과 같은 전통적인 방법에서 벋어나 개발생명주기보안이나 SW 공급망 보안으로 확대되고 있다. 이러한 흐름에서 주목받는 것이 BSIMM과 같은 소프트웨어 보안성숙도 모델이다. 보안성숙도 모델은 소프트웨어 시스템의 보안성 향상을 위해 관리자와 개발자가 중점을 두어야 할 부분을 스스로 평가할 수 있도록 하는 프레임워크이다. 본 고에서는 BSIMM을 통해 보안성숙도 모형이 갖는 특징을 소개하며, 이의 활용에 대해 살펴본다.

• 정보보호학회논문지
• /
• 제24권1호
• /
• pp.171-182
• /
• 2014

CC는 평가보증등급에 따라 정보보호제품의 보안취약점을 최소화할 수 있도록 지원하는 제도이다. 소프트웨어 개발보안은 소프트웨어의 개발 생명주기에서 보안취약점을 발생시킬 수 있는 보안약점을 제거하는 방법이다. 하지만 CC는 정보보호제품이 인증된 시점 이전의 보안취약점에 대해선 고려하지만 인증된 시점 이후에 발생할 수 있는 새로운 보안취약점에 대해서 고려하지 않기 때문에 정보보호제품의 안전성과 신뢰성에 대한 문제가 발생할 수 있다. 또한, 국가 및 공공기관의 정보화사업에 도입되는 정보보호제품은 CC와 소프트웨어 개발보안을 모두 만족시켜야 되기 때문에 개발자, 평가자에게 부담이 된다. 따라서 본 논문은 CC에서 소프트웨어 개발보안을 활용해야하는 당위성을 검증하기 위해 CC와 소프트웨어 개발보안이 제거할 수 있는 보안약점 및 보안취약점의 상관관계를 비교하였다. 또한, CC에서 소프트웨어 개발보안을 활용하기 위한 평가방법을 제안하여 정보보호제품의 안전성과 신뢰성을 극대화하고 개발자와 평가자의 부담을 최소화하였다.

• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.581-586
• /
• 2001

소프트웨어 개발에서 점점 더 중요시되는 사항은 개발 생명주기의 초기에 개발과 관련된 노력과 비용을 추정하는 능력이다. 소프트웨어 개발노력과 비용추정을 위한 대부분의 모델이 선형회귀분석 절차를 사용하였다. 그러나 소프트웨어의 복잡성, 개발환경의 다양성으로 인해 소프트웨어 개발노력과 비용 추정은 점점 더 부정확해지고 있다. 이 목적을 달성하기 위해서는 비선형 방법을 사용해야 한다. 따라서 본 논문은 소프트웨어 개발 노력을 추정하는데 비선형 관계를 표현 가능한 RBF망 모델을 제안한다. 24개 소프트웨어 사례연구를 통해 적합한 RBF 망 모델을 제시하였다. 또한, 회귀분석 모델과 RBF망 모델을 비교하여 RBF 망 모델의 정확성이 가장 좋음을 보였다.

• 한국컴퓨터산업학회논문지
• /
• 제4권4호
• /
• pp.517-522
• /
• 2003

소프트웨어 개발환경이 대형화, 복잡화됨에 따라 개발 생명주기의 각 단계에서 발생하는 요구사항은 기술적, 관리적 측면에서 많은 영향을 받게 되었다. 따라서 본 연구에서는 요구공학과 CMM에서 제시하는 활동을 기반으로 완전성과 일치성을 가진 안정적인 요구사항의 생성 및 관리 등을 포함하는 총체적인 프로세스와 활동에 대한 공학적 접근을 제시하여 전체 소프트웨어 개발비용과 위험부담을 경감시키며 품질향상을 이룰 수 있도록 한다.