• Title/Summary/Keyword: 소프트웨어 V&V

Search Result 253, Processing Time 0.031 seconds

A Study on Tools for Agent System Development (긴급메시지 전송 시스템의 모델링을 통한 안전성 검사)

  • Park, Chul-Woo;Yun, Sang-Jun;Kim, Kee-Chen
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2013.11a
    • /
    • pp.280-283
    • /
    • 2013
  • 최근 원자력 발전소, 의료 시스템, 항공 시스템 등과 같이 사람의 생명과 밀접하게 관련되어 있는 소프트웨어로 제어하는 시스템들이 점차 늘어나고 있다. 차량에서 또한 차량 제어 소프트웨어의 오작동으로 인한 잦은 사고로 인하여 운전자와 탑승자의 생명을 위협 받고 있다. 이러한 문제로 인하여 차량시스템 제어 소프트웨어도 안전성 확보를 위한 기술로 차량에 통신 기술을 접목한 차량 통신 기술에 대한 관심이 높아지고 있다. 차량 운전자 뿐 아니라 탑승자의 안전과 밀접하기 때문에 많은 연구가 진행되고 있다. 이러한 많은 연구 중 긴급메시지전송 시스템은 차량 간 통신(V2V)을 통한 운전자의 안전성 확보에 대한 연구다. 본 논문에서는 차량 긴급메시지 전송에 필요한 모듈을 구조적으로 나누고 이를 통하여 긴급메시지 전송시스템 구조의 안전성을 평가한다. 긴급메시지 전송시스템의 안정성을 검증하기 위하여 오토마타 모델링을 통한 시스템 구조를 설계하고 검증을 위해 CTL 논리식 정의, SMV(Symbolic Model Verifier)검증도구를 통한 시스템 안전성 모델 검사를 하였다.

A Study on Efficiency of Embedded Software Development Method Based on Formal Language (형식 언어 기반 임베디드 소프트웨어 개발 기법의 효율성 연구)

  • Seol, Jin-Ho;Nam, Yuong-Ho;Park, Jae-Heung
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11a
    • /
    • pp.511-513
    • /
    • 2005
  • 하드웨어의 성능향상으로 임베디드 통신 소프트웨어의 복잡도가 크게 증가되고, 이에 따르는 추가적인 개발 비용이 발생하고 있다. 개발자들은 임베디드 통신 소프트웨어의 복잡도를 해결하는데 필요한 소프트웨어 도구와 기술을 필요로 하고 있다. 본 논문에서는 임베디드 통신 소프트웨어 개발에 효과적인 SDL(Specification Description Language) 기반의 통합 개발도구인 SDT(SDL Design Tool)를 사용하여 소프트웨어를 개발하는 절차에 대하여 기술한다. 그리고 통신 소프트웨어인 ITU-T V.76 프로토콜에 개발 절차를 적용하여, SDT를 사용한 개발 절차와 일반적인 임베디드 통신 소프트웨어 개발 절차를 비교, 분석한다. 그 결과, SDT를 사용한 개발 절차가 개발 효율성과 유지보수 효율성에서 더 좋은 성능을 보였다.

  • PDF

Power flow control and Input voltage Sag compensation Analysis of Bidirectional Intelligent Semiconductor Transformer (양방향 지능형 반도체 변압기의 조류제어와 입력전압 Sag 보상 특성분석)

  • Kim, Do-Hyun;Lee, Byung-Kwon;Han, Byung-Moon;Lee, Jun-Young;Yoon, Young-Doo;Choi, Nam-Sup
    • Proceedings of the KIPE Conference
    • /
    • 2013.07a
    • /
    • pp.345-346
    • /
    • 2013
  • 본 논문에서는 단상 1.9kV/127V, 2kVA 용량의 양방향 지능형 반도체 변압기의 시작품을 제작하고 그 동작특성을 실험적으로 분석한 내용을 기술하고 있다. 제작한 반도체 변압기는 3대의 LLC 컨버터를 입력 측은 직렬로 결합하고 출력 측은 병렬로 결합한 AC-DC 컨버터와 1대의 하드스위칭 양방향 2-Stage DC-AC 컨버터가 직렬로 결합되어 있다. 제안하는 반도체변압기의 회로적인 특성을 분석하기 위해 PSCAD/EMTDC 소프트웨어를 이용한 시뮬레이션을 실시하였고 분석을 통해 얻은 결과를 바탕으로 하드웨어 시작품을 제작하고 다양한 실험을 통해 그 동작과 성능을 검증하였다. 먼저 1차적으로는 정상동작에 대해 실험을 실시하고 얻은 결과를 시뮬레이션 결과와 비교 분석하였다. 2차적으로는 전력의 흐름에 따른 동작을 실험적으로 분석하였다. 그 후에는 입력전압에 외란이 발생하였을 때 보상성능을 순방향 조류와 역방향 조류 2가지 경우로 나누어 실험을 실시하고 그 결과를 실험결과와 비교 분석하였다. 분석한 결과 제안하는 반도체변압기는 양방향 전력흐름이 가능하고 입력전압에 Sag가 발생한 경우에도 이를 보상하여 수전단이나 부하에 전력공급이 가능함을 알 수 있었다. 향후 단상 반도체 변압기 2대를 더 제작하여 3상 3.3kV/380V, 6kVA 용량으로 확대하여 실험을 실시할 예정이다.

  • PDF

Towards a Reusable Design for Embedded Software Component System Based on MDA with Executable UML (xUML을 사용한 MDA 기반 임베디드 소프트웨어 컴포넌트 시스템을 위한 설계 재사용)

  • Kim Wooyeol;;;Kim R. Youngchul
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.475-477
    • /
    • 2005
  • 향후 유비쿼터스 컴퓨팅 환경에서의 임베디드 소프트웨어는 다원화된 네트워크 환경에서 동작하게 될 것이다. 임베디드 소프트웨어가 이 기종의 시스템에서 다양한 형태의 응용 프로그램으로 쉽게 탑재되기 위해서는 설계와 코드의 재사용이 필수적이다. 임베디드 시스템에서 소프트웨어 설계의 재사용이 가능하다면 개발 시 소요되는 시간과 비용이 절감될 것이다. 그러나 임베디드 소프트웨어는 많은 부분이 시스템에 의존적이기 때문에 재사용이 어렵다는 단점을 가지고 있다. 본 논문에서는 이러한 단정을 해결하고자 기존의 MDA 메커니즘과 개선한 Multiple V-model의 접목을 시도하고 임베디드 소프트웨어 컴포넌트 설계의 재사용을 제안하다. 그리고 적용사례로서, 이기종의 임베디드 시스템들에 소프트웨어 컴포넌트를 탑재하였다.

  • PDF

Developing a Freeway Flow Management Scheme Under Ubiquitous System Environments (유비쿼터스 환경에서의 연속류 적정속도 관리 기술 개발)

  • Park, Eun-Mi;Seo, Ui-Hyeon;Go, Myeong-Seok;O, Hyeon-Seon
    • Journal of Korean Society of Transportation
    • /
    • v.28 no.4
    • /
    • pp.167-175
    • /
    • 2010
  • The ubiquitous transportation system environments make it possible to collect each vehicle's position and velocity data and to perform more sophisticated traffic flow management at the individual vehicle or platoon level through vehicle to vehicle (V2V) and vehicle to infrastructure (V2I) communication. It is necessary to develop a traffic flow management scheme to take advantage of the ubiquitous transportation system environments. This paper proposes an algorithm to advise the optimal speed for each vehicle according to the traffic flow condition. The algorithm aims to stabilize the traffic flow by advising the equilibrium speed to the vehicles speeding or crawling under freely flowing condition. And it aims to prevent or at least alleviate the shockwave propagation by advising the optimal speed that should dampen the speed drop under critical flow conditions. This paper builds a simulation testbed and performs some simulation experiments for the proposed algorithm. The proposed algorithm shows the expected results in terms of travel time reduction and congestion alleviation.

Reinforcement Learning Based Energy Control Method for Smart Energy Buildings Integrated with V2G Station (강화학습 기반 V2G Station 연계형 스마트 에너지 빌딩 전력 제어 기법)

  • Seok-Min Choi;Sun-Yong Kim
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.19 no.3
    • /
    • pp.515-522
    • /
    • 2024
  • Energy consumption is steadily increasing, and buildings in particular account for more than 20% of the total energy consumption around the world. As an effort to cost-effectively manage the energy consumption of buildings, many research groups have recently focused on Smart Building Energy Management Systems (BEMS), which are deepening the research depth by applying artificial intelligence(AI). In this paper, we propose a reinforcement learning-based energy control method for smart energy buildings integrated with V2G station, which aims to reduce the total energy cost of the building. The results of performance evaluation based on the energy consumption data measured in the real-world building shows that the proposed method can gradually reduce the total energy costs of the building as the learning process progresses.

Dash Box AI-based Pedestrian danger Notification System (블랙박스형 AI 기반의 보행자 위험 알림 시스템)

  • Hyun-Woo Kim;Ji-Seob Kim;Seong-Mo Yang;Kyu-Chan Kim;Chul-Woo Park;Joon-Ho Park
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2023.01a
    • /
    • pp.239-240
    • /
    • 2023
  • 교통사고는 차량 운전자의 부주의 및 보행자의 안전 불감증 등 여러 가지 이유로 다양한 형태의 교차로에서 사고가 발생한다. 이것을 개선하고자 본 논문에서는 보행자 위험 알림 시스템을 구현하였다. 이 시스템은 YOLO v4 tiny 알고리즘 사용해 약 8,000장의 보행자와 차량의 사진을 학습시켜 객체 인식의 정확도를 높이고 웹캠과 스피커를 사용하여 보행자에게 위험을 알릴 뿐만 아니라, 사고 발생 등의 경우에 대해서 블랙박스 역할을 할 수 있도록 구현하였다.

  • PDF

Realtime Apple Quality Monitoring System Based on Deep Learning (딥러닝 기반의 사과 품질 실시간 모니터링 시스템)

  • Chan-seok Bae;Woo-hyuk Jung;Geun-jae Lee;Gyu-ryang Hong;Ji-hyun Kwon;Hongseok Yoo
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2024.01a
    • /
    • pp.297-298
    • /
    • 2024
  • 펜데믹, 전쟁 등을 포함한 국제 정세 변화에 따른 물류대란, 원자재가격 상승 및 환율 급등으로 인해 2023년 기준 대한민국의 물가는 크게 오르고 있는 추세이다. 물가 상승은 사업장의 인건비 부담 증가로 이어지고 있고 특히 노동 집약 산업인 농업 분야에서의 인건비 부담 문제는 더욱 심각한 실정이다. 외국인 근로자 고용이 대안이 될 수 있지만 인건비 절감 효과는 미미하기에 농업계 관계자들은 자동화 시스템 도입에 관심이 집중되고 있다. 따라서, 본 논문에서는 사과 분류 작업 자동화 체계의 핵심 요소에 해당하는 사과 품질 실시간 모니터링 시스템을 제안한다. 제안한 방식에서는 딥러닝 기반의 영상 분석 기법 및 무게 센서 데이터 분석을 통해 사과의 품질에 따른 등급 책정을 자동화 한다.

  • PDF

V+Tech 트랜드_복제방지 기술 - 복제방지기술, 저작권보호를 위한 첫걸음

  • Sin, Dong-Myeong
    • Venture DIGEST
    • /
    • s.129
    • /
    • pp.14-16
    • /
    • 2009
  • 복제방지 기술은 저작권이 있는 소프트웨어, 영화, 음악 등에 대해 불법적인 재생산을 막기 위한 기술적보호조치 중의 하나이다. 기술적보호조치를 우회하거나 무력화하는 행위에 대해서는 법에서 금지하고 있으며, 효과적이고 상당한 수준의 기술적보호조치가 요구되고 있다. 현재까지 인터넷 기반의 PC플랫폼을 중심으로 발전되어 왔던 복제방지 기술도 디지털 방송 및 다양한 휴대 기기의 발달과 이용 형태의 변화에 따라 복제방지 기술 또한 다양한 요구사항을 만족시키기 위한 보호기술로 확장되어 왔다. 소프트웨어 및 디지털 콘텐츠 제작자들은 좀 더 자극적이고 능동적이고 불법 복제 및 유통을 차단하기 위하여 복제 방지기술을 도입하고 있으며 MP3폰, 셋탑박스 등에 필수적으로 탑재되고 있다.

  • PDF

A Study on Testing Process Application About the Software for X-Forms base UI Development (X-Forms 기반 UI 개발 소프트웨어에 테스트 프로세스 적용을 위한 연구)

  • Lee, Seung-Hyuk
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2007.11a
    • /
    • pp.383-386
    • /
    • 2007
  • X-Forms 기반의 웹 UI(User Interface)를 개발하는 소프트웨어는 개발이 완료되어 운영되는 과정에도 사용자의요구, 성능향상, 기능개선, 기능추가 등의 이유로 변경이 가능하다. 이러한 소프트웨어의 유지보수도 일반적인 요구사항명세, 분석, 설계, 구현의 개발 프로세스를 따른다. 본 논문에서는 UI 개발 소프트웨어의 유지보수 단계에서 효율적인 테스트를 하기 위해 V-모델을 확장, 변형한 테스트 프로세스 제안한다. 제안한 테스트 프로세스의 주요 활동은 요구사항분석을 통한 테스트 계획, 테스트 데이터를 식별하고 환경을 구축하는 분석과 설계, 테스트 케이스를 명세화하고 테스팅 방법론을 적용하는 구현과 실현, 리포팅과 산출물을 정리하는 테스트 마감 활동으로 진행한다. 웹 UI 개발 소프트웨어의 특징에 맡게 테스트 프로세스를 구축하고 실무에 적용하여 에러 검출률, 테스트 시간, 테스트 결과의 효율성을 높일 수 있는 방법을 제안한다.

  • PDF