• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.860-867
• /
• 2015

국방 분야에서 무기체계가 첨단화 되면서 무기체계 내장형 소프트웨어의 중요성이 증대되고 있으며, 현대의 전장상황이 네트워크 중심전(NCW)으로 전개됨에 따라 무기체계 내장형 소프트웨어의 신뢰성 및 품질 확보가 중요시 되고 있다. 또한 내장형 소프트웨어의 문제점이 개발단계에서 양산단계로 이관되어 막대한 손실이 발생되고 있으며, 개발업체에서는 소프트웨어 신뢰성 시험에 대한 체계적인 활동이 이루어지지 않고 있다. 본 연구에서는 다양한 소스코드 신뢰성 검증사례 분석을 바탕으로 소프트웨어 소스코드 품질검증체계 확립에 대한 접근방안을 제시한다. 방위사업청의 "무기체계 소프트웨어 개발 및 관리 매뉴얼"의 동적분석 평가항목 및 코드실행률 목표값 기준을 제시하고, 개발업체의 소프트웨어 개발능력 향상을 유도하기 위한 방안을 제안한다.

• Journal of Preventive Medicine and Public Health
• /
• 제54권3호
• /
• pp.161-165
• /
• 2021

Objectives: Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) spreads heterogeneously, disproportionately impacting poor and minority communities. The relationship between poverty and race is complex, with a diverse set of structural and systemic factors driving higher rates of poverty among minority populations. The factors that specifically contribute to the disproportionate rates of SARS-CoV-2 infection, however, are not clearly understood. Methods: We evaluated SARS-CoV-2 test results from community-based testing sites in Los Angeles, California, between June and December, 2020. We used tester zip code data to link those results with United States Census report data on average annual household income, rates of healthcare coverage, and employment status by zip code. Results: We analyzed 2 141 127 SARS-CoV-2 test results, of which 245 154 (11.4%) were positive. Multivariable modeling showed a higher likelihood of SARS-CoV-2 test positivity among Hispanic communities than among other races. We found an increased risk for SARS-CoV-2 positivity among individuals from zip codes with an average annual household income

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 한국인터넷방송통신학회논문지
• /
• 제12권2호
• /
• pp.189-197
• /
• 2012

고수준의 명세나 고수준의 프로그래밍 언어로 작성된 원시 코드를 이용하여 테스트 데이터를 생성하는 것이 일반적이다. 그러나 어떤 상황에서는 이러한 테스트 데이터 생성 정보가 항상 이용가능하지 않을 수 있다. 이 논문에서는 실행가능 목적코드를 바탕으로 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 정교한 목적 코드 분석을 필요로 하지 않은 매우 간단한 함수 최소화 기법을 사용하여 동적으로 테스트 데이터를 생성한다. 삼각형 분류 프로그램에 대한 실험을 통하여 분기 커버리지를 매우 효과적으로 달성함을 보인다.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권7호
• /
• pp.3431-3445
• /
• 2017

Due to the advantages of low transmit power consumption, high spectral efficiency and extended system coverage, Device-to-Device (D2D) communication has drawn explosive attention in wireless communication field. Considering that intra-cell interference caused between cellular signals and D2D signals, in this paper, a network coding-based D2D relay cooperative transmission algorithm is proposed. Under D2D single-hop relay transmission mode, cellular interfering signals can be regarded as useful signals to code with D2D signals at D2D relay node. Using cellular interfering signals and network coded signals, D2D receiver restores the D2D signals to achieve the effect of interference suppression. Theoretical analysis shows that, compared with Amplify-and-forward (AF) mode and Decode-and-forward (DF) mode, the proposed algorithm can dramatically increase the link achievable rate. Furthermore, simulation experiment verifies that by employing the proposed algorithm, the interference signals in D2D communication can be eliminated effectively, and meanwhile the symbol error rate (SER) performance can be improved.

• 한국위성정보통신학회논문지
• /
• 제2권1호
• /
• pp.27-34
• /
• 2007

ATC를 이용한 이동 위성 방송 서비스는 위성 통신의 고육 특징인 광역성에 따라 글로벌 커버리지에서 방송 서비스를 제공할 수 있을 뿐만 아니라 도심지에서도 끊김 없이 서비스를 제공할 수 있는 장점을 가진다. 본 논문에서는 이러한 ATC를 사용하는 이동 위성 통신 시스템에서 방송 서비스를 위해 ATC에 시공간 부호를 적용한 하향링크 전송 개념을 제안한다. 여기서 ATC는 기존의 시스템에서와 같은 단순히 중계기가 아니라 시공간 블록 부호를 적용하기 위한 하나의 안테나로 고려된다. 먼저 시공간 부호를 적용하기 위한 전송 시나리오를 제안하고 다음으로 고려하는 전송 시나리오에서 시공간 블록 부호를 ATC에 적용하여 기존의 하향링크 전송방법과 모의 실험을 통해 성능 비교를 한다. 모의 실험 결과 제안한 방법은 기존의 하향링크 전송 방법에 비해 다이버시티 이득으로 인한 성능 향상을 얻을 수 있었다.

• 정보통신설비학회논문지
• /
• 제2권3호
• /
• pp.36-47
• /
• 2003

Wideband Code Division Multiple Access (WCDMA) is one of the air interface techniques proposed for the third generation (3G) mobile communication system. WCDMA was selected because it fulfills the IMT-2000 requirements for higher data rate trans mission, support of multimedia capabilities and other flexible services due to its variable bit rates and larger bandwidth, improved capacity and coverage, efficient power control and support for advanced and improved detector structures. Performance evaluation of 3G wireless network through simulation plays an important role in the design and implementation of the actual system, aiding the wireless system designer by providing them the necessary performance conformance statistics prior to implementation. In accordance with this goal, a simulator engine was developed entirely on a MATLAB platform to emulate the behaviour of the WCDMA air interface for both the uplink and downlink in a real world fading mobile environment. This paper discuss the development of the simulator along with a brief description of its functionalities and user interface. The WCDMA air interface mode focused in this paper is in accordance to the 3GPPs frequency division duplex (FDD) mode and restricted to the physical layer description. Performance results for the selected cases for the downlink, uplink, varying mobile velocity and sampling rates are also provided.

• 한국군사과학기술학회지
• /
• 제15권5호
• /
• pp.635-642
• /
• 2012

The Packet radio C2OTM(Command and Control On The Move) for Command, Control and situational awareness in communication environment of current Combat Net Radio Network is required in a relay transmission techniques. This is to assure the reliability of information transfer, and extend Wireless Coverage and overcome Communication obstacles of mountainous terrain. For the reliability of information transmission in tactical environment, Ad hoc Networking is necessary considering communication environment and an appropriate application of error correction. In this study, We propose a on-demand SDR algorithm that is currently being applied the FEC, Golay, Repetition Code. This enhanced relay transfer uses Ack Reply in tactical operating environment of MIL-STD-188-220 Protocol.

• 한국통신학회논문지
• /
• 제31권6A호
• /
• pp.556-562
• /
• 2006

본 논문에서는 OFDM 기반 이동 셀룰러 시스템에서 브로드캐스트 패킷 데이터 전송을 위한 매크로 다양성 부호화 기법을 제안한다. 제안한 기법은 동일한 데이터를 전송하는 셀들을 둘 이상의 셀 그룹으로 나누고, 각 셀 그룹이 송신 다양성 부호의 서로 다른 가지를 전송하는 것이다. 또한, 부호화된 패킷을 하나 이상의 부분 블록으로 나누고 각 부분 블록마다 셀 그룹이 전송해야 할 가지를 바꿈으로써 부분 블록마다 송신 심볼이 겪는 채널 특성을 다르게 한다. 따라서, 제안한 방법은 각 심볼이 겪는 송신 다양성과 채널 부호화 다양성을 증가시켜서 동일한 송신 전력으로 셀 경계 품질을 향상시키고 서비스 제공 영역을 넓힌다.