• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• 한국컴퓨터정보학회논문지
• /
• 제13권7호
• /
• pp.207-212
• /
• 2008

EMC(electromagnetic compatibility) 인증에서 현재까지는 인증사업자 등록 자격요건으로 인증시설 및 인증장비 등을 집중적으로 고려하였으나, 향후에는 인증 시험환경 또한 엄격하게 제한할 것으로 예견되고 있다. 현재 인증 시험환경을 국제표준으로 제정하고자 하는 연구가 진행되고 있다. 따라서 본 연구에서는 국내 인증산업의 시장경쟁력 및 부가가치를 높이기 위한 목적으로 온도, 습도, 조도, 일/이산화탄소, 자기장, 인체감지 등을 실시간 자동으로 측정하여 원격에서 자동으로 모니터링하고, 적정한 측정환경을 유지할 수 있는 시스템을 USN(ubiquitous sensor network) 기반으로 제안하였다. 제안된 시스템의 유용성은 실험을 통하여 확인하였다.

• 에너지공학
• /
• 제26권4호
• /
• pp.92-99
• /
• 2017

국내에서는 국토부 7대 신산업, 산업부 8대 신산업으로 제로에너지빌딩이 지정되었으며, 건물외피의 단열성능 극대화와 건물 기기 효율향상 및 신재생 보급 확대를 위해 부처간 융합을 통해 제로에너지빌딩 보급 활성화 달성을 목표로 하고 있다. 국내에서 시행 중인 제로에너지빌딩 인증제에 해당되는 건물에너지효율등급 1++이상이 되는 건축물들의 부하(냉방, 난방, 급탕, 조명, 환기)들의 에너지소요량을 분석하여 대략적인 부하들의 수준을 파악하고 제로에너지빌딩 인증제 고도화를 위한 기초 자료로 활용될 수 있도록 하는 목적이 있다. 제로에너지빌딩 인증에 해당되는 건축물은 2017년 기준 61개 가량 되는 것으로 파악되고 있으며, 패시브 측면과 액티브 측면을 고려하여 5대 부하별 대략적인 기준 값과 1차 에너지소요량을 산정하였다. 부하기준 산정을 위한 데이터의 표본이 적어 명확한 기준이 된다고 보기는 어려우나 앞으로 제로에너지빌딩 인증 기준을 고도화하기 위해 다양한 방법들을 적용하여 해석할 필요성이 있다고 판단된다.

• 대한공간정보학회지
• /
• 제23권1호
• /
• pp.3-14
• /
• 2015

도심지에서 초고층 건축물 및 지하시설물과 연계된 복합건축물 등 건축물이 대형화 복합화 됨에 따라 공간정보 서비스 대상영역의 범위가 실내공간으로 급속하게 확대되어 가고 있으며, 이러한 변화는 모바일 디바이스의 보급, IT 기술의 발달과 함께 향후 실내공간정보 기반의 안전 및 시설물관리, 실내내비게이션 등 다양한 서비스 수요를 창출하게 될 것으로 판단된다. 하지만 실내공간정보의 경우, 구축된 실내공간정보 데이터 품질에 대한 인증 기준이 부재하여 이에 따른 검증 기준 마련이 시급하다. 이에 본 연구에서는 국내외 연구사례를 검토하고 이를 기반으로 실내공간정보 품질검증 방안을 마련하여 2014년도 구축된 영등포역의 실내공간정보에 대해 검증실험을 실시하였다. 그 결과, 본 연구에서 제시한 실내공간정보 품질인증의 방법 및 기준에 대한 검증실험을 통해 균일하고 완성도 높은 품질의 데이터를 분류할 수 있음을 확인하였으며, 오류 발생 빈도가 높은 유형 등에 대해 파악할 수 있었다. 이러한 결과는 향후 실내공간정보 품질인증체계를 구축을 위한 기초자료로 활용될 수 있을 것이다.

• 한국항공우주학회지
• /
• 제49권7호
• /
• pp.593-599
• /
• 2021

e-VTOL 항공기는 전기동력으로 인한 운용유지비의 절감, 친환경성, 수직이착륙으로 인한 도심운용, 자동화로 인한 조종의 편리성 등 미래 교통수단으로 향후 수요가 급증할 것으로 예상된다. 이에 전 세계적으로 활발한 연구 개발이 진행 중에 있으나 상용화를 위해서 필수적으로 요구되는 안전성 확보와 인증에 있어 기술적으로 해결해야 할 문제점들이 상존한다. 이러한 어려움으로 운송사업용 형식증명 및 표준감항증명을 받은 e-VTOL 항공기는 아직까지 전 세계적으로 없는 상태이다. 현행 항공기 감항기술기준에서 요구되는 안전도 수준은 상당히 높고 이를 입증하는 과정도 상당히 까다롭다. e-VTOL 항공기 인증도 현행 감항기술기준에서 요구하는 안전도 수준을 만족해야 하나 현행 기준의 적용성과 동등한 안전성 확보에 필요한 기술적인 한계와 문제점이 존재한다. 본 연구에서는 이러한 기술적 한계와 문제점들을 e-VTOL 항공기의 특징과 함께 제시하고자 한다.

• 보건의료생명과학 논문지
• /
• 제10권1호
• /
• pp.25-38
• /
• 2022

본 연구에서는 보건의료정보관리사의 EMR 인증기준의 이해 및 데이터관리 실습을 위한 SQL 실습 모델을 제시하였다. 본 연구는 보건의료정보관리 실습 프로그램을 통하여 EMR인증기준의 기능성에 대한 처방정보관리를 실습하는 것이다. EMR 인증기준에 의한 실습내용은 약품마스터관리 및 약품명 조회, 투약처방 조회, 수진 정보 변환 후 이전 투약 처방 조회, 투약처방 시 검사 결과 조회, 검사처방기록 조회로 구성되었다. 추가적으로 식이처방기록 조회, 기타처방기록 조회, 마약류 투약 처방 중단 시 반납사유 조회가 포함된다. 이에 따라서 MS-ACCESS 기반의 보건의료정보관리 교육시스템의 처방관리 데이터베이스를 사용하여 처방정보관리 인증기준의 내용을 조회할 수 있는 SQL문장을 작성하였다. EMR 인증기준 실습은 SQL을 사용하여 인증기준에서 요구하는 조회항목을 직접 추출해봄으로써 인증기준을 좀 더 쉽게 이해할 수 있으며, 그리고 인증기준 외의 데이터를 추출할 수 있는 데이터 관리 및 정보 생성 능력을 향상시킬 수 있을 것이다.

• 농업과학연구
• /
• 제37권1호
• /
• pp.37-43
• /
• 2010

This study carried out to develop barrier-free certification program in forest trail. It is done to provide the certification system presented about certification organized, certification standard and indexes, evaluation method and operation plan. In order to develop certification program in forest trail, detailed measurement index must be developed earlier based on an accessbility, a stability, a preservation and a walking continuity. The suitable forest trail for weak pedestrian was investigated that running slope should be 1/20(5%) maximum, cross slope cannot exceed 1/50(2%) maximum and clear tread width should be above of minimum 90cm. In addition, the trail type is designed as a mixed trail system which is a combination of the loop and the line form and its distance should be 225~675m. Finally, forest trail should be manage sustainably by having regular monitoring and evaluation.

• 한국항공우주학회지
• /
• 제45권7호
• /
• pp.566-573
• /
• 2017

항공기의 설계 안전성을 보장하기 위하여 형식증명을 받아야 한다. 형식증명을 받은 항공기의 설계가 중대하게 변경되는 경우, 형식증명을 새로 받거나 개정형식증명 또는 부가형식증명을 신청하여야 한다. 국제민간항공기구, 미국 및 유럽의 인증 규정에서 부가형식증명 대상이 되는 설계변경에 대하여 매우 추상적으로 정의하고 있으므로, 본 논문에서는 설계변경에 관한 세계 각국의 인증절차와 인증사례를 분석하여 부가형식증명 대상이 되는 "광범위하지 않은 중급 설계변경"을 판단하는 기준을 제시하였다.

• 한국농촌건축학회논문집
• /
• 제26권2호
• /
• pp.17-25
• /
• 2024

This study is to use B.F. certification standards to identify the application and differences of B.F. facilities according to various approaches, and to use the analysis results as basic data for the expansion and renovation of new facilities, the National University (Jeonnam University Library), which underwent remodeling before the implementation of the certification system, and the two newly established private universities (Joseon University Library) that were subject to legal application before the implementation of the certification system. First, Chosun University met more B.F. certification standards than Chonnam National University, and mainly intermediary facilities belonged to the best to the best. Second, Chosun University and Chonnam National University's internal facilities met many B.F. certification standards, and Chonnam National University had many areas to improve and found areas to remodel. Third, information facilities at Chonnam National University and Chosun University only had facilities for the hearing impaired, and there were no information facilities for the visually impaired. Facilities for the visually impaired had to be installed, and compared to Chosun University, Chonnam National University fell short of the B.F. certification standard, so there were many areas that needed to be remodeled.

• 농촌지도와개발
• /
• 제12권2호
• /
• pp.187-195
• /
• 2005

The objectives of this study were to analyze present status and to suggest for the future upbringing programs for informal environment educator of Environmental NGOs in Korea. Based on the findings from reviewing environmental educators’ certification systems in Environmental NGOs, the following suggestions should be considered for improving the certification systems. 1) Government and environmental NGOs should adopt a certification system by implementing qualifying examination for employing specification of informal environmental educator. 2) Applicants to obtain a certification of informal environmental educator in environmental NGOs should be qualified through standard processes including taking required curriculum and programs. They must be evaluated informal environmental educator’ ability accurately through their portfolio, teaching ability, professional responsibilities and so on. 3) Standardized curriculum and programs should be adopted by government for the initial preparation of environmental educators reflecting the guidelines from the KOSEE (The Korean Society for Environmental Education) and NAAEE (North American Association for Environmental Education) in the future.