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

최근 모바일 컴퓨팅 환경이 발전함에 따라 모바일 디바이스 이용자들에게 다양한 서비스를 제공하기 위한 방법으로 클라우드 스토리지 서비스가 주목받고 있으며, 여러 장치의 데이터 동기화를 지원해준다. 이러한 편리성을 제공하고 있지만, 개인과 기업의 핵심 자료 유출에 따른 보안 이슈가 중요한 문제로 대두되고 있기 때문에, 클라우드 스토리지 보안 검증의 중요성도 증대되었다. 이처럼 클라우드 스토리지 서비스는 보안 검증 과정을 거친다. 본 논문에서는 기존의 클라우드 스토리지 보안 평가 가이드라인의 문제점을 분석하여 다형성, 종속성, 병렬성, 중복성 등을 고려해 효율적인 클라우드 스토리지 보안 평가를 위한 새로운 방법론을 제시 하였다. 제시한 방법론을 이용해 클라우드 스토리지 보안검증 프로세스를 설계하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• Journal of Platform Technology
• /
• 제8권4호
• /
• pp.47-58
• /
• 2020

DO-330 소프트웨어 도구 자격증명 고려사항은 항공기에 탑재되는 소프트웨어 및 하드웨어를 개발/검증 하기 위해 사용되는 도구 개발 프로세스에 적용하기 위한 지침이다. 이 지침 상의 도구 개발 프로세스 중 검증 프로세스는 DO-330을 준수하기 위해 달성해야 하는 목표 중 많은 비중을 차지하고 있어 상당히 중요하다. 특히, 도구의 안전성 수준이 높은 개발 도구의 시험 목표들은 독립적으로 수행되어야 하기 때문에 많은 시간, 비용, 그리고 인력이 투입되어야 한다. 시험 절차를 잘 수립 해 놓았을 지라도 시험의 복잡도가 높아지면 인적 오류가 발생할 확률이 높아진다. 본 논문에서는 한화시스템에서 개발한 A661UAGEN 도구의 효율적인 DO-330 검증 프로세스를 진행하기 위한 스크립트 기반의 시험 자동화 에이전트 소프트웨어 구조를 제시하고 평가하였다. 그 결과 스크립트 기반의 시험 자동화 에이전트를 통해 자동화 된 시험이 테스트 엔지니어에 의한 수동 시험 보다 시험 수행 시간은 87.5%가 감소되었고, 시험 생산성은 43.75%가 향상되었음을 확인하였다.

• 한국전자거래학회지
• /
• 제12권1호
• /
• pp.73-87
• /
• 2007

세계 주요 기업들을 중심으로 비즈니스 프로세스를 보다 표준화하고, 명확화하려는 움직임이 어느 때보다 두드러지고 있다. BPM은 이러한 시도를 구현할 수 있는 적합한 도구로서 주목받고 있다. 최근 BPM으로 구현된 프로세스를 보다 효율적으로 실행하는 것이 이슈로 대두되고 있다. 본 논문에서는 프로세스 효율성을 크게 프로세스 엔진과 업무담당자 관점에서 이를 해결하고자 한다. 프로세스 엔진 관점에서는, 엔진이 사용자에게 업무를 얼마나 효율적으로 전달하는지 바라본다. 업무담당자 관점에서는, 전달된 업무를 각 업무담당자가 어떻게 처리하는지에 주목한다. 본 연구는 각 단계에서만 효율성을 고려해왔던 과거 연구와는 달리, 두 단계에서 모두 효율적일 수 있는 방법론을 제안하며, 이를 실험을 통해 유효성을 검증한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권3호
• /
• pp.267-276
• /
• 2006

소프트웨어 개발 성숙도를 향상시키기 위한 프로세스 프레임워크로써 IS 15504(SPICE) 및 CMMI 등은 이미 검증된 모델이다. 하지만 이들 프로세스 성숙도 모델들이 기업의 개발능력 및 효율을 높여주는 구체적인 실천방법을 제시하지는 않는다. 기업 내에서의 실제적인 적용을 위해서는 위의 모델들을 기반으로 제품이나 기술 도메인, 사업 및 조직의 규모 등 기업환경이 고려된 기업 고유의 모델의 개발 및 적용이 필요하다. 본 논문에서는 소프트웨어 개발 프로세스에 대한 수년 간의 지속적인 적용 및 개선 경험을 바탕으로 기존의 SPI(Software Process Improvement) 모델을 확장하여 기업의 비즈니스 목적과 환경에 부합하도록 조직차원의 전반적인 소프트웨어 개발 경쟁력을 강화한 사례를 소개한다. 기존의 SPI 모델이 프로세스 각 분야에 대한 정의와 성숙도를 판단하기 위한 능력 수준을 정의한 것에 비해 본 논문에서는 그 영역을 핵심기술 및 조직구조까지 확대하고, 능력 수준을 일반적인 프로세스 능력 수준이 아닌 조직에서의 모델의 확산도로 확장하여 소프트웨어 개발 경쟁력을 강화하기 위한 통합된 모델을 정의하여 적용하였다. 본 논문은 기업에서 확장된 프로세스 성숙도 모델을 이용하여 조직의 능력을 향상시키는 구체적인 사례로 유사 영역에서 참조 모델로 활용될 수 있을 것이며, 프로세스 성숙도 모델 연구에 대한 기업의 피드백으로의 기여가 있을 것이다.

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

본 논문은 저온정지에서 2%까지 원전 자동기동시스템에 필요한 발전소 데이터를 시험검증설비로부터 얻기 위해 공유메모리와 TCP/IP를 사용하여 통신프로그램을 개발하였다. 자동기동시스템은 foxboro에서 제공하는 API(Application Program Interface)를 이용하여 데이터베이스에서 제어기에 필요한 데이터를 공유메모리에 올려놓고, 통신프로그램이 읽고 쓸 수 있도록 했으며, 시험검증설비에서는 HP Workstation에서 사용되는 내부 프로세스 통신방법을 이용하여 시험검증설비에서 나온 데이터를 공유메모리에 넣을 수 있도록 설계하였다.

• 한국산학기술학회논문지
• /
• 제10권9호
• /
• pp.2440-2450
• /
• 2009

본 연구의 목적은 첫째, 프로세스 기획 역량이 신제품 개발 성과에 미치는 영향을 검증하고자 한다. 특히, 프로세스 기획 역량이 개별적인 프로젝트의 성과가 아닌 제품군 전체의 성과에 미치는 영향력을 검증하였다. 둘째, 개발 역량 간 상호작용이 신제품 개발 성과에 미치는 영향을 살펴보았다. 본 연구는 국내 103개 제조기업으로부터 수집한 설문응답 분석에 기초하였다. 제품군 개발은 크게 두 가지 유형의 프로젝트 (플랫폼 및 파생제품 개발)으로 구분된다. 본 연구에서는 두 가지 프로젝트 유형 중, 제품군 성공의 중심적인 역할을 수행하는 플랫폼 제품을 중심으로 분석하였다. 본 연구결과 제품군의 기술적 성과 및 상업적 성과 향상을 위해 우수한 프로세스 기획 역량이 필요함을 보여준다. 또한 기술개발 역량은 기술적 성과에 직접적으로 유효한 영향을 미치지는 않지만, 프로세스 기획 역량과 상호작용을 통해 기술적 성과 향상에 영향을 미치는 것을 확인하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 추계학술대회 논문집
• /
• pp.47-51
• /
• 2002

전 규모에서 소규모에 이르는 MMIS(Man Machine Interface System) 모사설비는 실제의 원자력발전소에 사용될 MMIS를 응용 소프트웨어로 구동되는 모사환경을 통하여 사전에 시험 및 검증할 목적으로 사용된다. 기존의 MMIS 모사설비 개발은 잘 정의된 개발 프로세스에 기반을 두지 않고 프로젝트 관리자 또는 개발 담당자의 경험과 직관에 의존하여 수행되었다. 이로 인하여 MMIS 모사설비의 개발 일정이 지연되거나 개발의 결과가 초기목표를 만족하지 못하는 불만족 사항이 나타났다. 본 연구는 MMIS 모사설비의 응용 소프트웨어 개발을 위한 프로세스를 정의하고 이에 따라 설비개발을 진행하였다. 개발 프로세서는 계획 단계, 설계 및 구현단계, 시험단계의 세 부분으로 구성하였다. 본 논문에서는 MMIS 모사설비에 요구되는 일반적인 성능특성요건과 개발공정요건을 살펴보고, 본 연구가 정립한 응용 소프트웨어 개발의 프로세스 및 각 프로세서에서의 공정활동을 제시한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2015년도 제46회 하계학술대회
• /
• pp.820-821
• /
• 2015

본 논문에서는 영구자석형 기기의 RT(Real Time) 모델을 이용하여 실 제어상태의 PWM 스위칭 전류를 계산하고 철손과 회전자 영구자석의 손실을 현실적으로 해석하는 프로세스가 제시된다. 이러한 계산 프로세스는 전동기 구동 시스템의 실제 제어 환경과 전동기의 모델링을 고려하였다. 전동기 구동시스템의 모델링은 상용 소프트웨어인 MATLAB/Simulik 와 JMAG-RT 모델을 결합하여 구현되었으며, 전류 제어기의 PWM 스위칭 전류를 이용하여 영구자석 전동기의 철손이 계산되었다. 제안된 프로세스는 기 제작된 설계 모델을 대상으로 적용 타당성이 검증되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.56-58
• /
• 2000

분산 프로세스 그룹 내의 프로세스들 중에서 조정자를 결정하는 것을 선출(election)한다고 하며 분산 시스템이 가동되면서 최초로 정해져야 할 경우, 또는 조정자 프로세스에 장애가 생겨서 새로운 조정자가 필요할 경우에 선출 알고리즘이 수행된다. 본 연구팀은 고속 조정자 선출 알고리즘을 제안한 바 있는데, 이 알고리즘의 검증 시험, 성능 평가를 수행하기 위해서 COVERS라는 시뮬레이션 툴을 사용하여 분산 네트워크 환경을 구성한 뒤 이 위에 다수 프로세스에 선출 알고리즘을 구현하고 각종 장애 상황을 발생시켜 시험하였다. 본 논문에서는 범용 시뮬레이션 툴인 COVERS를 간단히 설명하고, 이 위에 모델링한 분산 네트워크 환경, 그리고 선출 알고리즘 구현에 대해서 설명하고, 성능 분석결과를 제시한다.