• Title/Summary/Keyword: 통합검증시스템

검색결과 999건 처리시간 0.023초

클래스 다이아그램의 정형 명세 변환 (A Formal Specification Translation of the Class Diagram)

  • 김진수;정제홍;김병수
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
    • /
    • pp.1009-1012
    • /
    • 2001
  • 일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

  • PDF

멀티미디어 응용을 위한 멀티캐스트 QoS 관리 플랫폼 (A Multicast QoS Management Platform for Multimedia Applications)

  • 안병호;차호정;조국현
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제26권5호
    • /
    • pp.609-619
    • /
    • 1999
  • 본 논문은 멀티캐스트 통신환경의 관리 문제들을 해결하기 위한 통합관리 플랫폼(IPME)을 기술한다. IPME는 멀티캐스트 통신환경을 관리하기위해서 전형적인 망 관리 기법을 적용하여 기존의 멀티캐스트 환경의 문제들을 해결하기위한 플랫폼이다. 본 논문은 멀티캐스트 통신환경의 문제점을 분석하고, 관리플랫폼의 구현을 위한 설계시 고려 요건들을 기술한다. 또한 이를 기반으로 멀티캐스트 통신환경을 통합관리하기 위한 관리플랫폼의 구조를 제안한다. 제안된 구조를 검증하기 위해서 IPME는 멀티캐스트 통신환경에서 중요한 문제로 대두되고있는 다자간 응용에 대한 서비스 질의 관리 구조 (IPME-QoS) 로 확장된다. 확장의 IPME-QoS 의 구현을 위해서 제공 서비스 정의, 구성 모듈들의 설계, QoS 설정단계, QoS 관리 정책 알고리즘 및 관리구조 등을 구체적으로 기술한다. IPME-QoS 의 타당성을 검증하기 위해서 최근 멀티캐스트 통신환경 서비스를 이용하는 대표적인 응용인 화상회의 시스템의 QoS관리에 적용한다.

PowerPC를 이용한 저궤도 위성용 탑재소프트웨어 개발환경에 대한 연구 (A Study on the Development Environment for Flight Software using PowerPC)

  • 이재승;박희성;박성우;김대영;이종인
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2004년도 춘계학술발표대회
    • /
    • pp.1473-1476
    • /
    • 2004
  • 위성의 개발을 위해서는 오랜 개발기간과 많은 예산, 축적된 기술이 요구된다. 또한 위성에는 다양한 분야의 기술이 사용되어지기 때문에 각 서브시스템마다 독자적인 개발환경을 구축할 필요가 있다. 특히 위성의 제어, 임무수행 및 지상과의 통신 등을 담당하는 탑재소프트웨어는 위성의 용도 및 목적에 따라 개발환경이 크게 달라진다. 실시간 운영체제는 무엇을 사용하는지, 개발 및 검증을 위한 도구로 어떤 프로그램을 사용하는지, 내외부의 인터페이스는 어떠한 방식으로 수행할지, 새로운 기능의 CPU나 하드웨어에 대한 제어 등 위성의 탑재소프트웨어를 개발하기 위해서는 다양한 사항들이 고려되어야 한다. 새로운 위성을 개발할 경우 신기술의 적용과 새로운 위성시스템의 검증 및 개발을 위한 개발검증장비가 요구되며, 위성시스템의 변경 때마다 개발검증장비를 새로이 구축하게 되면 많은 기간과 막대한 비용이 위성개발 시마다 소요된다. 위성선진국에서는 다양한 위성의 개발 시 비용절감 및 개발기간 단축을 위하여 범용위성용 개발검증장비를 개발하여 이용하고 있는 추세이다. 국내에서는 다목적실용위성 1 호가 발사되어 성공적으로 임무를 수행하고 있으며 다목적 실용위성 2 호가 개발되어 현재 통합 및 검증시험이 진행 중이다. 그러나 새로운 위성시스템의 사전검증 및 신기술의 적용을 위한 범용위성 시스템 테스트베드에 대한 기술은 미비한 실정이다. 이러한 범용위성용 개발검증장비의 기반기술을 확보하기 위하여 현재 위성전자전산시스템 개발검증장비에 대한 연구가 수행되고 있다. 본 논문에서는 현재 수행되고 있는 PowerPC를 이용한 위성 탑재소프트웨어 개발검증시스템의 설계 및 개발에 대하여 설명한다.

  • PDF

통합 관리를 위한 정책 기반의 보안시스템 설계 및 구현 (Implementation and Design of Policy Based Security System for Integration Management)

  • 김용탁;이종민;김태석;권오준
    • 한국멀티미디어학회논문지
    • /
    • 제10권8호
    • /
    • pp.1052-1059
    • /
    • 2007
  • 현재 대규모 네트워크상에서 사용되는 네트워크 보안시스템은 자기도메인만을 보호하는 개별 보안시스템으로 구성되어있다. 개별 보안시스템의 문제점은 백본 네트워크를 보호할 수 없고, 체계적이며 실시간적인 대응이 힘들다는 것이다. 이 문제 해결을 위해 본 논문에서는 백본 네트워크의 접속점에 존재하는 라우터와 액세스포인터에 보안 기능을 추가한 보안시스템을 설계하였다. 제안한 보안시스템은 침입을 탐지하여 통합 보안 관리시스템에 경보메시지를 보낸다. 통합보안 관리시스템에서 경보메시지의 내용을 분석하여 대응방안을 마련하고, 각 보안시스템에 배포함으로서 체계적이고, 즉각적인 대응을 할 수 있다. 본 논문에서는 제안한 보안시스템과 통합보안 관리시스템을 네트워크 시뮬레이션을 사용해 모델링하고, 기능 검증 및 성능을 분석하였다. 그 결과 체계적이고, 즉각적인 대응을 할 수 있는 통합 보안 관리시스템임을 확인 할 수 있었다.

  • PDF

보안 인터페이스의 통합을 위한 객체 포장 모델 및 응용 (Object Wrapping Model and Application for Integration of Security Interface)

  • 김영수;최흥식
    • 한국통신학회논문지
    • /
    • 제29권2C호
    • /
    • pp.333-341
    • /
    • 2004
  • 인터넷의 확산과 아울러 기존의 클라이언트/서버 환경을 발전시킨 분산 시스템이 보편화되면서 시스템을 상호 접속하고 일관되게 통합하기 위한 필요성이 증대되고 있다. 시스템을 통합하는 경우에 가장 문제가 되는 부분이 기존 시스템을 어떻게 재사용할 것인가 하는 것이다. 기존 시스템의 활용과 분산 환경으로의 이전은 기존 서비스를 분산객체로서 포장하는 것에 의해 해결할 수 있다. 코바와 객체 포장은 기존 시스템을 변경하지 않고 클라이언트에 대하여 일관된 표준 인터페이스를 제공하는 미들웨어로써 서비스를 제공할 수 있는 대안이다. 이러한 시스템 통합 기술은 적용하려는 분야에 필요한 기능을 구현하여 쉽게 확장할 수 있도록 응용되어야 한다. 이를 위해 본 논문에서는 코바로부터 분리 통합되는 형태로 관리되는 객체 포장 시스템에 대한 모델을 제안하고 이를 사용하여 보안 인터페이스를 통합하는 코바 응용 시스템을 구현하여 모델의 실용성을 검증하였다.

완전통합교육 지원을 위한 전자멘토링 시스템 설계 및 구현 (Design and Development of e-Mentoring System for Full Inclusion)

  • 이재호;김성완
    • 한국컴퓨터정보학회논문지
    • /
    • 제15권6호
    • /
    • pp.91-99
    • /
    • 2010
  • 이 연구는 완전통합교육을 효과적으로 지원하기 위한 전자멘토링 시스템을 구축하고 그것의 사용성을 평가하는데 목적이 있다. 시스템 설계를 위하여 현재 운영되고 있는 국내 외 전자멘토링 시스템과 관련된 연구들을 분석한 후, 완전통합교육 지원에 적절한 전자멘토링 수행모형을 도출했다. 특히, 설계와 구현에 있어서는 온라인의 수평적 멘토링 구현과 다양한 멘토링 형태의 지원, 상호보완적 관계형성, 그리고 활동에 대한 피드백 제공 등에 역점을 두고 시스템을 구축했다. 개발된 전자멘토링 시스템의 사용성 평가를 위해 운영자 2명, 멘토 5명, 멘티 5명을 선정한후, '멘토링 지원(인지적 지원, 정서적 지원, 적용가능성)'과 '기술 지원(편의성, 정확성, 심미성)' 등 2가지 영역, 총 10개의 문항을 통해 심층면담을 실시했다. 통합학급 담당교사와 특수학급 담당교사의 사용성 평가 결과, 완전통합교육 지원을 위해 개발된 전자멘토링 시스템은 모든 영역에 걸쳐 상당히 효과적인 것으로 판단할 수 있었다. 향후에는 이 연구결과를 바탕으로 실제 현장에서 장기간 지속적으로 적용해 봄으로써 개발된 전자멘토링 시스템의 실질적인 효과성을 검증해 보는 실증적인 연구가 요청된다.

정보시스템의 자원, 능력, 품질이 기업성과에 미치는 영향

  • 구자환;정호원
    • 한국경영정보학회:학술대회논문집
    • /
    • 한국경영정보학회 2007년도 추계학술대회
    • /
    • pp.69-74
    • /
    • 2007
  • 기업이 비용절감과 경쟁우위 등을 목적으로 정보시스템에 대한 투자를 확대함에 따라 정보시스템 성과는 경영자뿐만 아니라 연구자에게도 중요한 관심사항이다. 기존 연구는 정보시스템 성과에 영향을 미치는 요인에 대해 정보시스템의 자원이나, 능력, 품질 등 개별적인 관점에서 접근하였다. 그러나 본 연구에서는 정보시스템 자원과 조직자원이 정보시스템 능력에 영향을 미치고, 정보시스템 능력이 높아지면 정보시스템 품질과 업무프로세스 성과가 향상되어 기업성과도 높아질 것이라는 통합 연구모형을 제시하고 이를 실증적으로 검증하였다.

  • PDF

액체로켓엔진 천이작동 예측을 위한 구성품 동특성 모델링 (Modeling of Liquid Rocket Engine Components Dynamics at Transient Operation)

  • 김형민;이국진;윤웅섭
    • 한국추진공학회지
    • /
    • 제15권1호
    • /
    • pp.35-44
    • /
    • 2011
  • 액체로켓엔진 시스템의 시동 및 정지 또는 추력 제어와 같은 천이 작동 시 동특성을 예측하기 위한 선행 연구로서 추진제 공급 시스템의 구성품에 대한 동특성 모델링을 수행하였다. 연료 공급 계통과 산화제 공급 계통의 구성품들은 재생냉각채널을 제외하고 같은 것으로 가정하였다. 동특성 모델링의 대상 구성품은 펌프, 관로, 오리피스, 제어 밸브, 재생냉각채널, 인젝터 등이며 실제 엔진 시스템의 축소 모형에 대한 수류시험을 통해 각 구성품의 동특성 모델링을 검증하였다. 수치적인 방법을 바탕으로 구성품에 대한 동특성 모델링을 통합하였으며 축소 모형으로 연결된 수류시스템을 사용한 수류시험을 통해 통합 동특성 예측프로그램을 검증하였다.

인수.합병 이후 성공적인 정보시스템 통합 결정요인에 대한 통합적 모델 연구: 국내 금융기관 비교사례분석 중심으로 (An Integrated Model on the Determinants of Successful Post-M&A Information Systems Integration: A Comparative Case Study of Two Financial Firms in Korea)

  • 이창진;이정훈
    • 경영정보학연구
    • /
    • 제11권2호
    • /
    • pp.45-66
    • /
    • 2009
  • 수 많은 기업들이 기업 성장 및 생존 전략의 일환으로 인수 합병 (M&A, merger and acquisition)을 선택하고 있다. 그러나 상당수의 기업들이 본래 의도했던 시너지 효과를 창출하지 못하고 인수 합병 실패로 인해 생산성 저하, 시장 점유율 하락, 수익 감소, 유능한 직원의 이직 등 많은 부작용을 경험하고 있다. 이에 따라 인수 합병 성공 및 실패 원인을 분석하고자 하는 많은 연구가 진행되었고, 정보시스템에 대한 기업들의 의존도 증가와 더불어 인수 합병 이후 정보시스템 통합(post-M&A information systems integration)이 인수 합병 성공에 결정적인 영향을 미치는 것으로 확인되었다. 그러나 인수 합병 이후 정보시스템 통합 성공에 대한 연구가 매우 부족하며, 대부분의 선행연구가 정보시스템 조직 통합 또는 물리적인 정보시스템의 통합 등과 같이 단편적으로 이루어져 왔다. 본 연구에서는 인수 합병 이후 정보시스템 통합 성공에 영향을 미치는 요인들에 대한 포괄적인 연구를 위하여 정보시스템뿐만 아니라 전략 경영, 경제학, 재무학, 인사관리, 조직관리 분야의 선행연구를 조사하였다 이를 기반으로 인수 합병 이후 정보시스템 통합 영향요인에 대한 통합 모델을 제시하였다. 제시된 모형에서는 영향요인들을 인수 합병 관점, 전략 관점, 조직 관점, 인사관리 관점, 정보시스템 관점으로 재 분류하고, 사례연구를 통하여 각 요인들이 정보시스템 통합 성공에 미치는 영향을 실증적으로 검증하였다.

외부 시스템과의 접속을 통한 통합 구조설계 전문가 시스템 개발 (A Structural Design Expert System with Integrated Design Environments)

  • 이경호;이동곤
    • 대한조선학회논문집
    • /
    • 제33권1호
    • /
    • pp.135-144
    • /
    • 1996
  • 본 논문에서는 범용 전문가 시스템 쉘을 이용하여 구조설계, 특히 선박의 중앙 횡단면 구조설계를 지원할 수 있는 전문가 시스템(ESMID)을 개발하였다. 기존의 전문가 시스템과는 달리 여기서는 효율적인 설계 전문가시스템을 구현하기 위하여 지식베이스와 공학 데이타베이스, 사용자 인터페이스, 그리고 공학 계산 프로그램들이 통합된 시스템을 구현하였다. 본 시스템의 유효성을 검증하기 위하여 64K 살물선에 적용하여 구조설계를 수행하였다. 기존의 전문가시스템에 데이타베이스, 그래픽 사용자 인터페이스 등의 환경들이 접목됨으로써 초보자도 쉽게 구조설계를 수행할 수 있게 된다.

  • PDF