• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (D)
• /
• pp.160-162
• /
• 2006

현재 국내에서는 안전 운전 서비스 및 교통정보 수집체계 구축에 USN 기술을 적용하기 위한 다양한 연구와 시범사업이 추진되고 있다. 텔레매틱스 교통안전시스템[1][2]은 교차로 주변의 도로 위에 무선 센서 노드를 부착하여 무선 센서 노드 위를 지나는 차량들의 정보(속도, 위치, ID 등)를 수신하여 무선 센서 네트워크를 이용해 교차로 중앙에 위치한 베이스 스테이션으로 전송하고, 베이스 스테이션은 이렇게 실시간으로 수집한 정보를 분석하여 얻은 차량안전 운전정보를 교차로에 접근하는 차량들에게 브로드캐스팅하여 차량충돌을 회피하도록 하는 시스템이다. 본 논문에서 다루는 텔레매틱스 교통안전시스템은 Telematics Scheduling Protocol(TSP)[1]을 무선 센서 노드간 통신 프로토콜로 사용하는데 무선 센서 네트워크 특성상 온도, 날씨 등의 주변환경에 의해 노드간 통신에 있어서 높은 데이터 전송 에러율을 가지고 있다. 본 논문에서는 무선 센서 네트워크 프로토콜로 TSP를 사용하는 교통안전시스템에서 무선 데이터 전송 에러율, 교차로를 지나가는 차량의 숫자 그리고 도로 표면에 부착된 고정노드간 거리변화가 성능에 미치는 영향을 파악하기 위하여 네트워크 시뮬레이터 ns-2[3]를 이용해 시뮬레이션한다.

• 한국항공우주학회지
• /
• 제38권8호
• /
• pp.813-822
• /
• 2010

안전성 요구수준이 서로 다른 비행필수 데이터(Flight Critical Data)와 임무필수 데이터(Mission Critical Data)의 시현을 처리하기 위해 별도의 독립된 계기를 사용하지 않고 Glass Cockpit 설계를 적용하여 데이터를 통합처리하였다. 본 논문에서는 독립적으로 설계 진행되어온 비행조종계통과 임무탑재시스템의 통합설계를 위해 설계변경을 최소화하면서 비행조종계통에서 요구되는 비행필수 데이터처리의 안전성 요구수준을 만족시키는 최적화 설계를 제안하였다. 비행필수 데이터의 시현을 처리하기 위해 KUH 임무탑재시스템의 핵심구성품인 임무컴퓨터(Mission Computer)의 하드웨어 및 소프트웨어 설계변경을 최소화하였다. 임무탑재시스템의 안전성 요구도(Safety Requirement)를 검증하기 위한 시험절차를 개발하여 임무탑재시스템 통합시험장비(SIL)를 이용한 시험 수행 결과 안전성 요구도가 만족됨을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.805-807
• /
• 2001

안전한 컴퓨터 시스템 평가기준인 TCSEC(Trusted Computer System Evaluation Criteria)[1] B1급 이상 시스템의 안전한 운영체제들은 강제접근통제(Mandatory Access Control : MAC) 메커니즘을 이용하여 정보의 흐름을 제어하고 있다. 하지만 아무리 정확하게 설계된 접근통제 메커니즘이라고 하더라도 시스템 관리자 또는 보안 관리자가 어떻게 시스템이 접근통제 메커니즘을 관리.운영하느냐에 따라 그 시스템의 안전성과 보안에 대한 신뢰도가 결정된다고 할 수 있다. 지금까지 연구되고 있는 대부분의 MAC을 적용한 안전한 운영체제는 접근통제메커니즘의 적용 및 관리.운영상의 보안문제점을 관리할 적당한 방법을 제시하고 있지 않다[4][5][6][7]. 본 논문은 MAC을 적용한 안전한 운영체제의 안전하고 효율적인 관리.운영을 위한 방법으로 LMACM(Log Manager for Access Control Mechanism)을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.859.1-861
• /
• 2002

최근 근거리 무선 통신에 대한 연구가 활발히 진행 되면서 근거리 무선 통신의 규격으로 자리잡고 있는 Bluetooth는 많은 연구가 진행되고 있는 한 분야이다. Bluetooth는 기존 근거리 통신이 가지지 못한 여러 가지 장점들을 가지면서 SIG그룹을 중심으로 많은 연구가 진행중에 있으며 많은 응용분야에 적용하기에 충분한 근거리 무선 통신 기술이다. 따라서 본 논문에서는 Bluetooth 여러 가지 기술 응용중 안전한 지불 시스템을 제안한다. 본 논문에서 제안한 지불 시스템은 사용자를 중심으로 사용자가 승차하고 있는 자동차를 하나의 piconet으로 하여 자동차에서 사용자가 무선 mobile 기기를 이용하여 주유소에서 자동차에 주유을 한 뒤 이를 결제하는 시나리오를 바탕으로 안전한 지불 시스템을 제안하였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1991년도 학술발표논문집
• /
• pp.229-238
• /
• 1991

정보 처리가 자동화 됨에 따라 ,종래의 문서 처리에서 적용되었던 보안 개념을 지원하는 안전한 컴퓨터 시스템에 대한 요구가 증가되고 있다. 본 연구에서는 안전한 컴퓨터 시스템을 수학적으로 정의하고 증명한 BLP모델을 고찰하고, 그 각 요소들을 실제 시스템에 적용시 해석 방법과 시스템 요소들과의 대응 관계 및 액세스 제어 메카니즘을 제시하고자 한다.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2009년도 추계학술대회
• /
• pp.527-537
• /
• 2009

다양한 리스크 문제가 발생하고 있는 환경 속에서 리스크에 대한 적절한 대응을 하고 안정화를 도모함과 동시에 리스크 문제가 표면화되어 초래하는 영향을 극소화 하기 위한 새로운 패러다임의 경영시스템 도입이 주요 전략과제로 대두되고 있다. 본 연구에서는 리스크 경영시스템(Risk Management System)인 IEC 61508의 리스크 규격을 중심으로 소프트웨어 분야가 가지고 있는 리스크 문제를 효과적으로 관리 할 수 있는 대안 모색을 가능하도록 하고 소프트웨어 분야에서의 리스크 제로와 안전 강화를 위하여 기초 자료를 제시하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2018년도 추계학술대회
• /
• pp.100-102
• /
• 2018

조석간만의 차가 크고 강한 조류가 흐르는 진도해역 명량수도 및 장죽수도 항로에 조류관측시스템과 대형 LED등기구 전광판을 설치하여 이용자에게 조류의 방향, 속도, 경향을 실시간으로 제공하는 조류신호시스템을 구축하였다. 통항선박의 안전을 확보하고, 항로표지시설 인프라를 활용한 이용자 중심의 안전정보를 다양한 매체를 통해 제공하는 방법과 지속적으로 안정적인 조류정보를 제공하기 위한 신뢰도 향상에 관한 연구를 수행하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2018년도 춘계학술대회
• /
• pp.43-44
• /
• 2018

여객의 안전운항을 위해, 선내 센서데이터 수집장치를 설치하여 선박의 항해/기관 데이터를 수집하고, 수집된 데이터를 이용하여 긴급상황레벨 결정 및 위기대응 가이던스를 제공한다. 선박에서 수집된 데이터는 S-100 라이브러리를 통해 육상의 Marine Cloud로 전송하고, 육상시스템에서 판별한 위기대응 가이던스도 S-100 라이브러리를 통해 선박으로 전송하는 시스템을 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.466-468
• /
• 2001

객체지향형 소프트웨어가 개발되고 분산 시스템에 적용되면서 소프트웨어 시스템의 분석 및 안전상의 보장이 매우 어려워지고 있다. 정형 기법을 이용해서 소프트웨어 시스템의 안전성을 증명하는 연구가 진행되고 있지만 소스코드 레벨에서의 보장은 아직 어려운 상태이다. 본 연구에서는 이러한 소프트웨어 시스템의 소스코드 레벨에서의 안전성 보장을 위한 연구로 Bandera toolset 을 이용한 정형검증에 대해 논한다.

• 한국철도학회지
• /
• 제5권4호
• /
• pp.31-40
• /
• 2002

컴퓨터를 활용한 제어 시스템은 우리들의 생활 속에 깊숙이 관여하고 있다. 컴퓨터를 사용한 제어는 가전제품, 휴대폰 항공기, 철도 등 다양한 산업분야에서 응용되고 있으며, 그 적용분야를 넓혀가고 있고, 성능향상이 급속히 진행되고 있으며, 인간생활의 의존도가 점점 커지고 있다. 따라서 컴퓨터의 안전성과 신뢰성은 현재 사회에서 가장 중요한 문제로 부각되고 있다. 최근에 전국적으로 인터넷 망에 바이러스가 침투를 하여, 인터넷을 마비시키는 상태가 발생하여, 상당히 큰 피해를 경험하였다. 이와 같이 컴퓨터 제어 시스템의 기능이 정지되거나 오작동을 할 경우에는 사용자에게 상당한 피해를 줄 수 있다. 따라서 컴퓨터 시스템의 신뢰성과 안전성은 사회전반에 영향을 미칠 수 있으므로 반드시 확보해야할 목표 중에 하나이다. (중략)