• 대한기계학회논문집A
• /
• 제20권4호
• /
• pp.1333-1346
• /
• 1996

As the automation system in manufacturing field works more efficientely, the automation scheme is applied to many areas. In order to reduce the entire manufacturing, cost the design process must be automated. However, design process is so complicated, it is very difficult to construct the design automation system. The axiomatic approach to design provides a general theoretical framework for all design fields, including mechanical design. The key concepts of axiomatic design are : the existence of domains, the characteristic vectors within the domains that can be decomposed into hierarchies through zigzagging between the domains, and the design axioms. Using this approach, the glass bulb design process was analyzed and the design automation software was developed. Through menu display, a user can select or furnish the design input and generate the drawing with ease.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 추계학술대회
• /
• pp.71-74
• /
• 2014

최근 모바일 앱에서도 오픈소스 소프트웨어를 이용한 개발이 활발하게 이루어지고 있다. 오픈소스 모바일 컴포넌트의 경우 User Interface 구현을 위한 컴포넌트의 재사용성이 용이하다는 이유로 기능적 역할의 컴포넌트보다 더욱 많이 사용되는 경향이 있다. 이런 특징으로 인해 기존의 오픈소스 소프트웨어 선정절차나 상용 컴포넌트 선정절차 두 가지 연구 모두 오픈소스 모바일 컴포넌트 선정에 그대로 적용하기에는 무리가 있다. 본 논문에서는 기존에 연구된 오픈소스 소프트웨어 선정절차를 모바일 컴포넌트 선정에 적합하도록 수정, 보완하였다. 본 연구는 모바일 앱을 개발할 경우 요구되는 기능을 충족하는 오픈소스 컴포넌트를 쉽게 검색하고 선정할 수 있는 효율적인 절차를 제시함으로써 모바일 앱 개발의 생산성을 높여줄 수 있다.

• 천문학회보
• /
• 제46권1호
• /
• pp.39.1-39.1
• /
• 2021

The Local Volume Mapper(LVM) project in the fifth iteration of the Sloan Digital Sky Survey (SDSS-V) will produce large integral-field spectroscopic survey data to understand the physical conditions of the interstellar medium in the Milky Way, the Magellanic Clouds, and other local-volume galaxies. We are developing the LVM Instrument control software. The architecture design of the software follows a hierarchical structure in which the high-level software packages interact with the low-level and mid-level software and hardware components. We adopt the spiral software development model in which the software evolves by iteration of sequential processes, i.e., software requirement analysis, design, code generation, and testing. This spiral model ensures that even after being commissioned, the software can be revised according to new operational requirements. We designed the software by using the Unified Modeling Language, which can visualize functional interactions in structure diagrams. We plan to use the SDSS software framework CLU for the interaction between components, based on the RabbitMQ that implemented the Advanced Message Queuing Protocol (AMQP).

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권4호
• /
• pp.211-224
• /
• 2002

소프트웨어 시스템이 대형화되고 복잡화해 짐에 따라 사용자의 요구사항을 올바로 분석하고 서술하는 것이 중요시되고 있다. 이중 유스케이스 분석 방법은 요구사항 분석에서의 복잡도를 해결해 주는 장점 때문에, 객체지향의 분석 설계와 컴포넌트 기반의 개발에서 많이 이용되고 있다. 그러나 이러한 유스케이스 분석 방법은 흩어진 유스케이스들의 단순한 집합이어서 유스케이스들을 구조화하기 어렵고, 유스케이스들간의 영향분석을 하기 어려우며, 비 기능적인 요구사항을 표현하기 어렵다. 이러한 문제를 해결하기 위해서, 본 논문에서는 목표지향의 분석 방법을 이용한 유스케이스 모델에의 적용방안을 제안하였다. 현재 연구되고 있는 목표지향의 분석은 요구사항으로부터 목표를 추출하기 어렵고, 분석 방법이 분석가의 경험적 근거에 의존적이다. 따라서 본 논문에서는 요구사항으로부터 목표를 직관적으로 식별하는 것이 어렵기 때문에 기초자료로 시나리오를 이용하여 그것으로부터 목표를 추출하는 시나리오 근간의 목표지향 분석 방법을 제안했다. 마지막으로 제안된 방안을 검증하기 위해 ITS의 시내버스정보 서브시스템에 적용하였다. 이 제안된 방안을 통해서 소프트웨어 분석가들은 유스케이스들간의 영향분석을 쉽게 하여 소프트웨어 개발초기에 유스케이스들간의 불일치(inconsistency)를 찾을 수 있고, 비기능적인 요구사항을 표현할 수 있다.

• 한국산학기술학회논문지
• /
• 제17권4호
• /
• pp.382-391
• /
• 2016

철도와 같은 안전중시 시스템에 대해 체계적인 안전관리의 필요성이 점차 커지고 있어 IEC 61508, 62278, ISO 26262 등의 안전과 관련된 표준들이 제정되었고, 관련연구가 수행되고 있다. 그중 안전 프로세스의 중요한 활동인 위험원 분석에 대하여 다양한 연구가 수행되어 왔으나, 시스템설계 프로세스와의 구체적인 연계성이 부족하였다. 또한 기존의 위험원 분석방법은 시스템 설계가 상당 수준 진행된 하드웨어 및 소프트웨어 구성품 정보에 의존하기 때문에, 설계 변경에 많은 비용과 일정이 소요된다. 이러한 문제들을 해결하기 위해서 본 논문에서는 시스템 설계초기인 개념설계 단계에서 수행한 기능분석 결과를 안전 프로세스에서 직접적으로 활용하여 위험원을 분석하고 이를 바탕으로 위험을 줄이기 위해 필요한 안전요구사항을 생성하는 방법에 대하여 연구를 수행하였다. 설계 초기에 위험원 분석 및 안전요구사항의 도출을 수행함으로써, 향후 요구사항 변경 등 여러 요인으로 시스템 설계 및 안전 설계의 변경 시에 이를 반영하는데 있어서 시간 및 비용 관점에서 상대적으로 효율적인 접근 방법이 된다. 한편, 사례연구로서 본 논문에서 제시한 방법을 경전철 역사의 안전성을 확보하기 위한 요구사항의 도출에 적용하는 연구를 수행하였다.

• 한국정보통신학회논문지
• /
• 제20권9호
• /
• pp.1666-1672
• /
• 2016

최근 스마트 기술이 다양한 정보시스템 분야에 적용되고 있다. 특히, 기존 도서관 서비스 분야는 디지털도서관을 넘어 스마트 도서관으로 변화되었다. 이러한 변화의 환경에서 다양한 콘텐츠와 서비스 그리고 사용자와 스마트 디바이스를 지원하는 도서관 서비스 소프트웨어 플랫폼이 요구된다. 기존 도서관 서비스는 서로 다른 이기종의 도서관 시스템간의 의미적 상호운용성이 저해되는 제한점을 갖고 있다. 본 논문은 다양한 콘텐츠 제공과 시스템간의 상호작용 그리고 서비스의 통합에 중점을 두어 미래 도서관 시스템의 원형으로 링크드오픈데이터 기반의 스마트 라이브러리 제안한다. 링크드 오픈데이터 기반 스마트 라이브러리는 첨단 정보기술이 모여진 혁신적인 시스템이다. 우리는 링크드오픈데이터를 기반으로 스마트 라이브러리를 위한 다양한 요구사항에 따라 시스템 환경을 설계하였다. 이용자의 요구사항과 정보기술의 에코시스템을 고려하여 스마트 라이브러리 시스템의 기능적 요구사항에 대해 기술한다. 또한 기능적 요구사항을 수용하고 다양한 스마트 디바이스를 통해 사용자에게 스마트 지식 서비스를 제공할 수 있는 참조 프레임워크를 보여준다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권4호
• /
• pp.161-168
• /
• 2015

클라우드 서비스가 다양해지고 그 수가 급격히 증가하면서 클라우드 서비스 사용자에게 적합한 서비스를 제공하기가 어려워지고 있다. 이러한 문제를 해결하기 위해 서비스 사용자와 제공자 사이에서 클라우드 서비스를 중개해주는 클라우드 서비스 브로커라는 개념이 제시되었다. 클라우드 서비스 브로커의 핵심적인 역할은 사용자의 요구사항에 적합한 서비스를 찾아주는 것이다. 그러나 현재 제시된 클라우드 서비스 브로커 대부분은 클라우드 서비스 전문가의 도움으로 사용자의 요구사항을 분석하는 수동적인 과정이 수행되고 있으며, 체계적으로 기능적, 비기능적 요구사항을 분석하는 과정이 미흡하다. 따라서 유사한 기능을 가지고 있는 클라우드 서비스 중 사용자의 요구사항의 중요도를 분석해서 가장 근접한 서비스의 선택을 지원해줄 수 있는 요구사항 분석 기법이 필요하다. 본 논문은 AHP(Analytic Hierarchy Process)의 쌍대비교법을 응용하여 클라우드 서비스에 대한 사용자의 요구사항을 분석하고 각 서비스의 명세에 따른 점수를 계산하여 그 결과에 따라 클라우드 서비스를 선택하는 방법을 제시한다.

• 한국철도학회논문집
• /
• 제11권2호
• /
• pp.139-144
• /
• 2008

최근 임베디드 시스템 기술의 발전에 따라 열차제어시스템의 자동화가 촉진되고 있다. 이를 위한 하드웨어의 안전성 검증을 위한 연구는 활발히 진행되고 있으나, 소프트웨어의 안전성을 검증하기 위한 체계적인 노력은 거의 이루어지지 않고 있다. 이 논문에서는 열차제어 시스템 소프트웨어의 안전성을 자동으로 평가 할 수 있는 소프트웨어 도구를 제안한다. 이를 위하여 관련 국제표준을 분석하였으며, 기존의 사용 소프트웨어 테스팅 도구들을 조사하였다. 이로부터 국제표준에서 요구하는 주요 요건을 테스팅 할 수 있는 도구를 제안하였으며, 이 도구는 소프트웨어 전 개발주기에서 이용이 가능하다. 이 도구는 기존의 테스팅 도구들과는 달리 소프트웨어의 안전성을 검증할 수 있다는 점에서 그 의의가 크다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.689-696
• /
• 2007

소프트웨어의 개발 초기 단계에서 성능을 예측하는 기법은, 비 기능적 요구사항의 검증 및 소프트웨어의 성능을 향상시키기 위해 중요한 이슈가 되었다. 이를 위해 소프트웨어의 아키텍처를 수학적인 분석 모델로 변환시키는 기법들이 등장하게 되었다. 그러나 에이전트 기반 시스템을 개발하는 경우, 기존방법들은 에이전트 플랫폼의 성능을 정확하게 반영하지 못하기 때문에, 정확한 성능 예측 및 분석에 적용 할 수 없다. 본 논문에서는 정규화된 의미 기술언어를 이용하여 에이전트 기반 시스템 아키텍처의 성능을 예측하는 기법을 제안한다. 본 방식은 UML로 기술된 시스템의 아키텍처를 하드웨어 및 소프트웨어 플랫폼의 성능이 반영된 분석 모델로 변환시킨다. 성능 예측의 정확도를 평가하기 위해, 과거에 연구했던 전자상거래 시스템을 확장한 유비쿼터스 상거래 시스템 시나리오를 기반으로 프로토타입을 구현하여 성능을 측정하고 생성된 분석 모델로부터 측정된 성능 결과와 비교하였다. 그 결과 약 80%의 정확도를 보였다.