• 한국정보전자통신기술학회논문지
• /
• 제12권3호
• /
• pp.257-264
• /
• 2019

최근 이더넷 신호를 융통성 있게 구성하도록 하는 FlexE는 OTN을 통해 투명하게 전달하기 위하여 OTN으로 수용하는 것을 ITU-T에서 권고하고 있다. FlexE신호를 OTN 페이로드로 맵핑할 때 발생할 수 있는 비트율 차이를 보상하기 위하여 유휴 코드워드를 제거하거나 삽입하는 방법을 사용한다. 그러나 이와 같은 방법을 구현하기 위해 필요한 세부적인 기능 블록은 아직 공개되고 있지 않다. 본 논문에서는 최근 ITU-T 요구사항을 기초로 하여 400G급을 기준으로 FlexE 신호의 OTN 맵핑을 위한 세부적인 기능 블록을 살펴보았다. 또한 세부 기능 블록을 바탕으로 유휴 코드워드의 제거 및 삽입되는 발생 특성을 얻기 위하여 수학적인 분석을 하였고, 이를 이용한 시뮬레이션을 결과를 보였다.

• 한국의류학회지
• /
• 제46권1호
• /
• pp.1-16
• /
• 2022

To develop functional workwear for fishing, this study investigated the working conditions, inconveniences and problems associated with workwear, and functions required for workwear. A questionnaire was used for the study, and SPSS 26.0 was used for the analysis. In total, 124 fishermen participated in this survey (ages: 53.2 ± 11.9), consisting of 84.7% males and 15.3% females. The number of participants whose work experience was more than 10 years and less than 20 years was 46, accounting for 37.1%. Most fishing industry was in danger of getting hit by machinery or clothes. Fishermen preferred two-piece style workwear, and a waterproof fabric was the most important factor considered while purchasing the workwear. Their discomfort while moving in their workwear was attributed to the stretching of their hips, thighs, crotch, and knees when lifting their legs or squatting. Preferences depended on the type of fishery and the age of fishermen. Protection was emphasized for aquaculture fishing, while the activity was emphasized for capture fishing. People in their 50s emphasized the protection provided by the workwear, while others emphasized the activity. In the future, substantial research is necessary to develop workwear that reflects fishermen's requirements.

• 한국ITS학회 논문지
• /
• 제6권1호
• /
• pp.58-71
• /
• 2007

교통약자 즉, 장애인과 노약자의 자립생활과 사회통합을 위한 장애물 없는 생활환경(Barrier-Free)의 실현은 건축, 도시, 교통, 도로 등 통합적인 측면에서 생활환경의 설계기준 재정비 등 하드웨어적인 측면과 함께 사회활동에 필요한 편의시설의 다양한 정보접근과 이용 등 소프트웨어적인 측면이 동시에 충족되어야 하며, 소프트웨어적인 측면은 편의시설의 이용성을 제고하는데 있어 매우 중요한 문제이다. 이러한 측면에서 편의시설의 이용성 향상을 위해 유비쿼터스 기술 등 정보통신기술을 활용한 지원시스템 구축이 필요하다. 대표적 교통약자인 장애인 노약자가 사회생활을 하기 위하여 주거지를 넘어 다른 장소로 이동하고자 할 경우에도 이들의 목적을 달성하기에 어려움이 없도록 정보를 제공하고 지원하는 시스템이 필요하다. 장애인, 노약자의 행태조사 및 요구조사를 통한 요구사항분석과 장애인, 노약자 중심의 생활 및 이동지원시스템관련 국외 연구동향 및 관련 기술요소파악 및 시스템 요구조건과 유즈케이스를 도출하였다.

• Nuclear Engineering and Technology
• /
• 제27권1호
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

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

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

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권1호
• /
• pp.46-61
• /
• 2002

소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.

• 한국컴퓨터정보학회논문지
• /
• 제24권5호
• /
• pp.49-58
• /
• 2019

In this paper, we propose an edge cloud platform architecture for implementing smart factory. The edge cloud platform is one of edge computing architecture which is mainly focusing on the efficient computing between IoT devices and central cloud. So far, edge computing has put emphasis on reducing latency, bandwidth and computing cost in areas like smart homes and self-driving cars. On the other hand, in this paper, we suggest not only common functional architecture of edge system but also light weight cloud based architecture to apply to the specialized requirements of smart factory. Cloud based edge architecture has many advantages in terms of scalability and reliability of resources and operation of various independent edge functions compare to typical edge system architecture. To make sure the availability of edge cloud platform in smart factory, we also analyze requirements of smart factory edge. We redefine requirements from a 4M1E(man, machine, material, method, element) perspective which are essentially needed to be digitalized and intelligent for physical operation of smart factory. Based on these requirements, we suggest layered(IoT Gateway, Edge Cloud, Central Cloud) application and data architecture. we also propose edge cloud platform architecture using lightweight container virtualization technology. Finally, we validate its implementation effects with case study. we apply proposed edge cloud architecture to the real manufacturing process and compare to existing equipment engineering system. As a result, we prove that the response performance of the proposed approach was improved by 84 to 92% better than existing method.

• Journal of Dairy Science and Biotechnology
• /
• 제26권2호
• /
• pp.9-22
• /
• 2008

This work has been conducted as a part to set up the regulations and the scientific evaluation systems for the functional dairy products with health claims in Korea. Toward this end, current regulations, requirements, and all kinds of provisions related to the functional dairy products overseas were taken into accounts and feasible recommendations of new initiatives on the current regulations as well. By doing so, not only protecting hopefully the innocent consumers from the false labeling statements and fake advertisements, but also eventually to revitalize the stagnated domestic dairy industries. Currently, functional daily products are simply regarded as "Dietary Supplements" in the United States, and subjected to the regulations under the Dietary Supplement Health and Education Act, established m 1994. Manufacturers and sales distributors should notify their products to the FDA, which is in charge of the dietary supplements on nutrition and labeling, in advance when they start marketing a new dietary ingredient or any foods containing it in the States. For EU countries, there exists keen interests about the functional food products between the member countries of the European Union even though the products are categorized into "Food Supplements" similar to those in the United States. Therefore, they maintain a cautious attitude in applying the health claims to the functional food products. On the other hand, under the Japanese health food system, functional foods are qualified to the functional health foods in terms of legal status as long as any traditional foods can meet the legal standards in its effectiveness, safety as well as quality, along with significant scientific evidences related to the products, thus categorized into "Foods for Specified Health Uses and "Foods with Nutrient Function Claims". Through this study, we may have some expectations and potential utilizations as follows: Legal regulations of dietary supplements especially for the dairy products will be implemented by the outcomes of this research and proposed a tentative amendment of functional ingredients for the sake of consumer protection from the false advertisements and overstatement labeling. Current regulations on the animal foods processing and advertisements will be amended and supplemented in order to revitalize the current downturn dairy sales and to harmonize the international Codex recommendations. The results obtained from this study will make the consumers a wise selection of the dairy products with health claims and be utilized for consumer education and advertisement of the functional products as well.

• 한국산학기술학회논문지
• /
• 제20권3호
• /
• pp.91-99
• /
• 2019

함정은 일반성능, 특수성능, 탑재장비 성능과 관련된 수많은 요구사항이 있으며, 장기간에 걸친 설계 및 건조기간 동안 요구사항은 각 시스템에 반영되고 구현되어야 한다. 요구사항은 설계기간 동안 작성되는 도면, 보고서, 제안요청서, 사양서 등 다양한 문서들을 통해 구체화 된다. 그러나 함정과 같은 복합시스템의 경우 이런 산출물을 통해 요구사항 추적성을 유지하며 요구사항을 관리하는 것에 많은 어려움이 따른다. 함정의 설계 및 건조기술은 오랜 역사 속에 발전되어 왔기 때문에 기존의 문서기반 설계 방식에 익숙하지만, 각종 설계 산출물과 요구사항, 그리고 시스템의 기능, 물리 아키텍처 간 추적성 관리는 어려움이 있다. 함정의 기본설계는 함정 제원 및 성능, 탑재장비 선정 및 배치, 연동 등을 확정하는 중요한 단계이며 시스템 아키텍처 설계 구현을 위한 구체적인 적용 방법 연구를 통해 변화가 요구된다. 따라서 함정 기본설계 단계에 적합한 요구사항 설계 적용을 위한 시스템 아키텍처 설계 방법 연구가 필요하다. 본 논문에서는 요구사항으로 부터 시스템 아키텍처 설계를 수행하고 SE 기반 기술검토 프로세스를 통해 확인하는 방법을 연구하였다. 잠수함 시스템 아키텍처 설계를 위해 요구사항 분석, 아키텍처 설계, 설계 실행 및 통합의 각 단계별 세부 수행사항과 내용을 제시하였다. 이를 통해 효과적인 시스템 요구사항 개발 및 아키텍처 설계가 가능하였으며, 단계별 추적성 관리, 요구사항의 확인 측면에서 효과적임을 확인하였다. 향후 잠수함을 비롯한 다양한 함정에 제시한 프로세스 적용이 가능할 것으로 판단된다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제8권2호
• /
• pp.41-56
• /
• 2019

제조 클라우드는 여러 공장이 연결되어 단일 공장처럼 구성되어 사용자의 요구사항에 유연하게 대처할 수 있는 새로운 제조 패러다임이다. 이러한 기능을 제공하는 제조 클라우드 시스템은 클라우드 컴퓨팅, 사물인터넷, 인공지능과 같은 컴퓨팅 기술을 활용하여 분산되어 있는 제조 시설 간의 협업을 통한 유연 생산에서 안정성, 고신뢰성, 연동성 등을 제공하는 일종의 대규모 CPS이다. 제조 클라우드 CPS는 많은 수와 다양한 종류의 이기종 서브시스템들로 구성되어 있는데 이 때문에 서브시스템 간 연동, 데이터 교환, 시스템 통합 등에 문제가 발생할 수 있어 대규모의 제조 클라우드 CPS을 구성하는데 어려움을 겪고 있다. 본 논문에서는 이러한 어려움을 극복하기 위하여 제조 클라우드를 체계적으로 분석하고 분석 결과를 바탕으로 제조 클라우드 CPS를 효과적으로 지원할 수 있는 플랫폼 참조 모델을 제안한다. CPS 분석 방법론인 CPS 프레임워크를 활용하여 제조 클라우드 CPS의 기능적, 인간적, 신뢰성, 시간적, 데이터 및 구성의 측면에서 사용자 요구사항을 도출하고 이들을 분석하여 확장성, 구성성, 상호 작용성, 신뢰성, 시간성, 상호 운용성, 지능성의 영역에서 시스템 요구사항을 정의한다. 정의된 제조 클라우드 CPS 시스템 요구사항을 바탕으로 플랫폼을 구성하기 위하여 IoT 플랫폼 표준인 oneM2M의 요구사항에 매핑하고 oneM2M 구현물인 Mobius를 통하여 요구사항 지원성 검증 실험을 수행하였다. 수행 결과를 분석하여 현재 사물인터넷 플랫폼의 제조 클라우드 CPS 지원성을 확인하고 이를 확장하여 대규모 제조 클라우드 생산을 지원하는 플랫폼 참조 모델을 제안한다.