• Title/Summary/Keyword: 통합 검증

Search Result 2,216, Processing Time 0.033 seconds

Hardware/Software Co-design and Verification by Synchronous language for Embedded System (임베디드 시스템을 위한 동기적 언어 기반 하드웨어/소프트웨어 통합 설계 및 검증)

  • Lee, Su-Young;Kim, Jin-Hyun;Choi, Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.10a
    • /
    • pp.469-474
    • /
    • 2006
  • 전통적인 임베디드 시스템 개발은 하드웨어와 소프트웨어가 독립적으로 개발된다. 그러나 시스템 개발 후 오류 발생 시, 하드웨어와 소프트웨어 둘 중 어디에서 발생했는지 알아내기 어려웠다. 따라서 임베디드 시스템 개발을 위해 하드웨어/소프트웨어의 통합 설계 방법이 연구기관들에 의해 제시되어 왔다. 본 논문은 현실적으로 많이 사용되고 있는 일반 임베디드 시스템 개발 방법으로부터 접근하는 HW/SW 통합 개발 방법을 제안하였다. 즉, 이미 만들어진 하드웨어를 설계 단계로 끌어올려 정형 기법을 통해 하드웨어를 설계 및 정형 검증하여 견고한 하드웨어를 만들고, 이를 기반으로 소프트웨어를 정형 명세 및 검증하는 하드웨어/소프트웨어 통합 개발을 수행하였다. 따라서 개발 후 하드웨어 또는 소프트웨어에서 발생할 수 있는 오류를 최소화하고 오류가 발생하였다고 해도 개발 전에 설계상에서 오류를 수정할 수 있어 임베디드 시스템의 신뢰성을 보장하였다. 또한 설계 과정의 어떤 시점에서 개발 중인 가상의 하드웨어가 아닌 개발 완료된 하드웨어의 실제 코드를 테스트할 수 있으므로, 현실적인 임베디드 시스템 개발에 더 효과적인 하드웨어/소프트웨어 통합 개발 방법론을 제시하여 그 효율성을 높였다.

  • PDF

The Instructional Design of Information Communication Ethics Based on Integrated Character of Lickona (리코나의 통합적 인격을 적용한 정보통신윤리 수업 설계)

  • Ryu, Ji-Min;Kim, Kil-Mo;Cho, Seong-Hwan;Kim, Seong-Sik
    • Journal of The Korean Association of Information Education
    • /
    • v.14 no.3
    • /
    • pp.329-339
    • /
    • 2010
  • This study has been pointed out that Information Communication Ethics Education has been mentioned only about a cognitive factor. Then the purpose of this study is verify the effects through the Instructional design of Information Communication Ethics that was compensate the problem. To achieve this, it was included all the cognitive, emotional and active factor of Integrated Character by Thomas Lickona. It has been modified that Information Communication Ethics Test of Lee Chae Young(2009) to be included all the factors of Integrated Character to verify the designed instruction. It has been designed that each steps included the component of Integrated Character using Gerlach & Ely systematic instruction model then, the designed instruction has been applied to the secondary school and verified the effectiveness. As a result, it has been proved that Experimental group is more effective than Control group.

  • PDF

A Development of the integrated monitoring and control system for the combined cycle power plant (복합화력발전을 위한 통합감시제어 시스템 개발)

  • Lee, Bong-Kuk;Shin, Yong-Hak;Chun, Tae-Young;Lee, Seung-Joo;Lee, Kwang-Soon;Won, Wang-Yun
    • Proceedings of the KIEE Conference
    • /
    • 2008.07a
    • /
    • pp.1553-1554
    • /
    • 2008
  • 본 논문에서 복합 화력 발전을 위한 개방화 되고 표준화된 보일러/터빈 통합 감시제어 시스템을 개발하였고, 검증하였다. 통합 감시 제어 시스템은 복합 화력 공정의 HRSG, BOP, DEHC 계통을 위한 통합 감시 제어 시스템이다. 복합 화력 공정에서 시스템은 다양한 운전모드와 잦은 기동, 정지에 의해 운영되는 특징이 있다. 통합감시제어시스템은 복합모드 제어를 수행하고 고급제어를 포함하는 고기능제어 시스템으로 개발되었다. 타 시스템과의 효율적인 연계를 위해 표준화된 인터페이스의 개방형 시스템으로 개발하였으며, 원거리관리를 위한 Web monitoring 기능을 수행하고, 효율적인 실시간 이력 시스템을 포함한다. 개발된 시스템은 현장에서 실제로 검증되었다.

  • PDF

A study on the development of protocol modal and verificator (프로토콜 검증 모델 및 검증기 개발)

  • 민재홍
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 1999.11a
    • /
    • pp.312-321
    • /
    • 1999
  • Advanced system and softwares are required for informal ion communications ions protocol in Information sharing. electronlc commerce and intranet applications with the increase of Internet usage. Therefore. the development methodology of telecommunications protocol to meet user's requirement and increase reliability becomes more important. This study aims to develop the verification model and tool for ATM protpcol using SDL formal description technique and will becomes basic technique for the implementation of integrated protocol development tool.

  • PDF

The Effects of Participation of Lifelong Education Activities on the Self - Consciousness of the Elderly -Focused on Mediating Effect of Life Satisfaction and Volunteer Activity- (노인의 평생교육활동참여가 자아통합감에 미치는 영향 -삶의 만족도와 자원봉사활동의 매개검증을 중심으로-)

  • Ahn, Hwasoon;Moon, Jaewoo
    • The Journal of the Korea Contents Association
    • /
    • v.18 no.5
    • /
    • pp.592-599
    • /
    • 2018
  • The purpose of this study is to examine whether the participation of lifelong learning activities of the elderly is a part of the self - The questionnaire consisted of 12 items of general characteristics, 5 items of lifelong education, 6 items of volunteer activity, 15 items of life satisfaction, and 10 items of self - integration. The subjects of this study were 300 elderly people aged 60 or older living in Seoul, Gyeonggi - do, and Incheon, and participated in lifelong educational institutions such as the elderly welfare center, elderly university, and ward. As a method of analysis, the structural equation model of AMOS 22.0 was applied. The results obtained by applying the structural equation analysis are as follows. First, general characteristics were tested and the reliability of the items was tested. The reliability of the items, predictability, accuracy, and validity were analyzed by principal component analysis. Second, the research hypothesis was verified by verifying the fit of measurement variables through participation factor of lifelong education, self - integration, life satisfaction, and voluntary service. Statistical analysis was performed using the SPSS WIN 22.0 and Amos 22.0 programs.

An Effective ESICD Verification Strategy: A case study of Military Satellite Communications System II

  • Lee, Kee-Sung;Choi, Jun-Ho;Shin, Jeong-Jin;Yoon, Hye-Jin;Kim, Seung-Ho
    • Journal of the Korea Society of Computer and Information
    • /
    • v.26 no.9
    • /
    • pp.105-114
    • /
    • 2021
  • ESICD(Electrical Signal Interface Control Document) refers to a document that describes protocols and data for communication between components consist of a system. Each component developer gathers at a specific place to conduct an integrated test for ESICD verification. In this case, it often happens that the integration test is delayed due to a simple mistake of software developers. There are two reasons for this situation: First, software developers do not perform sufficient verification because it is difficult to configure the system environment in a Lab, and second, they do not immediately find the cause of errors occurred during integration tests. Therefore, in this paper, we propose a strategy to effectively perform ESICD verification, which takes a lot of time between the production and implementation stage of the weapon system development stage and the system integration test stage.

A Study on the Realtime Integrated Management System for the Detection Malware (악성코드 탐지를 위한 실시간 통합관리 시스템에 관한 연구)

  • Kim, Hyo-Nam
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2013.07a
    • /
    • pp.317-318
    • /
    • 2013
  • 최근에 발생한 3.20 사이버테러와 6.25 사이버테러와 같이 특정 방송사와 금융권 전산망을 마비시키고 임직원 시스템을 망가뜨려 못쓰게 만드는 피해 유형이 발생되고 있다. 이런 사이버 공격에 사용되는 악성코드에 대해서 탐지에서 분석 그리고 검증 단계를 통합적으로 모니터링하고 필터를 통해 악성코드를 추출하고 차단하는 시스템 개발이 필요하다. 본 논문에서는 실시간으로 악성코드를 탐지하는 엔진들의 분석 및 검증 현황을 확인하고 실시간 통계 모듈에서 수집한 자료들을 바탕으로 향후 보안 정책 방향 및 미래 예측을 계획할 수 있는 실시간 악성코드 분석 통합 관리 시스템을 제안한다.

  • PDF

A Study on Implementation of Environment Monitoring System of Mobile Robot using OpenRTM (OpenRTM 기술을 이용한 이동로봇 환경 모니터닝 시스템 구현에 관한 연구)

  • Moon, Yong-Seomn;Vo, Trong Tuan Anh;Lee, Young-Pil;Park, Jong-Kyu;Bae, Young-Chul
    • Journal of Advanced Navigation Technology
    • /
    • v.13 no.6
    • /
    • pp.894-900
    • /
    • 2009
  • In this paper, we propose the structure of system integration on the global ethernet networks using OpenRTM which was developed in Japan among the integration software framework based on middleware. In order to verify for propose model, we implement of environment monitoring system of mobile robot applied OpenRTM structure and we also verify that proposed validity of the structure of integration through experiment in the implemented system.

  • PDF

A Study on Multi-Level Correlation Technique extended Security Alert Verification (보안경보 검증을 확장한 다단계 상호연관 분석에 관한 연구)

  • Choi, Dae-Soo;Lee, Yong-Kyun
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2005.11a
    • /
    • pp.1059-1062
    • /
    • 2005
  • 보안위협은 갈수록 심각해지고 다양한 정보보호시스템들을 통합하는 통합보안관리시스템에 관한 연구 개발도 활발히 진행 중이다. 이기종 정보보호시스템에서 발생하는 다량의 경보와 이벤트를 효과적으로 수집, 통합하고 상호연관 분석할 수 있는 방법이 절실하다. 현재 연구되고 있는 상호연관분석 방법들에 대해서 조사 분류하고 각 분류별로 장단점을 분석하여 이기종 통합보안관리에 적합한 상호연관분석 방법을 제안한다. 보안 경보 검증과정과 분산화된 경보처리방법으로 실시간 상호연관분석이 가능하도록 설계하였다.

  • PDF

Development of Precision Spraying System Using Machine Vision and DGPS (기계시각과 DGPS를 이용한 정밀방제 시스템 개발)

  • 조성인;정재연;김유용;남기찬
    • Proceedings of the Korean Society for Agricultural Machinery Conference
    • /
    • 2002.02a
    • /
    • pp.426-431
    • /
    • 2002
  • 본 연구에서는 DGPS와 칼라 CCD 카메라를 이용한 잡초의 검출을 위한 영상처리 시스템과 분무시스템을 개발하고 통합하여 정밀 방제 시스템을 개발하였다. 방제 요구부위에 실제 정밀한 살포를 위해 펌프, 노즐 및 레귤레이터로 구성된 장치를 구성하고 컨트롤러를 제작 통합하여 분무 시스템을 개발하였다. 개별 노즐별로 ON/OFF에 의한 변량 살포가 가능하도록 각 노즐별로 레귤레이터를 장착하였다. 정밀 방제용 이동식 차량을 제작하고 노즐별로 ON-OFF 제어가 가능한 살포장치를 부착하였으며, 알고리즘을 통합하여 정밀방제 시스템을 개발하였다. 개발한 시스템은 영상 획득 $\longrightarrow$ DGPS 좌표 획득 $\longrightarrow$ 자이로 컴파스 데이터 획득 $\longrightarrow$ 데이터베이스로부터 작물의 위치정보 획득 $\longrightarrow$ 영상처리를 이용한 방제요구부위 검출 $\longrightarrow$ 노즐별 개별 방제 작업이 순서적으로 반복해서 진행되었다. 완성된 시스템의 성능 및 안정성을 평가하기 위해서 서울대학교 부속 과수원에서 무를 대상으로 개발된 시스템을 검증하였다. 개발된 시스템은 RS-232C 통신을 이용하여 데이터의 전송을 수행할 수 있었으며, 순차적인 진행이 가능하도록 통합 프로그램을 제작하였으며, 검증 결과 정밀방제의 가능성을 보였다.

  • PDF