• 한국응용곤충학회:학술대회논문집
• /
• 한국응용곤충학회 2005년도 춘계 학술발표회
• /
• pp.178-178
• /
• 2005

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2005년도 제29회 학술발표회 초록집
• /
• pp.178-178
• /
• 2005

• 한국항공우주학회지
• /
• 제46권1호
• /
• pp.86-94
• /
• 2018

항공기 시스템에서 소프트웨어의 사용이 증가 추세에 있어 안전 및 보안 위협에 대한 노출이 점차 증대되고 있다. 소프트웨어 안전에 관한 인증기준은 DO-178C가 발표되었으나, 소프트웨어 보안을 위한 인증기준은 포함되어 있지 않다. 한편 최근 항공기 및 시스템 감항 보안 인증기준으로 DO-326A, DO-356 및 DO-355가 별도로 발표되었다. 그러나 안전과 보안의 인증을 위해 각각의 기준과 절차를 준수함으로써 별도의 비용과 노력이 요구되는 실정이다. 따라서 본 논문에서는 안전과 보안을 위한 각각의 인증기준을 하나로 통합하여 비용, 노력 및 시간 등을 감소시킬 수 있는 효율적인 통합인증 방안을 제시하고자 한다.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이 되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어 시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.

• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.911-920
• /
• 2009

항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

• 한국항행학회논문지
• /
• 제27권4호
• /
• pp.382-390
• /
• 2023

국내 150kg 이하의 중형급 무인비행장치의 시장이 급속도로 성장하고 있다. 이에 따라 무인비행장치 제작 및 활용 시장의 규모도 확대되고 있으며, 부품 및 완제품 개발도 활발히 이루어지고 있다. 하지만 국내 무인비행장치의 핵심 부품인 비행제어장치와 탑재 소프트웨어는 개발에 소요되는 비용 및 기간이 과다하여 주로 해외 제품에 의존하고 있다. 본 논문에서는 항공기 탑재 소프트웨어 개발 지침인 DO-178C와 모델 기반 개발 (MBD; model based development) 방법을 이용하는 국내 소프트웨어 개발 및 인증 절차를 제시하였으며, 무인비행장치 개발, 제조, 인증 관련자들을 대상으로 설문을 수행하고 결과를 분석하였다. 또한, 헬리콥터 FCC (Flight Control Computer)를 대상으로 소프트웨어 개발 방안을 적용해 보는 사례연구를 수행하였다.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 2004년도 추계종합학술대회 논문 초록집
• /
• pp.178-178
• /
• 2004

• Journal of Korean Neurosurgical Society
• /
• 제55권3호
• /
• pp.178-180
• /
• 2014

Despite significant advances in the treatment of all forms of chronic otitis media (COM), complications still can and do occur, with intracranial complications representing the most life-threatening cases, often requiring immediate therapeutic intervention. Herein, we present a rare case of rapidly progressing facial paralysis with concomitant severe headache and ipsilateral hearing loss secondary to an otogenic brain abscess, treated with the transmastoid approach, drainage, and facial nerve decompression.

• 한국자원식물학회지
• /
• 제18권3호
• /
• pp.390-402
• /
• 2005

본 연구는 충청북도 제천시 생태숲 조성예정지의 자원식물상을 체계적으로 파악하기 위해 수행되었다. 이 지역은 북위 $37^{\circ}\;12'$, 동경 $127^{\circ}\;57'$에 위치하고 2004년 3월부터 10월까지 조사하였다. 관속식물상은 83과 238속 324종 44변종 3품종 등 총 371종류가 확인되었고 자원식물상 조사결과 관상용 식물자원은 178종 $(47.98\%)$, 식용 식물자원은 232종$(62.53\%)$, 약용 식물자원은 257종$(69.27\%)$, 기타용 식물자원은 154종$(41.51\%)$로 나타났다. 산림청 희귀 및 멸종위기식물은 너도바람꽃, 백작약, 태백 제비꽃, 미치광이풀로 조사되었다.

• 한국도로학회:학술대회논문집
• /
• 한국도로학회 2006년도 학술발표회 논문집
• /
• pp.175-178
• /
• 2006