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

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

기능 요구사항 시뮬레이션을 이용한 임베디드 시스템 및 소프트웨어의 요구사항 검증 (Functional requirements simulation for requirements verification of embedded system and software)

  • 임재훈
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2018년도 춘계학술발표대회
    • /
    • pp.253-255
    • /
    • 2018
  • 기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

철도신호시스템 상호운용성 검증 방법 및 지원도구의 개발 (Interoperability Test and Testing Tool for Railway Signaling System)

  • 황종규;조현정;백종현
    • 한국산학기술학회논문지
    • /
    • 제16권9호
    • /
    • pp.5802-5809
    • /
    • 2015
  • 철도신호시스템은 열차의 운행을 책임지는 바이탈한 제어장치로서, 실제 사용 전에 충분한 시험을 통해 그 기능 안전성이 검증되어야 한다. 지금까지는 대부분 실험실에서 시뮬레이터에 의한 개발한 철도신호시스템의 검증을 수행 후 철도현장에 설치하여 다른 장치와 운용성 테스팅 단계를 거치게 된다. 이러한 접근방법은 일부 제한된 범위에서 상호운용성이 검증되고 있어, 보다 체계적인 상호 운용성 검증이 요구되고 있다. 본 논문에서는 철도신호시스템의 상호운용성 검증을 위한 단계를 3단계로 제시하고, 각 단계별 검증 방법을 설명한다. 또한 최종단계인 3단계에 적용을 위한 시험방법 및 테스팅 도구를 제안하였다.

군용항공기 내 비행 영상 및 데이터 녹화기 장착에 관한 안전성 검증 (Safety Verification of Mounting Flight Video and Data Recorder in the Military Aircraft)

  • 권정혁;김경남;황원화;이왕상
    • 항공우주시스템공학회지
    • /
    • 제17권5호
    • /
    • pp.42-57
    • /
    • 2023
  • 본 논문에서는 운영 중인 군용항공기 내에 비행 임무 및 정비사항의 연구 능력 증대를 위해서 비행 영상 및 데이터 녹화기 추가 장착에 대한 운영환경에 맞는 요구도 검토 및 안전성 검증 방안을 연구하였다. 군용규격 및 운영환경에 따른 요구도에 맞도록 녹화기 장비 자체의 검증, 항공기체계에서의 구조 안전성, 전원 및 전기 안전성, 전자기 적합성과 감항 영향성 검토 및 검증과정을 기술하였다. 또한, 지상/비행 시험을 통해 비행 영상 및 데이터 녹화기와 타 계통 간의 간섭 영향성 및 요구도에 적합한 기능 동작 결과도 함께 기술하였다.

소프트웨어 역공학에서 기능성 검증 기법 (A Functional Verification Techniques in Software Reverse Engineering)

  • 황선명;진영택
    • 한국정보처리학회논문지
    • /
    • 제5권10호
    • /
    • pp.2546-2555
    • /
    • 1998
  • 기존의 절차중심 패러다임으로 개발된 시스템들은 사용자들의 새로운 요구와 변화 그리고 개발 당시의 기술보다 뛰어난 새로운 기술이 개발됨에 따라 수정되어야할 필요가 있다. 특히 재공학 및 역공학 기술로부터 품질이 높은 기존 시스템이 객체지향 시스템으로 변환되었을 때 변화된 시스템의 기능이 변환이전의 시스템과 동일한지 여부의 평가가 필요하다. 본 논문에서는 함수 커버리지를 제안하여 절차 중심의 소프트웨어와 변화된 객체지향 소프트웨어간의 기능적 일치성을 검증하기 위한 방법과 도구를 개발하였다. 이때 동적 분석에 필요한 계측도구의 삽입과정과 검증절차를 통하여 함수 커버리지의 만족 여부를 판단하여 테스트 데이터를 선정하였다.

  • PDF

건강개념의 의미에 관한 조사연구 (A Study on Adult s Perception of Health Concept)

  • 변영순
    • 대한간호학회지
    • /
    • 제18권2호
    • /
    • pp.189-196
    • /
    • 1988
  • Health, a major concept in nursing, has not yet consistent or agreed upon definition. Although effective health care depends on clear communication between health care provider and client clear definition of health would enhance the promotion of quality in health care. There are no agreed definitions or criteria for overall health. An essentialstep would seem to be to determine commonly held meaning about the concept of health. Therefore, the study was aimed at identifying the Adult's perceptions of health concept. The subject's consisting of 312 adults, who were sampled through area sampling from May 10 to May 30,1988. The instruments used for this study were Health Conception Scale, which was developed by Smith, Laffrey's revised and tested its reliability. The data was Analyzed by S.P.S.S. program and the results were as follows ; 1. The results of the reliability test for content of health concept was $\alpha$=.87. 2. The respondents perception of Health Meaning were inclined to emphasize the functional / role performance dimension rather than clinical dimension. 3. The perceptual level of health concept was proved to be significantly different by the variable : age, sex, religion, area marital status. In conclusion, adult's perception of Health Concept is revealed that functional and role performance dimension is more important than other dimensions. Futher study is necessary to clarify the structure of functional, adaptive, eudaimonistic dimension and systematic study with subculture will be and repetitive verification and modification of this tool is demanded.

  • PDF

기능성 시작품 제작기술을 이용한 빌드업인쇄회로기판의 제조 공정기술 개발 (Development of Build-up Printed Circuit Board Manufacturing Process Using Functional Prototype Fabrication Technology)

  • 임용관;조병희;정성일;정해도
    • 한국기계가공학회지
    • /
    • 제2권2호
    • /
    • pp.14-21
    • /
    • 2003
  • Rapid prototyping(RP) has been used for design verification and proto sample or mold manufacturing. Many RP systems have been introduced into the market during the past 15 years. However, until now, the systems have used mainly for external physical models (mono function), and have the basic but critical limitation of one material on one stage (mono material). To overcome the limitations of mono-material and mono-function of conventional. RP systems, the concept of Functional Phototype Development (FPD) is newly proposed in this paper FPD provides the necessary prototype functions such as mechanical, optical, chemical and electrical properties in order to meet the broad requirements of the industry. The paper illustrates the representative achievements of electronic components such as the multi-layer printed circuit board(MLB). Experimental results demonstrate that FPD has great potential applied to broad industrial uses and that It Will be a powerful tool in the neat future.

  • PDF

Red ginseng (Panax ginseng Meyer) oil: A comprehensive review of extraction technologies, chemical composition, health benefits, molecular mechanisms, and safety

  • Truong, Van-Long;Jeong, Woo-Sik
    • Journal of Ginseng Research
    • /
    • 제46권2호
    • /
    • pp.214-224
    • /
    • 2022
  • Red ginseng oil (RGO), rather than the conventional aqueous extract of red ginseng, has been receiving much attention due to accumulating evidence of its functional and pharmacological potential. In this review, we describe the key extraction technologies, chemical composition, potential health benefits, and safety of RGO. This review emphasizes the proposed molecular mechanisms by which RGO is involved in various bioactivities. RGO is mainly produced using organic solvents or supercritical fluid extraction, with the choice of method greatly affecting the yield and quality of the end products. RGO contains a high unsaturated fatty acid levels along with considerable amounts of lipophilic components such as phytosterols, tocopherols, and polyacetylenes. The beneficial health properties of RGO include cellular defense, antioxidation, anti-inflammation, anti-apoptosis, chemoprevention, hair growth promotion, and skin health improvement. We propose several molecular mechanisms and signaling pathways that underlie the bioactivity of RGO. In addition, RGO is regarded as safe and nontoxic. Further studies on RGO must focus on a deeper understanding of the underlying molecular mechanisms, composition-functionality relationship, and verification of the bioactivities of RGO in clinical models. This review may provide useful information in the development of RGO-based products in nutraceuticals, functional foods, and functional cosmetics.

호텔기업의 키오스크 특성이 관계지속의도에 미치는 영향 : 지각된 가치의 매개효과 중심으로 (The Effect of Kiosk Characteristics of Hotel on Relationship Continuity Intention: Mediating Effect of Perceived Value)

  • 서정운;한종헌
    • 디지털산업정보학회논문지
    • /
    • 제19권3호
    • /
    • pp.137-148
    • /
    • 2023
  • This study verified the mediating effect of perceived value and the influence of kiosk device characteristics on relationship continuity intention to solve the difficult problems of hotel companies due to the development of current technology and hotel recruitment problems. Two hundred thirty-nine consumers who used kiosk devices in hotels were analyzed using SPSS 23.0 and Smart PLS 4.0. As a result of analysis and verification, it was found that the kiosk characteristics (playfulness, convenience, reliability, usefulness) had a significant effect on all perceived values (emotional value, functional value), and the perceived value also had a significant effect on the relationship continuity intention. Appeared as a result of the influence. However, it was found that the mediating effect of functional value in the relationship between convenience and usefulness among kiosk characteristics was dismissed. These results support the previous studies on hotel kiosks and have academic implications, as well as practical implications for practitioners of hotel companies.

융합적 가족 기능과 청소년 보호요인의 매개검증에 관한 연구 (A Study on Convergence Family Function and parameter validation fusion of youth protection factor)

  • 장춘옥
    • 한국융합학회논문지
    • /
    • 제6권4호
    • /
    • pp.121-126
    • /
    • 2015
  • 한국청소년패널(2008)의 중2 패널 5차년도 자료를 가지고 기술통계 분석과 회귀분석을 실시하여 가족의 기능적 결손이라는 위험상황에서 위험요인, 보호요인, 심리적응 간의 관계와 보호요인의 매개효과의 기제를 검증하고, 심리적응 수준이 높은 청소년을 보호해주는 보호요인을 분석하는 데에 그 목적이 있다. 분석방법으로는 대상자의 빈도분석과 개인특성에 따른 차이를 알아보기 위해 PASW(Predictive Analytics Software) 18.0을 이용해 t검증을 실시하였다. 또한 적응에 대한 보호요인의 작용 검증을 위하여 위계적 회귀분석을 실시하여 매개효과를 검증하였다. 연구결과 사회복지실천 현장에서 청소년의 위험요인에 초점을 맞추기보다는 위험요인을 완화시키는 과정이나 보호요인에 초점을 맞춤으로써 위험요인에 노출된 청소년을 바라보는 시각을 전환시킬 수 있으며 이들에 대한 개입도 달라질 것으로 판단된다. 사회복지실천 현장에서 청소년의 위험요인에 초점을 맞추기보다는 위험요인을 완화시키는 과정이나 보호요인에 초점을 맞춤으로써 위험요인에 노출된 청소년을 바라보는 시각을 전환시킬 수 있다. 또한, 가족의 기능적 결손이라는 어려움을 경험하는 청소년을 대상으로 사회복지 실천적 개입 방향을 마련 할 수 있는 기초를 마련한 것으로 판단된다.

공정안전향상을 위한 Safety Integrity Level의 적용 방향 (Towards the Application of Safety Integrity Level for Improving Process Safety)

  • 권혁면;박희철;천영우;박진형
    • 한국안전학회지
    • /
    • 제27권5호
    • /
    • pp.64-69
    • /
    • 2012
  • The concept of SIL is applied in the most of all standards relating to functional system safety. However there are problems for the people to apply SIL to their plants. as these standards don't include sufficient informations. In this regards, this paper will suggest the direction of SIL application and concept based on IEC 61508 and IEC 61511. A Safety Integrity Level(SIL) is the discrete level(one out of possible fours), corresponding to a range of the probability of an E/E/PE (Electric/Electrical/Programmable Electrical) safety-related system satisfactorily performing the specific safety functions under all the stated conditions within a stated period of time. SIL can be divided into the target SIL(or required SIL) and the result SIL. The target SIL is determined by the risk analysis at the analysis phase of safety lifecycle and the result SIL is calculated during SIL verification at the realization phase of safety lifecycle. The target SIL is determined by the risk analysis like LOPA(Layer Of Protection Analysis), Risk Graph, Risk Matrix and the result SIL is calculated by HFT(Hardware Fault Tolerance), SFF(Safe Failure Fraction) and PFDavg(average Probability of dangerous Failure on Demand). SIL is applied to various areas such as process safety, machinery(road vehicles, railway application, rotating equipment, etc), nuclear sector which functional safety is applied. The functional safety is the part of the overall safety relating to the EUC and the EUC control system that depends on the correct functioning of the E/E/PE safety-related systems and other risk reduction measures. SIL is applied only to the functional safety of SIS(Safety Instrumented System) in safety. EUC is the abbreviation of Equipment Under Control and is the equipment, machinery, apparatus or plant used for manufacturing, process, transportation, medical or other activities.