• 한국실내디자인학회논문집
• /
• 제20권3호
• /
• pp.242-248
• /
• 2011

According to a study on the accident patterns of older people in 2006 by Korea Consumer Agency (CISS), the number of accidents of the elderly at home reached 486, and the figure has increased every year. As Korea is about to enter into the aged society, it is important to investigate the factors that cause an accident in the welfare facilities for the aged and establish the barrier-free construction standards. The accident influence factors include facility environmental, physical functional, socio demographic and socio psychological factors. In terms of the verification tools, there are Facility Evaluation Index, FIM, MMSE-K and General Feature. In terms of analysis method, in addition, there are real number, percentage, t-test, ANOVA and logistic regression. In conclusion, this paper attempts to reveal correlations among the accident influence factors using the Facility Evaluation Standards (115 items in total) for facility environmental factor, FIM (3 items) for physical functional factor, MMSE-K (6 items) for socio psychological factor and questionnaire (5 items) for socio demographic factor.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권8호
• /
• pp.2507-2528
• /
• 2022

Blockchain interoperability, which refers in particular to the ability to access information across blockchain systems, plays the key role for different blockchains to communicate with each other, and further supports the superstructure built on top of the cross-chain mechanism. Nowadays, blockchain interoperability technology is still in its infancy. The existing cross-chain scheme such as BTCRelay requires that the smart contract in a blockchain to download and maintain block headers of the other blockchain, which is costly in maintenance and inefficient to use. In this paper, we propose a supervision mechanism between blockchains, called Surveillant. Specially, the new entities called dual-functional nodes are introduced to commit the real-time information from the blockchain under supervision to the supervising blockchain, which enables users to have efficient cross-chain verification. Furthermore, we introduce Merkle mountain range for blocks aggregation to deal with the large-scale committing data. We propose the design of long orphan branch counter to trace the bifurcations in the blockchain under supervision. The existing incentive mechanism is improved to encourage the behaviors of dual-functional nodes. In Surveillant, the analysis and experimental results demonstrate that users are able to have efficient cross-chain verification with low maintenance overhead.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제15권3호
• /
• pp.423-426
• /
• 2015

Current verification methods for on-chip memory have been implemented using coverpoints that are generated based on a single operation. These coverpoints cannot consider the influence of other memory banks in a busy state. In this paper, we propose a method in which the coverpoints account for all operations executed on different memory banks. In addition, a new constrained random vector generation method is proposed to reduce the required random vectors for the multi-operation-based coverpoints. The simulation results on NAND flash memory show 100% coverage with 496,541 constrained random vectors indicating a reduction of 96.4% compared with conventional random vectors.

• 한국위성정보통신학회논문지
• /
• 제10권3호
• /
• pp.62-67
• /
• 2015

본 논문에서는 2세대 위성 통신 규격인 DVB-RCS2 기반 차세대 VSAT 시스템에 대해 소개하고자 한다. 다양한 모듈로 구성되는 차세대 위성 VSAT 시스템 중 역방향 링크 데이터 수신을 위한 모뎀의 기능 검증을 위한 테스트베드 구축 및 그 결과에 대해 논하고자 한다. 이를 통해 차세대 VSAT 서비스 및 방송 서비스에의 효율적인 활용 기술을 확보할 수 있을 것으로 예상해 본다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권4호
• /
• pp.448-456
• /
• 2000

설계되는 시스템의 규모가 커지고 복잡해지므로 이를 빠른 시간 내에 효율적으로 검증하기 위한 상위 단계에서의 검증 기술의 개발이 중요하게 되었다. 본 연구에서는 하드웨어와 소프트웨어가 혼합되어 있는 시스템을 위한 상위 단계에서의 검증기술을 개발하였다. 에뮬레이션 또는 시뮬레이션만을 수행하는 것보다 빠르고 우수하게 기능적으로 검증하기 위해, 하드웨어와 소프트웨어 부분으로 분할한 후 인터페이스 회로를 이용하여 구현 가능하도록 하였다. 그리고, 상위 단계의 회로를 쉽게 하드웨어를 이용하여 검증하기 위한 설계 지침들을 제시하였다. 본 방법을 이용하여 리드-솔로몬 디코더 회로에 대한 검증을 수행한 결과 시뮬레이션만을 수행한 경우에 비하여 modified Euclid 알고리즘 수행 블록은 12,000배 이상의 속도로 검증을 수행할 수 있었으며, 전체 검증 시간도 반 이하로 줄었다.

• Nuclear Engineering and Technology
• /
• 제31권2호
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(2)
• /
• pp.173-176
• /
• 2000

Silicon semiconductor technology agree that the number of transistors on a chip will keep growing exponentially, and it is pushing technology toward the System-On-Chip. In SoC Design, Specification at system level is key of success. Executable Specification reduce verification time. This Paper describe the design of IMDCT for MPEG Audio Decoder employing system-level design methodology and Executable Specification Methodology in the VHDL simulator with FLI environment.

• 한국IT서비스학회지
• /
• 제5권2호
• /
• pp.189-198
• /
• 2006

This study assumed that the best road guidance system for the vision impaired is a robot and analyzed and verified the requirements of road guidance system. In order to do so, the characteristics and inconveniences of the vision impaired as passengers and pedestrians were examined and their reactions to warnings and dangerous situations were analyzed. Users' needs and robots' functional requirements were applied to analyze the requirements of road guidance system. To verify whether the proposed requirements would be applied to robots effectively, a service scenario was used.

• 한국시뮬레이션학회논문지
• /
• 제28권4호
• /
• pp.33-43
• /
• 2019

Link-16은 미 해군 및 공군, NATO에 합동 상호운용성을 제공하는 데이터링크로 국내 무기체계에서도 운용되고 있다. 현재 Link-16 운용을 위한 시험환경, 전술모의훈련 및 상호운용성 검증 시험은 해외 SW 및 도구를 통해 전적으로 의존하고 있다. 따라서 Link-16 기반의 운용환경시험 도구의 개발이 필요하다. 본 논문에서는 Link-16 해외도구 기능 분석을 통해 Link-16 네트워크 운용성능분석 시뮬레이터를 개발하였다. 또한 연동을 위한 SIMPLE 표준 인터페이스를 구현하였다. Link-16 네트워크 운용성능분석을 위한 기능모델은 사전분석, 실시간 운용분석, 사후분석 기능모델로 구성된다. 각 기능모델에 대한 시험은 해외 SW 및 도구와 SIMPLE 연동을 통해서 수행하였다. Link-16 네트워크 운용성능분석 시뮬레이터를 통해 해외 SW를 대체하게 된다면 우리 군에 맞는 전술훈련 및 네트워크 운용성능분석, 운용(시나리오)검증을 수행할 수 있을 것이다.

• 융합보안논문지
• /
• 제19권4호
• /
• pp.97-105
• /
• 2019

니콜라 테슬라에 의해 항공기의 무선제어 가능성이 제시되면서 출현한 무인항공기는 제 1, 2차 세계대전을 통해 항공력의 급속한 발전과 함께 군사, 방산용으로 사용하게 되었다. 2000년대, 무인항공기의 분야가 촬영, 배송, 통신 등 민간분야까지 확대됨에 따라 여러 서비스와 융합되어 활용되고 있다. 하지만, 최근 무인항공기 시스템에서의 통신이나 무인항공기 자체의 보안 취약점을 이용하여 GPS 스푸핑, 전파 교란 공격 등을 시도하는 보안사고가 발생하고 있다. 이에, 안전한 무인항공기의 도입을 위하여 국내에서는 자체 무인항공기 검증 제도인 감항 인증 제도가 마련되었다. 그러나 감항 인증 제도는 무인항공기의 보안성보다는 시험 비행, 설계 및 물리적 구조의 안전성과 인증하는 쪽에 초점이 맞추어져 있다. 보안성 높은 안전한 무인항공기의 도입을 위해 본 논문에서는 무인항공기 시스템 모델을 제안하고 데이터 흐름도를 작성하였다. 작성한 데이터 흐름도를 바탕으로 무인항공기 시스템에서의 위협을 도출하였고, 도출한 위협을 방지할 수 있는 보안기능요구사항을 개발하였다. 제안한 보안기능요구사항을 통해 향후 무인항공기의 안전한 도입을 위한 앞으로의 평가, 검증 기술의 발전 방향을 제시한다.