• 제목/요약/키워드: Formal Modeling

검색결과 184건 처리시간 0.029초

효과적인 기술검토를 위한 동료검토 프로세스 모델에 관한 연구 (On the Peer-Review Process Model for an Effective Technical Review)

  • 최요철;이재천;조연옥
    • 한국철도학회논문집
    • /
    • 제12권3호
    • /
    • pp.376-381
    • /
    • 2009
  • 일반적으로 프로젝트를 수행하는 과정에서 적절한 기술 계획에 따라 진척도 및 성과에 대한 기술검토를 규칙적으로 실시하게 된다. 그러나 일정 시점에서 수행되는 기술검토를 진행하는 과정에서 불명확한 진척도 및 성과 보고, 의견의 불일치, 시간지연 등 여러 가지 문제가 발생한다. 이러한 문제를 해결하기 위해 규칙적인 기술검토 이전에 동료검토를 진행하게 된다. 본 연구에서는 연구개발을 수행하는 과정에 활용되는 효과적인 동료검토 프로세스를 개발하였으며, 추가적으로 동료검토에 관한 일반적인 오해와 개선방안에 대해 서술하였다.

메모리 카드 호환성 테스트를 위한 통합 검증 환경 (Co-Validation Environment for Memory Card Compatibility Test)

  • 성민영
    • 한국컴퓨터정보학회논문지
    • /
    • 제13권3호
    • /
    • pp.57-63
    • /
    • 2008
  • 디지털 카메라, MP3 플레이어 등과 같은 가전 기기에서 낸드 플래시 메모리에 기반한 다양한 메모리 카드가 인기를 얻게 됨에 따라 기존 호스트 시스템과 새로 개발된 메모리 카드 간의 호환성 문제가 제품의 시장 진입에 큰장애가 되고 있다. 메모리 카드 호환성 테스트를 위한 일반적인 방법은 실제 호스트 시스템을 테스트 베드로 사용하는 것이다. 이를 개선하는 방법으로서 FPGA 기반의 프로토타입 보드를 이용하여 호스트 시스템을 에뮬레이션하는 것을 고려할 수 있다. 그러나 이 방법은 긴 셋업 시간을 필요로 하며, 다양한 호스트 및 장치 시스템을 표현하는데 제약이 있다. 본 논문에서는 Esterel 언어와 통합 시뮬레이션 기법에 기반한 모델을 이용하여 메모리 카드와 호스트시스템간의 호환성 테스트를 위한 통합 검증환경을 제안한다. 또한, 실제 메모리 카드 개발에 대한사례 연구를 통해 제안된 기법의 유용성을 증명한다.

  • PDF

LASA 디스플레이 유스케이스 모델링을 위한 방안 (A Approach to Use Case Modeling on LASA Display)

  • 민재홍;류호준;추혜용
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2013년도 추계학술대회
    • /
    • pp.805-808
    • /
    • 2013
  • 국내 정보통신 기술의 위상이 추격형에서 선도형으로 변화함에 따라, 신기술과 신시장을 창조하기 위한 원천기술 및 지식재산권 확보가 무엇보다 중요하고, 동시에 상용화의 수준을 높이는 기술개발이 요구되고 있다. 따라서 과제 기획단계에서 창의적 현식적인 아이디어가 연구과제로 채택되어 성공적으로 수행될 수 있도록 과제의 가치 및 기능에 대한 공감대 형성을 위한 방안이 필요하다. 본 논문에서는 소프트웨어 요구사항 추출에 사용된 유스케이스 작성 방법들을 분석하여 창의적 혁신적 과제에 적용할 수 있는 유스케이스 작성 방안을 제시하고, 이를 LASA 디스플레이 개발 과제에 적용하여 타당성을 검증하고자 한다. 향후에도, 새로운 기술 개발 에 대한 요구가 점증할 것으로 예상됨으로 지속적으로 유스케이스 발굴 방안에 대한 연구가 이루어 져야하고, 보다 정형화 되고 단계간의 연계가 논리적으로 이루어 질 수 있는 방법론에 대한 연구가 필요하다. 그리고 작성된 유스케이스 간의 연계 분석 방안 및 논리적 근거 제시 방안에 대한 방법론이 요구된다.

  • PDF

지리-객체와 지리-필드에서 기하 속성과 공간관계 역할에 기반한 객체 지향 공간 데이터 모델 (An Object Oriented Spatial Data Model Based on Geometric attributes and the Role of Spatial Relationships in Geo-objects and Geo-fields)

  • 이홍로
    • 정보처리학회논문지D
    • /
    • 제8D권5호
    • /
    • pp.516-572
    • /
    • 2001
  • 지리정보시스템은 다양한 분야에서 응용할 수 있는 자료를 다루고 있다. 각 용용 분야를 위한 필요한 정보는 지리정보의 설계 단계에서 지리영역의 응용관점에 따라 다르게 표현될 수 있다. 그러므로 지리정보시스템은 지리현상에서 발생하는 각 객체의 독립성과 동질성 여부에 따라 표현해야 한다. 이 논문은 지리-객체, 지리-필드와 비지리-객체 상에서 속성과 관계 역할에 대한 정의와 정리를 통한 형식화에 대해 연구되었다. 이를 위해 지리-객체는 지리-필드와 비지리-객체의 관계역할에 대한 형식화 관점에서 재구성되었다. 이 연구 결과 이 논문은 공간 클래스의 정적상태 특성인 속성-영역 관계를 공간 관계 역할로 표현하고, 형식화함으로써 기하 속성과 공간 관계 역할에 기반한 지리정보시스템의 효율적 설계의 방법을 제시하였다.

  • PDF

속성 버전화에 기반한 시공간 지리-객체의 객체 지향 데이터 모델 (An Object Oriented Data Model of a Spatiotemporal Geographic-Object Based on Attribute Versioning)

  • 이홍로
    • 전자공학회논문지CI
    • /
    • 제38권6호
    • /
    • pp.1-17
    • /
    • 2001
  • 시공간 데이터 모델은 공간과 시간 기능이 추가된 복합 객체를 기술하는 많은 응용 분야에서 이용될 수 있는 자료를 다룬다. 그러나 각 응용 분야를 위해 필요한 정보가 시공간 정보의 설계 단계에서 시간의 종류에 종속해서 지리정보가 다르게 표현될 수 있다. 이러한 다양한 필요성을 다루기 위해서는 지리정보를 시간 관점 하에서 기하학적 입장, 공간 관계 입장과 공간에 종속하는 속성의 입장으로 표현해야 한다. 이 논문에서는 지리정보시스템에 대한 객체들 사이의 관계와 속성에 대한 형식적 정의 문제를 제시하고 있다. 지리 자료는 지리-객체, 지리-필드로 분류되는데, 지리적 공간상에 존재하는 실제의 연속적이고, 이산적인 표현을 나타낸 것이다. 이 논문은 비지리-객체와 지리-객체 상에서 시간에 따른 속성의 변화와 관계 역할에 대해 연구하고자 한다. 따라서 이 연구결과는 지리-객체의 공간 클래스에 머문 기존 연구에 비지리-객체를 포함한 시공간 객체의 속성버전화 방법을 제안함으로써 시공간 객체 지향 클래스 설계상에서의 효율성에 기여한다.

  • PDF

국방 M&S의 특징 분석과 이를 통한 VV&A 방향 (M&S Verification, Validation and Accreditation Research Direction Considering the Characteristics of Defense M&S)

  • 김정훈;정승민;황일회;조현주;김대영;장영재
    • 대한산업공학회지
    • /
    • 제39권6호
    • /
    • pp.486-497
    • /
    • 2013
  • In this paper, we first present an in-depth survey of the research on Verification, Validation and Accreditation (VV&A) applied in various areas. Then we introduce the characteristics of the military and defense Modeling and Simulation (M&S) and propose the direction of method for VV&A with the identified characteristics. The M&S has been widely used in many different applications in the military and defense area including training, analysis, and acquisition. Methods and processes of VV&A have been proposed by researchers and M&S practitioners to guarantee the correctness of the M&S. The idea of applying the formal credibility assessment in VV&A is originated from the Software Engineering Reliability Test and Systems Engineering Development Process. However, the current VV&A techniques and processes proposed in the research community have not utilized the military-and-defense specific characteristics. We identify the characteristics and issues that can be found in the military and defense M&S. Then propose the direction of techniques and methods for VV&A considering the characteristics and issues. Also, possible research direction on the development of VV&A is proposed.

비정형 Security Intelligence Report의 정형 정보 자동 추출 (An Automatically Extracting Formal Information from Unstructured Security Intelligence Report)

  • 허윤아;이찬희;김경민;조재춘;임희석
    • 디지털융복합연구
    • /
    • 제17권11호
    • /
    • pp.233-240
    • /
    • 2019
  • 사이버 공격을 예측하고 대응하기 위해서 수많은 보안 기업 회사에서는 공격기법의 특성, 수법 유형을 빠르게 파악하고, 이에 대한 Security Intelligence Report(SIR)들을 배포한다. 하지만 각 기업에서 배포하는 SIR들은 방대하며, 형식이 맞춰져 있지 않다. 본 논문은 대량의 비정형한 SIR들에서 정보를 추출하는데 소요되는 시간을 줄이고 효율적으로 파악하기 위해 SIR들에 대해 정형화하고 주요 정보를 추출하기 위해 5가지 분석기술이 적용된 프레임워크를 제안한다. SIR들의 데이터는 정답 라벨이 없기 때문에 비지도 학습방식을 통해 키워드 추출, 토픽 모델링, 문서 요약, 유사문서 검색 총 4가지 분석기술을 제안한다. 마지막으로 SIR들에서 위협 정보 추출하기 위해 데이터를 구축하였으며, 개체명 인식 기술에 적용하여 IP, Domain/URL, Hash, Malware에 속하는 단어를 인식하고 그 단어가 어떤 유형에 속하는지 판단하는 분석기술을 포함한 총 5가지 분석기술이 적용된 프레임워크를 제안한다.

STM-GOMS 모델: 모바일 스마트 기기 환경의 인증 기법을 위한 안전성 분석 모델 (STM-GOMS Model: A Security Model for Authentication Schemes in Mobile Smart Device Environments)

  • 신수연;권태경
    • 정보보호학회논문지
    • /
    • 제22권6호
    • /
    • pp.1243-1252
    • /
    • 2012
  • 최근 모바일 스마트 기기의 보편화로 인하여 사용자 인터페이스로부터 개인 정보를 직접 획득하는 유형의 공격(숄더 서핑 공격, 레코딩 공격 등) 위협이 크게 증가하고 있다. 이러한 공격 가능성 및 안전성에 대한 체계적 평가를 위해 정형화된 안전성 분석 모델이 필요하지만, 이에 적합한 모델이 존재하지 않는다. 본 논문에서는 모바일 스마트 기기환경의 안전성 및 사용성 분석 모델인 STM-GOMS 모델을 제안한다. STM-GOMS 모델은 HCI 인지 모델을 안전성 분석에 처음으로 활용한 이전 연구 사례를 메모리 한계 관점에서 개선한 GOMS 기반 모델로 인증 기법의 사용성과 안전성 평가가 가능하다. 본 논문에서는 현재 스마트 기기에서 사용 중인 패스워드 입력 기법을 STM-GOMS 모델로 분석하여 사용성과 숄더 서핑 공격에 취약함을 보이고 이를 실험을 통해 검증한다.

BUSINESS PROCESS ENGINEERING IN THE CONSTRUCTION INDUSTRY

  • Brenda L. P. Yip;Ping Yung
    • 국제학술발표논문집
    • /
    • The 3th International Conference on Construction Engineering and Project Management
    • /
    • pp.622-627
    • /
    • 2009
  • Business process engineering (BPE) is a top-down management approach for increasing efficiency and productivity through radical and fundamental changes to the business processes of the organization. BPE requires firms to initially develop a model of the existing business processes of the firm to distinguish functional tasks from processes used for coordinating inputs, activities and outputs. The model is used for understanding the business processes in the organization and to simulate the effect of changes to the processes. The model can also be used to justify business processes, which involves assessing whether the business process provides value to the customer in its current configuration. Justification requires a careful examination of the key business processes used by the firm to identify systemic shortcomings in the process and to create a new business process to produce greater efficiency. BPE also considers automating as many business processes as possible to increase operational efficiency and the integration of business process tasks. The construction industry has been slow to adopt BPE because of its project approach in which a major firm contracts with various functional service providers and regards each project as unique. The industry focuses on functional task efficiency rather than business process efficiency. There is no formal methodology or criteria for determining whether a business process is effective for a construction firm in its current configuration. The use of performance measures such as costs, task duration times or other metrics can be useful in evaluating the effectiveness of an existing business process and for modeling the possible outcome of a fundamental and radical change to the process.

  • PDF

The Impact of Entrepreneurial Education on Entrepreneurial Intention During the COVID-19 Pandemic: An Empirical Study from Pakistan

  • SOHU, Jan Muhammad;JUNEJO, Ikramuddin;KHUWAJA, Faiz Muhammad;QURESHI, Naveed Akhtar;DAKHAN, Sarfraz Ahmed
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제9권3호
    • /
    • pp.95-103
    • /
    • 2022
  • This study aimed to find the mediating impact of entrepreneurial education during COVID-19 on entrepreneurial intention among university students from major cities of Pakistan. Majority of businesses shifted to online from offline mode as a result of COVID-19 pandemic. This created a great opportunity for university students to become entrepreneurs without much investment during COVID-19. Primary data for this study was collected with the help of an adopted questionnaire from previous studies. An online survey was considered appropriate due to the COVID-19 situation in the country. The number of data samples collected from the major cities of Pakistan was 460. The research hypothesis was tested with the help of SmartPLS by using least square structural equation modeling. Findings revealed there is full mediation of entrepreneurial education during COVID-19 between the self-efficacy, subjective norms, and attitude towards entrepreneurship for entrepreneurial intention during COVID-19 among university students. Therefore, the research confirmed the application of the theory of planned behavior among university students in Pakistan with regards to factors such as self-efficacy, subjective norms, attitude towards entrepreneurship and entrepreneurial intention. The present study also concludes that all students regardless of their area of study such as Business and Engineering look forward to become entrepreneurs during COVID-19. The students opting for entrepreneurship had either formal or informal entrepreneurial education during COVID-19.