• 제목/요약/키워드: Verification procedures

검색결과 306건 처리시간 0.021초

무선 센서 망을 이용한 공장 내 장치 관리 시스템 설계 (A Design of Device Management System for Factories using Wireless Sensor Network)

  • 문성남;김영한
    • 한국통신학회논문지
    • /
    • 제37권3C호
    • /
    • pp.233-240
    • /
    • 2012
  • 일반적인 네트워크를 통한 공장 내 관리와 달리 무선 센서 네트워크를 이용한 공장 내 관리를 위해서는 장치의 발견, 확인, 검증의 과정이 자동으로 수행되어야 한다. 이에 대한 방안으로 본 논문에서는 장치 등록 서버를 제안하고 이를 이용한 관리 시스템을 설계한다. 장치의 발견단계에서는 무선 센서 망에서 사용되는 라우팅 기술의 특성을 이용하고 식별 및 검증 단계에서는 장치를 식별할 수 있는 일반적인 정보를 장치 등록 서버에 저장하여 활용한다. 제안하는 관리 시스템은 구현의 복잡성을 낮추고 여러 종류의 장치들이 분산되어 있는 공장 내에서의 장치 관리를 용이하게 해준다.

발사체 분리과정모사 및 단계별 영상획득이 가능한 교육용 물로켓 CULV-1 개발 및 비행시험 (Development and Flight Test of Educational Water Rocket CULV-1 for Implementation of Launch Vehicle Separation Sequence and Imaging Data Acquisition)

  • 이명재;박태용;강수진;장수은;오현웅
    • 항공우주시스템공학회지
    • /
    • 제10권2호
    • /
    • pp.14-21
    • /
    • 2016
  • In this study, we proposed a water rocket CULV-1 (Chosun University Launch Vehicle-1). Unlike a conventional water rocket, CULV-1 can perform the booster rocket, fairing, and payload separation like an actual launch vehicle and also the imaging data acquisition. The conceptual and critical design of the proposed CULV-1 have been performed considering the operation characteristics. The verification tests have been performed from subsystem to system level in accordance with the established test specifications and verification procedures. Through the final launch test of the flight model, we have verified the design effectiveness of the proposed separation mechanisms for water rocket applications and the mission requirements of the CULV-1 also have been complied.

안전에 중요한 소프트웨어 개발을 위한 확인 및 검증 (Verification and Validation to develop Safety-critical Software)

  • 이종복;서상문;금종용
    • 한국품질경영학회:학술대회논문집
    • /
    • 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
    • /
    • pp.114-119
    • /
    • 2004
  • Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.

  • PDF

가상현실 기반의 무기체계 군수지원성 설계 검증 방안 : 사례연구 (A Case Study on Design Verification for Supportability of Weapon System Based on Virtual Reality)

  • 김희욱;이학표;이승용;강성욱;허길환
    • 한국군사과학기술학회지
    • /
    • 제19권1호
    • /
    • pp.76-83
    • /
    • 2016
  • State-of-the-art design S/W and other 3D systems are used for design and development of weapon system. It is possible to detect problems of design through 3D or VR(Virtual Reality) in advance, and then reduce the development cost by finding solutions before prototype production. Therefore, we can increase efficiency for supportability of weapon system. In this study, we first propose a design verification procedure. Then we verify design of weapon system, underwater guided weapon, as a case study. Finally, we suggest alternatives for underwater guided weapon under development with DMS(Digital Maintenance System) and ICIDO from the point of view of ILS(Integrated Logistics Support). Developed S/W, DMS, draws maintenance procedures for components. Commercial S/W, ICIDO, verifies cable maintainability.

우리나라 항공기 시스템 개조 인증 절차 개선 연구 (A Study on improvement of Korean aircraft system modification certification procedure)

  • 유병선;임인규
    • 한국항행학회논문지
    • /
    • 제25권3호
    • /
    • pp.185-193
    • /
    • 2021
  • 항공기의 성능 개선이나 관련 법규의 요건 만족을 위해 항공기 시스템 개조는 필요하다. 이러한 개조를 위해 기술력이나 항공기의 감항성을 위한 설계 검증, 형식 증명에 대한 부가형식증명(STC)의 인증 절차는 적절한 표준이 요구된다. 본 연구는 국내 항공기 개조 현황과 수요를 분석하고 현재의 부가형식증명 절차를 검토하여 그 문제점을 진단한다. 또한 늘어난 항공기의 수명에 대하여 개조기술 및 인증 능력 향상방안을 연구한 결과 개조 조직의 인가와 분야별 전문 엔지니어 자격 임명 그리고 교육 체계 개선이 요구되었고 국내 부가형식증명 절차의 개선을 도출하였다.

비대면 금융거래 사용자 확인 개선방안 연구 - 메신저피싱 사례를 중심으로 (A Study on the Improvement of User Identification of Non-Face-to-Face Financial Transactions with Messenger Phishing Case)

  • 김은비;정익래
    • 정보보호학회논문지
    • /
    • 제33권2호
    • /
    • pp.353-362
    • /
    • 2023
  • 전기통신금융사기 범죄인 메신저 피싱은 스마트폰 원격제어와 비대면 금융거래를 악용한 것으로 재산 피해는 물론이고 피해자들의 신용과 채무문제가 발생해 이차 피해가 심각하다. 이러한 금융사고는 피해자들의 부주의도 있겠지만 현재 메신저 피싱 범죄 수법은 지능적이며, 비대면 사용자 확인 절차의 허점을 파고든 결과로도 볼 수 있다. 본 연구에서는 메신저 피싱이 비대면 금융거래 시 사용자 확인 절차의 허점을 어떻게 악용하고 있는지 사례를 중심으로 분석하고, 실험을 통해 더 안전한 금융거래를 위한 비대면 확인 항목별로 개선점을 제언한다.

주파수 영역 해석을 활용한 부유식 해상풍력 플랫폼 초기 구조설계 절차 연구 (Study on FOWT Structural Design Procedure in Initial Design Stage Using Frequency Domain Analysis)

  • 한익승;하윤진;김경환
    • 풍력에너지저널
    • /
    • 제14권1호
    • /
    • pp.29-36
    • /
    • 2023
  • The analysis of the floating offshore wind turbine platform is based on the procedures provided by the IEC including the International Classification Society, which recommends the analysis in the time domain. But time-domain simulation requires a lot of time and resources to solve tens of thousands of DLCs. This acts as a barrier in terms of floating structure development. For final verification, it requires very precise analysis in the time domain, but from an initial design point of view, a simplified verification procedure to predict the quantity of materials quickly and achieve relatively accurate results is crucial. In this study, a structural design procedure using a design wave applied in the oil and gas industries is presented combined with a conservative turbine load. With this method, a quick design spiral can be rotated, and it is possible to review FOWTs of various shapes and sizes. Consequently, a KRISO Semi-Submersible FOWT platform was developed using a simplified design procedure in frequency-domain analysis.

마른멸치 작업장의 식품안전관리인증기준(HACCP)모델 개발 (Development of an Hazard Analysis Critical Control Point (HACCP) Application Model for Dried Anchovy Workplace)

  • 윤현진;함인태;김상현;최종덕
    • 수산해양교육연구
    • /
    • 제28권3호
    • /
    • pp.713-726
    • /
    • 2016
  • This study were attempted to apply the HACCP system adopted in the dried anchovy workplace to ensure the hygiene safety of dried anchovy workplace. In this study, HACCP system procedures, including HACCP team organization, determination of critical control point(CCP), establishment of critical limits, mornitering and verification etc., were established using KFDA 12 procedures. To determine whether hazards were critical elements, we evaluated the likelihood and seriousness of each hazard element. The likelihood of residual microorganism and metal piece exceeding the acceptable limit in dried anchovy products were demonstrated to be a critical hazard element. Management of the boiling(CCP-1B) and metal detection(CCP-2P) were determined to be a critical control point. The standards for acceptable residual microorganism and metal piece were set based on relevant laws and regulations, and then the limits were adapted and established for the CCP. An HACCP plan applicable to dried anchovy workplace was established.

직관개념 분석에 관한 연구 (A Concept Analysis of Intuition)

  • 신경림
    • 대한간호학회지
    • /
    • 제24권2호
    • /
    • pp.206-215
    • /
    • 1994
  • Intuition is an abstract concept which is most often thought of as a nonrational, nonscientific mode of thought. However, since there are so many amorphous definitions of intuition that it seems important to clarify the meaning of this concept. Therefore, this study use the process of Walker & Avant’s concept analysis to define of the concept of intuition Attributes of intuition were defined as 1) Knowledge of truth that is difficult to explicate ; 2) A type of immediate knowing ; 3) Knowlwdge without reasining analysis ; 4) Knowledge that is attained based on virtue character which integrates all matter and is not attained through individual experience. Antecedents of intuition consists of 1) as ground for knowledge or truth that is not availables to trace through the analytic procedures ; & 2) the flow of Ki which unites human beings and the universe. Consequences of intuition events or incidents occuring as a result of the concept consist of verification of the truth though analytic procedures and application of knowledge in both theoretical and practical ways. To develop intuitive ability, as an educator should not only make studies in recognizine, analysing and teaching concepts related to logical, rational decision making but should also recognize and teach concepts related to intuitive components of making decisions in clinical practice and classroom learning as well.

  • PDF

해커의 유비쿼터스 홈 네트워크 공격에 대한 정보보호 기술 (Information Protection against The Hacker's Attack of Ubiquitous Home Networks)

  • 천재홍;박대우
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권5호
    • /
    • pp.145-154
    • /
    • 2007
  • 본 논문에서는 유비쿼터스 홈 네트워크에서의 개인정보보호를 위해 유비쿼터스와 홈 네트워크의 보안을 위협하는 다양한 보안 위협사항과 요구사항에 대해 분석하고 연구하였다. 보안기능을 강화한 유비쿼터스 홈 보안 게이트웨이를 설계를 통해 외부에서의 정당한 사용자 접근 시, 인증절차와 검증절차를 마련함으로써 홈 네트워크의 보호를 강화하였다. 또한 DoS, DDoS, IP Spoofing 공격을 실시하여 홈 네트워크 보안 게이트웨이에서의 방어실험을 함으로써 해커의 공격에 대한 보안이 이루어졌음을 확인하였다. 공격 실험을 통해 유비쿼터스 홈 네트워크에서의 기기와 사용자에 대한 보안을 강화하고, 외부 공격에 대한 방어를 확인함으로써 본 논문의 홈 네트워크 보안 모델을 유비쿼터스 홈 네트워크에서의 개인정보보호를 강화할 수 있는 방안으로 제시한다.

  • PDF