• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.523-530
• /
• 2009

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.349-351
• /
• 2004

STATEMATE는 Statecharts로 시스템의 행위를 설계하는 도구이다. 근래 들어. STATEMATE MAGNUM은 설계 뿐 아니라 모델체킹을 이용한 정형검증의 기능을 가지고 있다. 모델체킹은 상태 기반의 설계명세 된 시스템을 시제 논리로 그 요구 명세를 기술하여 설계명세가 요구명세를 만족시키는지를 검증하게 된다. 하지만 설계명세가 큰 경우, 모델체킹 시 상태폭발을 일으켜 시스템을 검증하지 못하게 한다. 모델체킹의 상태 폭발을 줄이기 위해서는 기본적으로 모델체커의 알고리즘을 개선시키거나, 모델을 추상화시킨다. 본 연구에서는 모델을 추상화시키더라도 검증 결과에는 별 영향을 주지 않는 부분을 추상화하고, 검증 결과에 직접 적인 영향을 주는 부분을 상세 명세하는 기법을 적용하여 실시간 운영체제의 코드를 어떻게 검증을 하는지를 보여준다.

• 광학세계
• /
• 통권110호
• /
• pp.70-72
• /
• 2007

외국 기술을 모방하여 그 궤적을 따라가는 추격형 기술혁신모델의 한계가 노정되면서 새로운 기술혁신모델의 필요성이 증대하고 있다. 본 연구에서는 모방에 의거한 추격형 혁신활동을 넘어서는 탈추격형(post catch-up)기술혁신활동의 특성을 조감하는 작업을 수행했다. 특히 분석대상을 중소기업에 맞추어져 이들의 탈추격형 혁신활동 사례를 살펴보았다. 기술집약형 중소기업의 혁신활동의 활성화는 그 자체가 대기업 중심의 한국혁신체제의 전환을 보여주는 의미 있는 현상이기 때문이다.

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

기존의 네트워크에서는 새로운 프로토콜을 개발하고 전개한다는 것은 많은 표준화 절차를 요구하고, 관련 응용에서 모든 요구를 네트워크가 수용할 수 없기 때문에 제한적이다. 액티브 네트워크는 네트워크에 프로그래밍이 가능하다는 것으로 새로운 네트워크의 패러다임으로 등장하였다. 액티브 네트워크는 복잡한 구조를 갖고 있고, 보안상으로 도 많은 문제점을 갖고 있다. 이 논문에서는 액티브 네트워크의 보안 모텔을 소개하고, 보안과 관련된 새로운 옵션을 추가한 패킷모델, 액티브 네트워크의 구조인 실행환경과 노드 운영체제에서의 패킷 처리 과정을 알아본다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2013년도 춘계 종합학술대회 논문집
• /
• pp.375-376
• /
• 2013

경기도 삼남길은 조성부터 프로그램 운영까지 참여기관이 역할을 분담하여 협력하고 있다. 특히 참여기관이 지닌 특성을 집중시키고 협력체계를 강화함으로써 길 조성 단계부터 이후 프로그램 운영까지 활발히 진행되고 있다. 이러한 삼남길의 성공적인 운영체제를 통해 도보길의 적절한 형태의 거버넌스를 도출하고 지속적이고 활발한 도보길 운영에 대한 모델을 제시하고자 한다.

• 인터넷정보학회논문지
• /
• 제16권5호
• /
• pp.1-9
• /
• 2015

사이버 공간에서 첨예화, 복잡화되고 있는 공격을 일대일 방식으로 방어하는데 한계가 있으므로 보다 효과적인 방어 방법이 필요하다. 본 고에서는 내외부의 공격에 대해 자산을 체계적 적응적으로 방어할 수 있는 다중계층 보안체제 구축 방안을 제시한다. 방어지역(Defense Zone)을 중심으로 한 다중계층 보안체제의 구조를 고안하고, 사이버 위협분석과 방어기술 자동할당 등 구현에 필요한 기술요소들에 대해 논의한다. 또한, 다중계층 보안체제에 대한 효과와 적용성을 보인다. 향후, 제시된 방안의 구체화를 위해 방어지역에 대한 상세구조설계, 최적 방어기술 자동선택방법, 위협 탐지를 위한 정상상태 모델링 기술 등에 대한 연구가 필요하다.

• 한국문헌정보학회지
• /
• 제55권1호
• /
• pp.493-519
• /
• 2021

이 연구의 목적은 연구자에게 끊김 없는 학술정보서비스를 제공하기 위하여 식별자를 중심으로 한 종합링킹체제를 구현할 수 있는 방안을 제시하는 것이다. 해당 목적을 달성하기 위하여 KISTI 소속의 5개 센터 및 1개 사무국 소속 17명의 연구자와 인터뷰를 진행하였다. 인터뷰 내용은 학술정보서비스 DB의 식별자 구축 및 관리 현황에 대한 것으로 면담 결과, 국내 논문 DB의 경우 KOI 등의 식별자에 대한 식별률은 높았지만 해외논문의 경우, DOI를 제외하고 ORCID 등 글로벌 식별자에 대한 식별률은 낮은 것으로 나타났다. 이러한 문제를 해결하기 위해 본 논문에서는 식별자를 중심으로 한 종합링킹체제 모델을 구축하기 위한 종합링킹체제 공동활용협의회를 제안하였다. 공동활용협의회는 국내 학술정보유통기관을 중심으로 구성될 것이며 구성된 협의회에서는 해외 식별자를 수집하여 식별자 연계를 통한 새로운 서비스가 발굴되고 구현될 것으로 기대한다.

• 디지털콘텐츠
• /
• 8호통권75호
• /
• pp.30-37
• /
• 1999

인터넷 쇼핑몰의 창업 절차가 기존 비즈니스 창업 절차와 크게 달라져야 할 이유는 없다. 하지만, 분명한 것은 비즈니스 조건과 환경이 다르다는 점이다. 결국, 새로운 비즈니스에서 승리하기 위해서는 성공 및 실패 사이트에 대한 철저한 벤치마킹이 필요하다. 바로 이부분이 인터넷 비즈니스 창업 과정에서 가장 중요하게 고려되어야 할 점이다. 디지털경제체제 아래에서, 인터넷쇼핑몰 창업을 위한 모델별 핵심 사례와 절차에 대해 알아본다.

• 한국시스템다이내믹스학회:학술대회논문집
• /
• 한국시스템다이내믹스학회 2001년도 추계학술대회발표논문집
• /
• pp.67-79
• /
• 2001

발전원별 경쟁(신규 발전소 건설이 시장 가격에 의해 결정)을 도입한 미국의 캘리포니아주에서는 최근 심각한 전력 공급문제가 발생하였다. 미국과 같은 발전원별 경쟁을 도입한 우리나라의 경우에도 전력시장에서의 시장가격을 예측하고 이에 따른 신규 발전소 건설을 예측하여 전력 공급의 안전성을 검토할 필요가 있으며 또한 원자력이나 유연탄의 공급이 이러한 전력 공급의 안정성에 어떻게 기여할 수 있는가를 검토하는 것은 의의 있는 일이다.(중략)

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.578-580
• /
• 2003

액티브 네트워크 상의 각각의 노드는 패킷을 통해 전달된 프로그램을 수행시키는 역활을 수행한다. 본 논문에서는 액티브 네트워크 노드의 설계를 기술한다. 이를 위해 액티브 네트워크의 개념을 기술하고, 노드운영체제, 수행환경, 액티브네트워크 응용프로그램의 구조를 설명하고, 또한 응용프로그램을 계발하기 위한 프로그래밍 모델에 대하여 기술한다.