• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.431-433
• /
• 2015

기존 IP기반의 공용망에서는 폐쇄망의 구조로 사용되고 있다. 이런 구조는 구조상의 문제와 보안상의 문제를 가지고 있다. 본 논문에서는 현재 IP기반의 공용망에서 발생할 수 있는 여러 보안 문제를 해결하기 위해 현재 네트워크 구조의 문제와 보안상의 문제를 제시하고 고신뢰 네트워크 시스템의 필요성을 제안한다. 제안하는 고신뢰 네트워크에 기능 요구사항과 보안 요구사항에 대하여 분석하고 보안 요구사항별 고신뢰 네트워크 핵심기술을 도출한다.

• Electronics and Telecommunications Trends
• /
• v.30 no.4
• /
• pp.129-139
• /
• 2015

현재의 인터넷은 40여 년 전에 신뢰할 수 있는 호스트 간의 통신을 기반으로 설계되어 식별성(Identity)과 기밀성(Privacy)등의 보안성에 대한 특별한 요구사항이 없었다. 추후 인터넷이 전 세계적으로 확장함에 따라 신뢰할 수 없는 호스트가 통신에 참여하게 되었고 이에 대한 보안 요구사항이 새롭게 등장하였다. 이러한 요구사항을 만족시키기 위한 인터넷의 보안 기술은 키(Key)에 매우 의존적으로 발전하여 현재 모든 인증 관련 기술과 보안 기술들은 공개키 기반 구조(Public Key Infrastructure: PKI)와 같이 키를 기반으로 하고 있다. 이러한 연구 동향은 미래인터넷의 보안 연구에서도 여전히 반영되어 미국에서 진행 중인 eXpressive Internet Architecture(XIA)나 다른 미래 인터넷 프로젝트에서도 키 기반의 보안기술 연구를 진행하고 있다. 하지만 모든 통신을 의심하고 이를 감시하기 위한 기존의 인터넷 보안 기술과 달리 미래인터넷 보안 연구는 상호 신뢰를 기반으로 네트워크에 대한 공격 자체를 원천적으로 차단할 수 있는 신뢰통신(Trustworthy communication)을 목적으로 하고 있으며 이에 대한 새로운 연구 결과가 등장하고 있다. 본고에서는 차세대 보안연구 분야인 신뢰통신의 연구동향과 성과를 소개하고 장단점을 분석한다. 특히 미래인터넷의 신뢰통신 연구 중 대중적으로 인정받고 있는 공개키를 이용한 자가인증(Self-certifying)과 이를 뒷받침하기 위한 공개키 검증 시스템 연구 및 신뢰경로 구축 연구를 중심으로 미래인터넷의 신뢰통신 연구가 진행된 과정을 중점적으로 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.05a
• /
• pp.644-646
• /
• 2023

스마트팩토리는 협동 로봇과 같은 프로그래머블한 설비의 유기적인 협업을 통해 최적화된 공정을 수행한다. 따라서 수집되는 센서 데이터의 특징과 환경 조건의 복잡도가 높아, 예지보전을 위한 AI 소프트웨어의 개발 시 요구사항 기반의 체계적인 개발 및 검증이 필수적이다. 본 논문에서는 AI 소프트웨어의 요구사항을 사용자와 시스템 관점에서 정의하고, AI 모델 개발 프로세스와 스마트팩토리 예지보전 측면에서 분석한다. 도출된 요구사항을 CNN 기반의 협동 로봇 기어 마모 예측 모델의 개발에 적용하여 데이터 관리와 모델 신뢰성 관점의 요구사항을 분석 및 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.114-118
• /
• 2008

시스템 운영 중에 오류가 발생하면 치명적인 인적, 물적 피해를 초래하는 안전필수 시스템은 안전성과 신뢰성을 확보하기 위한 요구명세의 정형적인 명세와 검증이 요구된다. 철도 차량의 진로와 속도를 제어하는 철도제어 시스템은 안전필수 시스템임에도 불구하고 요구사항이 자연어로 표현되어 있다. 자연어로 명세 된 요구사항은 자연어의 모호한 특성으로 인하여 오류의 위험으로부터 안전하지 못하다. 본 논문에서는 자연어로 명세 되어있는 철도제어 시스템의 요구사항을 도식적인 설계언어인 상태차트(Statechart)를 이용하여 정형적으로 명세함으로써 철도제어 시스템의 안전성과 신뢰성을 향상하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.760-762
• /
• 2001

정보 사회의 급속한 발전을 통해 유.무선 환경에서 다양한 응용 분야들이 창출되고 있다. 그 중에서 전자 투표는 그 효용성 측면에서 새로이 관심을 가지는 분야이다. 그러나, 아직까지는 공개 네트워크를 이용하여 투표를 수행할 경우 보안 측면에서 여러 고려 사항들이 존재하며, 이들이 만족되지 않을 경우 투표의 신뢰성을 떨어뜨리게 된다. 본 논문은 전자 투표를 위해 필수적으로 요구되는 보안 사항들을 일반 요구 사항과 특수 요구 사항으로 분류하고, 이들 요구사항을 만족하는데 필요한 Screw method와 Magic Sticker 방식을 제안한다. 동시에 이들을 기초로 새로운 전자 투표 기법을 제안하고, 요구 사항을 만족하는지 평가할 것이다.

• Information and Communications Magazine
• /
• v.32 no.12
• /
• pp.3-9
• /
• 2015

무선통신에 대한 기술이 급격하게 진화함에 따라, 철도 무선통신도 VHF나 TETRA에서 GSM으로 진보되었고, 현재는 LTE 기반으로 변화하고 있다. 이런 흐름 속에서, 본 고에서는, LTE 로 발전 되는 철도 무선망을 QoS(Quality Of Service) 관리 및 이동통신망 과는 다른 관점에서 철도통신(LTE-Railway)에서 추가되어야 할 요구사항 및 거기에 다른 요소 기술들을 살펴본다. LTE-R 시스템에서는 음성, 영상, 열차제어 등 모든 종류의 진보된 철도 서비스에 대해서 통합된 형태로 안정적이고 신뢰성 있은 서비스를 제공하는 것을 목적으로 한다. 이런 요구사항을 만족시키기 위해서는 일반 이동통신망과는 다른 접근으로 LTE-R을 개발할 필요가 있다. 본 고에서는 LTE 기반 철도통신망과 이동통신망의 다른 요구사항을 기반으로 과 차이점을 QoS(Quality Of Service) 등 철도와 같은 특수 임무형 통신 시스템에서의 요구사항이 적절하고 실용적인지 여부의 검증을 LTE 테스트베드를 실제 철도 영업선 상에 구축을 하고 필드 테스트를 통해서 만족 여부를 검토하였다. 국가적으로 진행되고 있는 LTE 기반 철도 통신망 구축 사업에서 요구하는 통신 기술 사이의 상관관계를 따져봄으로써 LTE-R에서 지원하는 통신 기술이 신뢰도 및 효율성 측면에서 충분한 정도의 기술적인 완성도를 갖추고 있음을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

• Proceedings of the Safety Management and Science Conference
• /
• 2010.04a
• /
• pp.525-535
• /
• 2010

본 연구에서는 신뢰성경영시스템(IEC60300)을 기반으로 반도체 장비개발에서 신뢰성 확보를 위한 신뢰성기능전개의 개발과 적용을 다룬다. 고객의 신뢰성 요구사항에 가중치를 부여하여 설계요구 품질표, 기획 품질표를 실행하고 이를 이용하는 절차를 제시하고 이를 고신뢰성을 요구하는 반도체 장비업체 개발공정에 적용하였다. 제품개발과정에서 신뢰성우위를 갖는 구체적인 전략적 제품개발방안을 제시하였다.

• Korean Journal of Construction Engineering and Management
• /
• v.9 no.3
• /
• pp.126-135
• /
• 2008

The purpose of this study is to develop the efficient information system for managing owner's requirement(O/R) throughout the design phases. In order to derive an improvement, current status of O/R management both in domestic and foreign design company has been analyzed. Through the literature reviews and interviews with experts, the Information on design process and detailed activities were investigated. Based on the basic research, inputs, outputs and participants were defined and information flow diagram was drawn. O/R's were categorized according to comprehensive interviews with specialists, and a prototype system was suggested. Conducting systematized O/R management will improve the confidence of owners' role on design, reduce re-work in design tasks, and finally elevate design quality.