• 제목/요약/키워드: Functional verification

검색결과 334건 처리시간 0.026초

카노모델을 활용한 VE대안 검증방법 (VE Alternative Verification Method Using KANO Model)

  • 리우쥔난;차오러;박진영;김병수
    • 대한토목학회논문집
    • /
    • 제39권6호
    • /
    • pp.923-932
    • /
    • 2019
  • VE는 기능을 향상시키고 비용을 절감함으로써 시설물의 가치를 제고하는 강력한 도구로 활용되고 있다. VE의 프로세스 중 발주자의 요구사항을 파악하여 품질모델에 반영함으로써 개발된 대안이 발주자의 요구사항을 충족시키도록 하고 있다. 그러나 기능분석과 아이디어 도출 및 평가를 통하여 개발된 대안이 발주자의 요구사항을 얼마나 반영하고 있는지를 검증할 수 있는 프로세스는 없다. 본 연구는 VE Job Plan 중에 개발된 대안에 대한 발주자의 만족도를 평가할 수 있는 방법론을 개발하여 검증하고 효과성을 입증하고자 하였다. 상품기획에서 요구사항의 만족, 불만족 여부를 파악할 수 있는 카노(KANO) 모델을 VE의 대안 검증절차를 위한 방법론으로 설정하고 본 연구의 목적에 맞게 개선하여 적용하였다. 연구 결과 본 연구에서 개발된 대안평가 방법은 유용한 것으로 판단되었다. 향후 카노(KANO) 모델이 VE Job Plan 분석단계에서 VE대안에 대한 만족도를 평가하는데 활용될 것으로 기대한다.

공공 아파트건설의 PMr형 사업관리모델에 대한 실증적 사레검증 (A Verification of the Project Manager-Oriented Model for Apartment Construction in the Public Sector)

  • 손정락;김재준
    • 한국건설관리학회논문집
    • /
    • 제5권6호
    • /
    • pp.191-202
    • /
    • 2004
  • 본 연구에서는 현재의 책임분산형 직능별 조직구조하의 공공 공동주택사업의 비효율적 사업관리시스템을 개선하기 위하여, 선행연구에서 제안한 매트릭스 조직기반하의 책임과 권한 통합형 PMr형 사업관리 조직모델을 실제 사업에 적용하기 위하여 세부업무단위별 수행주체 및 프로세스를 정의하고, 실증적 시범사례분석을 통하여 개발모델의 유효성을 검증하였다. 유효성 검증결과 원가절감, 목표손익, 분양률, 매출액 총이익률 등에서는 PMr형 사업관리가 기존 방식보다 우수한 것으로 검증되었으며, 또한 원가절감 및 사업성 개선사례에서도 다양한 활동들이 수행되었다. 그러나 조직운영 및 업무구분, 사업관리 및 집행권한 등 일부 문제점도 도출되었으며, 이에 대한 개선방안을 제안하였다.

효율적인 프레임 메모리 인터페이스를 통한 MPEG-2 비디오 인코더의 개선 (An Improvement MPEG-2 Video Encoder Through Efficient Frame Memory Interface)

  • 김견수;고종석;서기범;정정화
    • 한국통신학회논문지
    • /
    • 제24권6B호
    • /
    • pp.1183-1190
    • /
    • 1999
  • 본 논문에서는 MPEG-2 비디오 인코더를 ASIC 칩으로 구현할 때, 움직임추정기와 함께 대량의 하드웨어 영역을 차지하는 프레임메모리 인터페이스를 개선한 효율적인 구조를 제시한다. 이를 위해 비디오 인코더와 듀얼 뱅크를 가지는 외부 SDRAM 사이의 인터페이스를 효율적으로 처리할 수 있도록 메모리 맵을 구성하고 메모리 액세스 타이밍을 최적화하여 내부 메모리 크기와 인터페이스 로직을 줄였다. 본 설계에는 0.5 m, CMOS, TLM(Triple Layer Metal) 표준 셀 라이브러리가 사용되었으며, 하드웨어 설계 및 검증을 위해서 VHDL 시뮬레이터와 로직 합성툴이 사용되었고, 기능 검증을 위한 테스트 벡터 생성을 위해서, C 언어로 모델링한 하드웨어 에뮬레이터가 사용되었다. 개선된 프레임 메모리 인터페이스의 구조는 기존의 구조[2-3]에 비해 58% 정도의 면적이 감소했으며, 전체 비디오 인코더에 대해서는 24.3% 정도의 하드웨어 면적이 감소되어, 프레임메모리 인터페이스가 비디오 인코더 전체의 하드웨어 면적에 대단히 심각한 영향을 미친다는 것을 결과로 제시한다.

  • PDF

학교시설의 그린리모델링을 위한 디자인지표 개발 및 사용자참여설계 활용에 관한 연구 (A Study on the Development of Design Indicator and User Participation Design for Green Remodeling of School Facilitiess)

  • 김은희;류수훈
    • 교육시설 논문지
    • /
    • 제24권3호
    • /
    • pp.3-13
    • /
    • 2017
  • This study has developed a design indicator required to promote green remodeling in school facilities. And, implemented the green remodeling pilot test on the school facilities that are planning actual remodeling. This pilot test suggested user participation design methodology such as verification of the developed design indicator, design goal setting, evaluation and adjustment of design proposal. The Green Remodeling Design Indicators were classified into 3 large categories of architectural performance, usability, and design through analysis of cases related to 'green buildings' and 'remodeling'. We have developed nine middle categories such as architectural and structural performance, facility performance, environmentally-friendly, circulation, space, amenity, harmony with surroundings, form and symbolization. In addition, 42 detailed indicators were developed for each category, including general, functional, and special indicators. For the verification of this study, two green remodeling design workshops were conducted for Gwangju J elementary school. The first design workshop presented the importance of the design indicator and set the goal of the design plan of green remodeling for project. And, the second Workshop presented the evaluation of the satisfaction with the design and the direction of future adjustment for project. The design indicator developed in this study can be utilized as a design indicator of design quality management and decision system for the school green remodeling in the future. In addition, by accumulating information on the Green Remodeling Project, it is necessary to spread green remodeling and construct a sustainable building environment.

Fly-By-Wire 헬리콥터 비행제어법칙 자동생성코드 개발 및 검증 프로세스 (A Development and Verification Process of Auto Generated Code for Fly-By-Wire Helicopter Control Law)

  • 안성준;김종섭;조인제;허진구
    • 한국항공우주학회지
    • /
    • 제41권6호
    • /
    • pp.488-494
    • /
    • 2013
  • 전자식 비행제어시스템(Fly-By-Wire Flight Control System)에 적용되는 헬리콥터의 제어법칙 설계 및 해석은 모델기반 설계기법(Model Based Design)을 사용하여 개발되고 있다. 모델기반 설계기법은 회전익뿐만 아니라 고정익, 무인항공기, 자동차 산업에서도 널리 사용되고 있다. 모델기반 설계기법은 핵심기술인 시뮬레이션과 자동생성코드를 이용하여 개발기간 단축 및 개발리스크 감소라는 장점을 제공한다. 본 논문에서는 FBW 헬리콥터 비행제어법칙의 자동생성코드에 대해서 체계적인 기능검증을 위한 프로세스를 개발하였다. 그리고 지식경제부 과제로 진행하고 있는 FBW 헬리콥터 개발에 적용하여 비행제어법칙 자동생성코드의 기능 검증을 수행 결과, 요구 조건을 충족하는 것으로 확인할 수 있었다.

차세대 고속열차 시험평가 프로세스에 관한 연구 (A Study on the Test and Evaluation Process Development for Korea Next Generation Highspeed Electric Multiple Unit)

  • 이태형;김상수;김석원;김기환;정흥채
    • 시스템엔지니어링학술지
    • /
    • 제7권2호
    • /
    • pp.7-11
    • /
    • 2011
  • A high-speed railway system represents a typical example of large-scale multi-disciplinary system, consisting of subsystems such as rolling-stock, electrical hardware, electronics, control, information, communication, civil technology etc. The system design and acquisition data of the large-scale system must be the subject under strict configuration control and management. Systems engineering technology development project for Korea next generation High-speed Electric Multiple Unit (HEMU) system in progress is a national large system development project that is not only a large-size and complex but also multi-disciplinary in nature. Therefore, all stakeholders must understand and share the functional and performance requirements of HEMU throughout its life-cycle phases. Also in the test and evaluation phase, all systems requirements must be verified. In 2011, the prototype train manufacturing will be completed. It will do test run on the commercial line and all systems requirements are verified until 2012. For the system verification, the test and evaluation process have to be established before the test trial run. Using a systems engineering tool, the system design database(SDD) with requirements traceability and development process management in the course of the development have to be established. This paper represents the test and evaluation process development based on the SEMP(Systems Engineering Management Plan) developed in the design stage. The test and evaluation process is refined and updated in comparison to the design stage one. The test and evaluation process consists of procedure, test and evaluation method and schedule. So through this process, it is defined that each systems requirements is verified on which test and about what time.

내장형 인공지능 프로세서를 위한 성능 분석기 (Performance Analyzer for Embedded AI Processor)

  • 황동현;윤영현;한창엽;이승은
    • 인터넷정보학회논문지
    • /
    • 제21권5호
    • /
    • pp.149-157
    • /
    • 2020
  • 최근 인공지능에 대한 관심이 높아짐에 따라 인공지능 프로세서를 하드웨어로 구현하는 연구가 활발히 진행되고 있다. 하지만 인공지능 프로세서는 기존에 기능 검증을 위한 프로세서 시뮬레이션 외에 애플리케이션 단계에서 인공지능 프로세서가 해당 애플리케이션에 적합한지에 대한 성능 검증이 추가로 필요하다. 본 논문에서는 인공지능 프로세서를 활용한 애플리케이션 성능 검증과 프로세서의 한계점을 탐색할 수 있는 내장형 인공지능 프로세서를 위한 성능 분석기를 제안한다. 본 논문은 내장형 인공지능 프로세서를 위한 성능 분석기를 구현하기 위하여 기존에 구현된 인공지능 프로세서의 구조를 분석하고 이를 기반으로 인공지능 프로세서를 모사하는 내장형 인공지능 프로세서를 위한 성능 분석기를 구현한다. 내장형 인공지능 프로세서를 위한 성능 분석기를 활용해 이미지 인식, 음성 인식 애플리케이션에서 인공지능 프로세서의 성능 분석 및 한계점을 탐색하고, 제한된 메모리 크기 안에서 인공지능 프로세서의 구조를 최적화한다.

Safety-critical 소프트웨어 적용을 위한 소프트웨어 개발 절차 (A Software Engineering Process for Safety-critical Software Application)

  • Kang, Byung-Heon;Kim, Hang-Bae;Chang, Hoon-Seon;Jeon, Jong-Sun;Park, Suk-Joon
    • 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.

  • PDF

iNOS 발현 검출을 위한 in vitro 시스템의 확립 및 적송잎 추출물에 의한 저해효과 검증 (Establishment of In vitro Detection System for iNOS Expression and the Verification of Suppressive Effect by Pine Needle Extract)

  • 김남영;장혜지;이동근;장민경;이승우;전명제;김미향;김성구;이상현
    • KSBB Journal
    • /
    • 제26권2호
    • /
    • pp.172-176
    • /
    • 2011
  • This study was aimed to verify suppressive effect of pine-needle extract on lipopolysaccharide (LPS)-induced inducible nitric oxide synthase (iNOS) expression. In order to evaluate suppressive effect on iNOS expression, RAW 264.7 cells were stably transfected using an iNOS promoterluciferase reporter plasmid yielding RAW 264.7/pGL2-NeomiNOS_ pro11 cells. Established in vitro detection system revealed to diminish LPS-induced iNOS expression by 0.1~500 ${\mu}g/mL$ of saponin at the concentration-dependant manner. Pine needle extract also diminished LPS-induced iNOS expression to 92 and 88% at 500 and 50 ${\mu}g/mL$, respectively. These results suggest that the in vitro detection system developed here could be useful for the verification of suppressive materials on iNOS expression and pine needle extract could be used for the development of functional foods.

Development of Ground Monitoring and Control System for Korea Augmentation Satellite System

  • Daehee Won;Chulhee Choi;Eunsung Lee;Hantae Cho;Dongik Jang;Eunok Jang;Heetaek Lim;Ho Sung Lee;Jungja Kim;Joohap Choi
    • Journal of Positioning, Navigation, and Timing
    • /
    • 제12권2호
    • /
    • pp.185-200
    • /
    • 2023
  • The Korea Augmentation Satellite System (KASS) is the first satellite navigation enhancement system in Korea developed in compliance with international standards. Technologies accumulated during the development process should be spread to industries such as academia and serve as the basis for developing the domestic satellite navigation field. This paper introduces the development process from design to implementation, testing, and verification of KASS control systems (KCS). First, development standards, milestones, requirements, and interface standards are presented as KCS development methods, and major functional design, physical design, and hardware/software implementation are described based on the allocated requirements. Subsequently, the verification environment, procedures, and results of the development product are covered and the developed operational and maintenance procedures are described. In addition, based on the experience gained through the development, suggestions were made for beneficial technology development and organization when promoting satellite navigation projects in the future. Since this work has important historical value for the development of domestic satellite navigation, it is expected that the development results will be shared with academia and industry in the future and be used as basic data for similar development.