• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2002년도 춘계종합학술대회
• /
• pp.545-548
• /
• 2002

선박의 안전한 항해를 위해서 필수 장비 중 하나인 기상 팩스 장비는 연안국에서 FSK 방식으로 변조된 무선 주파수를 통해서 보내는 기상도를 선박에서 수신하여 이미지화 하는 장비이다. 연안국에서는 기상도를 스캔 한 후에 중심 주파수를 1900Hz로 하고, 흑점을 1500Hz, 백점을 2300Hz 신호로 FSK 변조하여 방송하면 선박에서 이 신호를 수신한다. 따라서 현재는 기상 팩스를 받기 위해서는 기상 팩스 장비가 필요하다. 본 논문에서는 선박에 일반적으로 설치되어 있는 IBM-PC를 이용하여 소프트웨어만을 사용하여 기존의 기상 팩스 장비가 가지고 있는 모든 기능을 구현하고, 기상도의 출력, 편집, 저장 기능을 추가로 설계 및 구현하였다. IBM-PC에서는 RS-232C 보트를 통해 수신된 신호를 Timer Interrupt와 Serial Interrupt를 사용하여 이미지화 하고 주파수를 선택할 수 있게 하고, 실시간 처리 등을 소프트웨어적으로 가능하게 하였다. IBM-PC를 사용함으로 기상도의 수신 및 상태를 개선하는 이미지의 보정이 가능하며, 저장 후 처리가 용이하고, 별도의 기상 팩스 장비를 구입할 필요가 없는 경제적인 기상 팩스 시스템이다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제35권5호
• /
• pp.647-653
• /
• 2011

선박 내에는 다양한 통신시스템이 존재하는데, 메이커마다 다른 통신 방식을 사용함에 따라 기기 간 상호 호환성 문제를 야기하여 선박의 안전한 항해를 저해할 정도에 이르렀다. 이를 해결하여 안전한 항해를 하기 위해서는 선박네트워크의 국제표준화가 필수적이고, 현재 IMO에서 도입한 e-navigation 시스템에서도 진행 중이다. 본 논문에서는 현존하는 선박통신매체사이의 이음새 없는 상호통신을 위한 4S다중매체통신스위칭서버와 이를 기반으로 하는 정보교환 소프트웨어 개발내용과 성능실험결과를 소개한다.

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

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

• 한국재난정보학회:학술대회논문집
• /
• 한국재난정보학회 2015년 정기학술대회
• /
• pp.146-149
• /
• 2015

지하연계 복합건축물의 건립이 급증함에 따라 건축물의 피난 성능이 중요시되고 있으며 복잡 다양해진 피난유도에 대한 피난시설 배치와 RSET(Required Safe Egress Time)이 필수적으로 관련 지침에 명시되고 있다. 그러나 RSET에 대한 신뢰성 검증 및 용도별 수용인원 산정 방법이 주관적인 관점에 의해 제시되고 있으며 이런 검증 자료의 검토기준이 정량적이지 않아 안전성 확보가 이뤄지지 않고 있는 것이 현실이다. 따라서 본 연구에서는 지하연계 복합건축물의 피난 안전성을 확보하는데 가장 적합한 검증을 위해 방재 선진국의 ASET 기준을 심층적으로 분석하여 지하연계 건축물 등에서 국내 실정에 맞게 적용할 수 있는 최적화된 ASET을 도출하였다. 이러한 ASET의 신뢰성을 검증할 수 있도록 피난안전구역 및 준하는 구역의 현실 가능성을 분석하고 국내 외에서 상용화되고 있는 피난시뮬레이션 소프트웨어를 통해 건축물의 용도에 따른 수용인원 산정기준의 현실적 방안과 피난경로 설정의 Logic을 감안하여 피난의 안전 및 최단시간 가능성을 고려하였다. 따라서 지하연계복합 건축물에서 요구하는 피난성능과 수용인원의 최적화된 RSET을 정량적으로 도출함에 따라 피난 안전성에 대한 검증 프로세스를 제시하였다.

• 항공우주시스템공학회지
• /
• 제15권3호
• /
• pp.71-78
• /
• 2021

현대 항공기에서 대부분의 기능은 소프트웨어에 의해 통제되고 있으므로 소프트웨어 오류는 항공기 안전과 직결된다. MIL-HDBK-516C 15장은 군용항공기 탑재 소프트웨어의 안전한 개발과 검증을 위해서 적용되는 기준이다. 미 공군은 이 기준이 반복적인 미충족을 경험함에 따라 기준 충족을 위한 지침으로 감항성 회람(AC-17-01)을 발간하였다. 본 논문에서는 MIL-HDBK-516C 15장, AC-17-01, 그리고 미 연방 항공청에서 적용하고 있는 SW 인증 지침(DO-178C)을 비교 분석하였다. 먼저 AC-17-01 단계와 각 단계에서 명시된 MIL-HDBK-516C 15장 기준 그리고 MIL-HDBK-516C 기준에서 DO-178C를 명시한 기준간 정합 비율 식을 정의하였다. 그리고 비율 분석을 통하여 AC-17-01과 DO-178C를 달성하는 경우 MIL-HDBK-516C 충족 가능한 기준을 도출하였다. 분석결과를 바탕으로 항공 소프트웨어 개발 프로세스를 수립하고 MIL-HDBK-516C 15장 적용 사례를 제시하였다.

• 한국철도학회논문집
• /
• 제12권6호
• /
• pp.1043-1048
• /
• 2009

열차제어시스템의 소프트웨어 발전에 의해 PES가 사용되고 있다. PES는 현재 세계적으로 널리 사용하고 있고, 하드웨어, 펌웨어, 응용 소프트웨어로 구성되어 있다. PES의 실행이 높은 유연성을 가지고 있기 때문에 PES는 많은 응용분야에 쉽게 적용할 수 있다. 많은 안전 필수 기능들은 소프트웨어를 통해 수행되고 있다. 보통 PES는 매우 복잡하여 결함의 근원을 발견하기 쉽지 않다. 그래서 소프트웨어 결함허용 기법을 이용한 신뢰도 해석이 필요하다. 현재 소프트웨어 결함허용 기법에는 복구블록, 분산 복구 블록, N-버전 프로그래밍, N 자기검사 프로그램이 있다. 본 논문에서는 마르코프 모델을 이용하여 소프트웨어 결함허용 기법 중에 복구 블록과 N-버전 프로그래밍의 모델을 제시하였다. 또한 열차제어시스템의 신뢰도를 시간 변화에 따라 분석하였다. 프로그램의 결함 발생률, 수용테스트 결함발생률, 보터의 결함발생률은 고정시켰다. 그래서 시간과 신뢰도 사이의 관계를 Matlab 프로그램을 이용하여서 제시하였다. 같은 수의 대체블록이 있는 경우에 신뢰도 분석결과 복구 블록의 신뢰도는 N-버전 프로그래밍의 신뢰도보다 높게 해석되었다.

• 정보와 통신
• /
• 제29권9호
• /
• pp.30-37
• /
• 2012

과거 단순한 이동수단이었던 자동차는 다양한 안전과 편의적 서비스를 제공하게 되면서 다양한 활동이 수행되는 생활의 한 공간으로 자리매김하고 있다. 이에 따라 차량을 선택하는데 있어 소비자 취향에 맞는 다양한 부가 서비스를 제공하는지가 중요한 요소로 작용함에 따라 자동차 산업에 IT 기술의 접목에 대한 필요성이 대두되었다. 이러한 흐름에 따라 자동차 IT 융합이 가속화되고 있으며, 편의성, 안전성, 편리성을 위해서 차량 내에 많은 ECU의 사용이 필수적으로 요구되고 있다. 이러한 자동차의 부품에 소프트웨어가 탑재됨에 따라 공통적으로 사용되는 모듈에 대하여 재사용성, 부품 호환성 등의 요구가 생겨나게 되었고, 이를 해결하고자 하는 움직임이 차량 SW 플랫폼 표준화를 통해서 활발하게 이루어지고 있다. 본 고에서는 자동차 서비스 개발을 위한 대표적인 차량 전장용 SW 플랫폼인 AUTOSAR 플랫폼과 차량 내 헤드유닛을 통해 멀티미디어 및 텔레매틱스 서비스를 제공하는 차량용 인포테인먼트 시스템을 위한 표준 플랫폼인 GENIVI 플랫폼에 대하여 살펴보고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.1201-1202
• /
• 2007

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and introduces the framework for the software lifecycle. The licensing procedure for the railway software is also reviewed.

• 전자통신동향분석
• /
• 제29권5호
• /
• pp.167-175
• /
• 2014

매니코어 구조의 고성능 컴퓨팅 시대가 시작되고 있다. 매니코어의 성능을 활용하기 위해서는 병렬 프로그래밍이 필수적인데, 이 방식은 기존 프로그래밍에 비해 훨씬 더 복잡하고 어렵다. 또한 컴퓨터의 성능이 높아짐에 따라 소프트웨어의 규모와 복잡도 또한 증가하게 되며, 소프트웨어를 에러 없이 안전하게 개발하는 것은 매우 어려운 문제가 되고 있다. 이 문제해결에 도움을 줄 수 있는 한 방법으로 기존의 명령형 프로그래밍 언어 대신 Haskell과 같은 순수 함수형 언어의 이용을 고려한다. Haskell은 지난 수십 년 동안 람다 계산법, 타입 이론, 의미론 등의 강력한 이론적 배경하에 최신 기술을 수용하면서 발전하고 있는 순수 함수형 언어이다. 함수의 순수성은 결정적(deterministic) 병렬 프로그래밍을 표현하는데 매우 유리하다. 최근 이와 관련된 매우 고무적인 연구결과가 발표되고 있으며 여러 응용프로그램들이 개발되고 있다. Haskell은 여러 강력한 이론 덕택으로 병렬 프로그래밍뿐만 아니라 소프트웨어의 생산성 및 안정성과 관련된 많은 문제에 도움을 줄 수 있는 다목적 언어로써 주목 받고 있다.

• 문화기술의 융합
• /
• 제9권2호
• /
• pp.483-491
• /
• 2023

모바일전자고지서비스는 이용자 소유한 모바일기기로 전자고지문을 발송하여 이용자의 수신 및 개봉 증명과 발송자의 송달 증명을 전자적으로 확인하는 서비스이다. 이로 인해 전통적으로 종이 기반의 고지 서비스가 전자고지문으로 급속히 대체되고 있으나, 이용자를 명확하게 식별하기 위한 연계정보가 필수적으로 사용된다. 연계정보는 온라인상의 주민등록번호와 같이 이용자를 고유하게 식별할 수 있는 정보로써 안전하게 활용하기 위한 방안 마련이 요구된다. 본 논문에서는 모바일전자고지서비스 제공에 있어 필수적으로 사용되는 연계정보를 사용하는 전자고지문 발송기관과 공인전자문서중계사자 간의 안전한 활용방안을 제안한다. 제안한 방안에서는 본인확인기관으로부터 전달받은 연계정보를 포함한 전자문서의 안전한 송수신 절차, 암호키 교환, 전자문서 열람 등을 통한 활용방안을 제시한다. 제안한 방안 공공·행정·민간기관의 모바일 전자고지서비스에 적용함으로써 보안 안전하고 체계적인 서비스 제공이 가능하고 서비스 확대를 통한 이용자 편익도 증가할 수 있다.