• 한국컴퓨터정보학회논문지
• /
• 제14권10호
• /
• pp.271-281
• /
• 2009

본 논문은 무기체계 임베디드 소프트웨어 프로세스 평가모델(이하 'MND-EAPAM')의 국방사업 특성화 방안을 제시한다. 2008년, 무기체계 임베디드 소프트웨어 프로세스 평가의 기준이 되는 무기체계 임베디드 소프트웨어 프로세스 평가모델을 개발하였지만, 국방분야에 대한 특성 반영이 미흡하였다. 이에 따라 국내 방위산업체의 소프트웨어 프로세스 관리 실태를 조사 분석하고, CMMI 인증을 획득한 방위산업체에 MND-ESPAM을 시범적용하여, MND-ESPAM의 문제점을 도출 및 분석하였다. 도출된 문제점을 개선하기 위하여, MND-EAPAM과 방위사업청 소프트웨어 개발프로세스 지침 간 연계가 가능하고, 국방시험성숙도모델(MND-TMM)의 체계적 반영으로 시험활동을 강화하며, 유사 프로세스 영역을 식별, 통합하는 MND-ESPAM의 개선안을 제시한다. 개선안은 CMMI와의 커버리지 검증, ISO/IEC 14598-3의 요구사항에 의한 시험활동 평가, 방위산업체 시범적용을 통하여 검증을 실시하였다.

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

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생 되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• 정보처리학회논문지D
• /
• 제8D권1호
• /
• pp.99-104
• /
• 2001

소프트웨어 위기를 해결하기 위한 한가지 대응책으로 최근 컴포넌트기반 소프트웨어공학(혹은 컴포넌트웨어)이 등장하였다. 컴포넌트기반 소프트웨어공학을 이루는 관련 기술들 중 하나로써 컴포넌트기반 소프트웨어 개발 프로세스들이 제안되고 있다. 컴포넌트기반 소프트웨어 개발 프로세스중 컴포넌트 명세활동은 재사용 가능한 컴포넌트를 생성하기 위해서 꼭 필요하며 매우 중요한 활동이다. 그러나, 기존의 컴포넌트기반 소프트웨어 개발 프로세스에서는 컴포넌트 명세를 자연어로 기술함으로써 명세에 있어서 정확성을 갖지 못했고 사용자의 요구사항이 제대로 반영되었는지 검증할 수 있는 방법을 제공하지 못하고 있다. 본 논문에서는 정형방법에서 사용되고 있는 분석력과 논리성이 검증된 정형 명세 언어 Z를 이용하여 컴포넌트를 명세 하는 정형 활동을 제안하였다. 제안 활동은 5개의 태스크와 12개이 서브태스크들로 구성되며 10개의 산출물을 구체적으로 제시함으로써 재사용을 위한 컴포넌트 기반 소프트웨어 개발의 기초가 되는 컴포넌트 정형 명세 활동을 제안하였다. 제안 활동은 컴포넌트기반 소프트웨어 개발 프로세스의 초기단계에 사용자의 요구사항 명세의 정확성과 검증을 통하여 컴포넌트의 품질을 향상시킬 수 있다.

• 한국전자거래학회지
• /
• 제10권4호
• /
• pp.1-18
• /
• 2005

대표적인 전자거래 프레임워크인 ebXML에서 비즈니스 프로세스 명세(BPS: Business Process Specification)는 최종적으로 XML 버전의 BPSS( Business Process Specification Schema)를 준수하는 사례로서 규정되어야 한다. 보다 완전하고 일치되게 XML버전의 BPSS 사례를 정의하기 위해서는 모든 의미 제약을 검증하는 과정이 필수적이다. 그러나, XML Schema 구조체의 제약으로 인해서 XML버전의 BPSS는 이러한 의미 제약을 완벽하게 규정하고 있지 못하다. 이 논문에서는 최종적으로 실행될 XML 버전의 BPSS사례에 대한 검증을 지원하기 위해서, BPSS의 XML Schema에 표현되지 못한 의미 제약들을 체계적으로 발견하고, 이들을 명시적으로 표현하여 재활용하는 방법을 제시한다. 이러한 방법으로 XML 버전 BPSS 사례를 편리하게 검증하고, 오류 수정을 안내하며, 기업간 비즈니스 프로세스 표준화와 적용의 효율성을 증대시킬 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권3호
• /
• pp.337-344
• /
• 2000

본 논문에서는 다중자원(multiple resource)을 사용하는 시스템의 명세와 검증을 위한 프로세스 대수 ACSMR(Algebra of Communicating Shared Multiple Resources)을 정의한다. ACSMR은 프로세스 대수 기반의 정형기법(formal methods)인 ACSR에 다중자원의 개념을 확장한 것이다. 명세와 검증의 예로 실시간 시스템의 스케줄링 기법의 하나인 Earliest-Deadline-First(EDF)를 멀티프로세서하에서의 시스템의 행동 명세와 다중 포트를 가진 레지스터를 이용한 수퍼스칼라 프로세서의 타이밍 특성과 자원 제한을 묘사하기 위한 명세방법을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.1163-1166
• /
• 2002

ASP서비스는 사용기업의 데이터를 외부의 데이터센터에 위치시키고, 데이터에 대한 사용권만을 제공하는 극단적인 외주 형태의 서비스이다. 따라서 ASP서비스는 보안문제와 서비스 제공업체의 신뢰성 문제가 어떤 형태의 정보시스템보다 크게 부각된다. 이러한 ASP서비스에 대한 신뢰성과 효율성 확보를 위한 감리 프로세스는 필수적일 것이다. 본 논문에서는 ASP서비스에 대한 감리 프로세스를 제안한다. 우선, 기존의 정보시스템 감리의 정의를 통하여 ASP감리의 정의를 도출하고, ASP프레임워크를 제안하며, 제안된 프레임워크에 따른 통제항목을 설정한다. 마지막으로 검증단계에서 ASP감리 프레임워크를 기존의 정보시스템 감리 프레임워크와 비교분석하고, ASP서비스 수명주기 세부활동 별 통제항목의 중요도를 산출한 설문을 통해서 통제항목의 타당성을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.763-765
• /
• 2008

최근 물류가 취급되는 발착장에서는 업무효율을 높이기 위해 RFID 시스템을 구축하여 물류의 발착업무를 자동으로 수행하는 사례가 늘고 있다. 본 고는 우편집중국 발착장에 900MHz 대역의 RFID 시스템을 구축하기에 앞서, 시스템을 구성하는 주요 장비의 기능 및 성능을 사전에 검증하고 대상장비의 신뢰성을 제고하고 시간과 노력 및 비용을 줄이기 위해 BMT 를 실시한 내용을 기술한 것이다. BMT 의 주요 항목으로는, RFID 고정형 리더의 전파간섭시험, 주파수 호핑시험, 롤파렛 인식시험 등이었으며, 해당 장비의 기능 및 성능을 기술적으로 검증할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.430-432
• /
• 2001

인터넷 상에서 전자상거래에 필요한 데이터 교환 포맷을 정의하는데 XML이 첫 번째 선택으로 부상하고 있고 비록 이상을 실현하지는 못했지만 EDI의 그 동안의 비즈니스 프로세스에 관련된 상당한 노하우를 연결하여 새롭게 XML의 관점으로 프로세스 및 관련 구조를 기술한 ebXML이라는 표준이 제정되기에 이르렀다. 그러나 기업의 일반 비즈니스 담당자는 ebXML에 관한 전문지식이 없고 또한 그들의 비즈니스를 어떤 식으로 ebXML 표준에 맞게 표현을 해야 하는지도 알지 못한다. 이에 본 논문에서는 사전에 워크시트 기반으로 비즈니스 프로세스를 분석하고 그 결과를 UMM Metamodel에 매핑시킨 뒤 의미적인 부분만을 발취해 ebXHL Business Process Specification Schema의 각 엘리먼트를 채워나가는 형식의 Business Process Editor를 개발하였다. 비즈니스 프로세스의 구조적인 적합성과 비즈니스 프로세스를 구성하는 각 엘리먼트의 속성 값의 적합성 또한 사전에 검증이 되며 트랜잭션 사이의 이동 상태를 그래픽한 인터테이스로 표현해 사용자의 이해와 편의를 도모했다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2000년도 종합학술대회발표논문집
• /
• pp.127-136
• /
• 2000

■ STEP 데이터 활용의 필요성 ■ STEP 데이터 오류에 의한 연계 프로세스의 단절 ■ 데이터 오류의 종류 및 검증 ■ 오류 발견 후 수정(Healing)에 대한 연구를 계획 중