• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.385-387
• /
• 2005

최근 정보통신 기술이 빠르게 발전하면서 생활 환경 안에서 내장형 소프트웨어를 탑재한 독립적인 장치들을 많이 볼 수 있다. 이러한 내장형 장치들은 하드웨어의 특성으로 인해 비기능적인 요구사항이 중요하다. 본 논문에서는 내장형 시스템의 비기능적 요구사항을 기능적 요구사항 중심으로 추출하는 방법을 제안한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.297-299
• /
• 2006

Many distributed applications is developed in various environment such as operating system, software platform. So, they exhibit different types of system behavior, status, during the course of their operation. Each such behavior may have different functional and non-functional requirements. Therefore, many distributed application need to fault-tolerance solution. Personal robot provide various service or application. Because personal robot has many application or service, it need to fault-tolerance architecture. A flexible architecture is required to provide dependability. In this paper, it is suggested a fault-tolerant architecture for module-based personal robot with module fault-tolerance, service fault-tolerance.

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

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

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

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

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.1468-1476
• /
• 2006

The goal of this thesis is to support safety and reliability characteristics of software intensive critical systems. The verification method developed is innovative from current state of the art in what concerns the verification viewpoint adopted: focusing on software faults, and not, like many other approaches purely on fulfilling functional requirements. As a first step and based on a number of well defined criteria a comparison was made of available literature in the area of static non formal non probabilistic software fault removal techniques. But, None of the techniques evaluated fulfilled all criteria set in isolation. Therefore a new technique was developed based on a combination of two existing techniques: the FMEA and FTA. These two techniques complement each other very well. It is possible to integrate both techniques with commonly used techniques at system level. The resulting new technique can be shown to combine nearly all aspects of existing fault removal techniques.

• Nuclear Engineering and Technology
• /
• 제54권6호
• /
• pp.2055-2061
• /
• 2022

In the event of a short-circuit accident on a 4.16 kV non-safety bus, the voltage is temporarily lowered as backflow occurs on the safety bus. In such cases, the undervoltage relay of the safety bus shall not pick up the undervoltage so as not to interfere with the operation of the safety motors. The aim of this study is to develop an adaptive undervoltage protection scheme for the 4.16 kV safety bus considering the faults on the 13.8 kV and 4.16 kV non-safety buses connected to secondary windings of the three winding transformers, UAT and SAT. The result of this study will be the adaptive undervoltage protection scheme for the safety bus of nuclear power plants satisfying functional requirements of the safety related medium voltage motors. The adaptive undervoltage protection scheme can be implemented into an integrated digital protective relay to make user friendly and reliable protection scheme.

• 융합보안논문지
• /
• 제12권3호
• /
• pp.11-17
• /
• 2012

ISO/IEC 9000에 의하면 품질이란 사용 시 사용자 요구사항을 만족시키는 제품이나 서비스의 특성을 종합한 개념으로 정의하고 있다. 웹애플리케이션의 시큐어코딩은 안정성과 함께 정보시스템 서비스 품질을 결정짓는 요소 중의 하나이다. 시큐어코딩을 달성하기 위해서는 품질을 기반으로 하는 설계 모델이 필요하다. 그 이유는 보안도 하나의 품질 속성으로서 비 기능적 요구사항의 범위에 속하기 때문이다. 웹애플리케이션 품질평가체계 설계를 위해서는 품질의 정의를 기초로 품질속성, 품질요구사항, 품질측정 시나리오가 정의되고 설정되어야 한다. 이를 위해 IEEE 1061 품질모델을 참조한 웹애플리케이션 품질모델 관리체계를 개발한다. 웹 애플리케이션 아키텍쳐 설계는 시큐어코딩 품질모델 체계, 웹어플리케이션 이해관계자 관심 도출, 아키텍처 동인 결정, 품질속성 도출, 보안품질 요구사항 설정, 웹어플리케이션 아키텍처기술서 작성, 보안 프레임워크 설계 순서로 구성된다.

• Ocean Systems Engineering
• /
• 제7권3호
• /
• pp.179-193
• /
• 2017

Dynamic response analysis of offshore triceratops with stiffened buoyant legs under impact and non-impact waves is presented. Triceratops is relatively new-generation complaint platform being explored in the recent past for its suitability in ultra-deep waters. Buoyant legs support the deck through ball joints, which partially isolate the deck by not transferring rotation from legs to the deck. Buoyant legs are interconnected using equally spaced stiffeners, inducing more integral action in dispersing the encountered wave loads. Two typical nonlinear waves under very high sea state are used to simulate impact and non-impact waves. Parameters of JONSWAP spectrum are chosen to produce waves with high vertical and horizontal asymmetries. Impact waves are simulated by steep, front asymmetric waves while non-impact waves are simulated using Stokes nonlinear irregular waves. Based on the numerical analyses presented, it is seen that the platform experiences both steady state (springing) and transient response (ringing) of high amplitudes. Response of the deck shows significant reduction in rotational degrees-of-freedom due to isolation offered by ball joints. Weak-asymmetric waves, resulting in non-impact waves cause steady state response. Beat phenomenon is noticed in almost all degrees-of-freedom but values in sway, roll and yaw are considerably low as angle of incidence is zero degrees. Impact waves cause response in higher frequencies; bursting nature of pitch response is a clear manifestation of the effect of impact waves on buoyant legs. Non-impact waves cause response similar to that of a beating phenomenon in all active degrees-of-freedom, which otherwise would not be present under normal loading. Power spectral density plots show energy content of response for a wide bandwidth of frequencies, indicating an alarming behaviour apart from being highly nonlinear. Heave, being one of the stiff degrees-of-freedom is triggered under non-impact waves, which resulted in tether tension variation under non-impact waves as well. Reduced deck response aids functional requirements of triceratops even under impact and non-impact waves. Stiffened group of buoyant legs enable a monolithic behaviour, enhancing stiffness in vertical plane.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권3호
• /
• pp.1404-1415
• /
• 2016

Because of the properties of software such as invisibility, complexity, and changeability, software configuration management (SCM) for software artifacts generated during software life-cycle has been used for guarantee of the quality of the software. However, the existing SCM system has only focused on code artifacts and software development document artifacts such as Software Requirements Specification (SRS), Software Design Description (SDD), and Software Test Description (STD). Moreover, software research-oriented project comes out late the code artifacts and the software development document artifacts. Therefore, there is a need for trace and management of software research document artifacts composed of highly abstracted non-functional requirements like 'the purpose of the project', 'the objectives', and 'the progress' before generation of the code artifacts and the software development document artifacts for a long time. Nevertheless, the existing SCM system cannot trace and manage them. In this paper, we propose content-based configuration management system comprised of the relevance link generation phase and content-based testing phase to trace and manage them. The preliminary application results show applicability and feasibility of the proposed system.

• 인터넷정보학회논문지
• /
• 제6권4호
• /
• pp.9-20
• /
• 2005

성공적인 소프트웨어 아키텍처의 설계를 위해서는 아키텍처 설계의 기반이 되는 아키텍처 접근법의 선정이 우선 이루어져야 한다. 이 때 다양한 아키텍처 스타일 즉, 아키텍처 접근법들 중 어떤 것을 선택 할 것인가는 완성될 시스템이 어떤 기능적, 비 기능적 품질요구사항을 만족시켜야 하는지에 따라 달라지게 된다. 본 논문에서는 아키텍처 접근법 선정을 위한 평가 모델을 제안하고 다양한 인터넷 활용과 엔터프라이즈 어플리케이션 통합에 활발히 사용되고 있는 메시지 시스템의 소프트웨어 아키텍처 접근법을 선정하고자 한다. 즉 여러 아키텍처 접근법 대안들이 존재할 경우 평가를 통해 시스템의 요구사항 만족 여부를 분석하여 대안들 중 가장 효율적이고 최적화 된 아키텍처 접근법을 선정하여 메시지 시스템의 아키텍처 설계 시 활용할 수 있도록 하고자 한다. 또한 아키텍처 접근법 식별시 스레드 기반의 설계 패턴을 활용하여 상세 설계와 구현 시 개발자들이 아키텍처를 바로 연계 시킬 수 있도록 하고자 한다.