• Journal of Digital Convergence
• /
• v.16 no.9
• /
• pp.179-185
• /
• 2018

Technology of Internet of Things (IoT) which is receiving the spotlight recently as a new growth engine of Information Communications Technology (ICT) industry in the $4^{th}$ Industrial Revolution needs trustworthiness beyond simple technology of security. IoT devices should consider trustworthiness from planning and design of IoTs so that everyone who develop, evaluate and use the device can measure and trust its security. Increased number of IoTs and long lifetime result in the increased securituy vulnerability due to the difficulty of software patch and update. In this paper, we investigated security and scalability issues of current IoT devices through research of the technical, political and industrial trend of IoT. In order to overcome the limitations, we propose an automatic verification of software integrity utilizing and a political solution to apply cyber killchain based security mechanism using hash which is an element technology of blockchain to solve these problems.

• Progress in Medical Physics
• /
• v.21 no.1
• /
• pp.42-51
• /
• 2010

Imaging studies using MRI, PET, and/or MEG have been primary evaluation methods to quantitatively assess cognitive function. Recent advances in computational technology and information technology may allow a novel evaluation methodology to quantitate cognitive function more cost-effectively. In this study, we developed a software package composed of a series of tests to evaluate cognitive ability combined with a user-friendly touch screen input device. This cognitive assessment tool can quantitate concentration, numeric memory, associative memory, topological memory, visual and muscular reaction, and acoustic reaction over a relatively short testing time. We performed an empirical study on eighty normal subjects aged 20 and 59 years old using the developed evaluation methods. Age-related cognitive deterioration after 40 years old was confirmed. There was no difference in cognitive ability between male and female in the same age group. This study demonstrates the feasibility of a simple but effective evaluation software tool to quantitatively assess cognitive ability. This methodology may provide improved accessibility and reduced costs to perform cognitive function studies to compare between various subject groups.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.10
• /
• pp.5243-5250
• /
• 2013

BIM(Building Information Modeling) enables 3D model-base management for all information produced by construction project during its life cycle. Also as a national policy, BIM has been institutionalized as design criteria. But, on the matter of 2D drawing using BIM software (Revit Architecture), it has been recognized as difficult to realize the same quality drawing drawn by CAD. The purpose of this study is verifying the possibility of printable design drawing implemented by BIM software at the same quality of 2D shop drawing drawn by 2D CAD. Through the analysis of basic design elements of 3D BIM software and 2D CAD software, with the case of partial cross sectional drawing which is most faithful representation of the basic design elements, this study find out that the 3D BIM software can produce the same quality 2D printable drawing utilizing its implicit function.

• The Journal of the Convergence on Culture Technology
• /
• v.10 no.3
• /
• pp.279-288
• /
• 2024

With the development of ICT, the use of software has become essential for organizations to exchange information or manage operations. However, security and software management issues that have increased with the development of ICT are issues that need to be continuously addressed. In 2021, the U.S. government has standardized and established SBOM as one of the countermeasures for software security. This research was initiated as a study to lay the groundwork for the introduction of SBOM in Korea. Based on the effects of SBOM characteristics on adoption intention, we tested management support and institutional support as moderating variables. As a result, security management was found to be a significant moderating variable for management support, and transparency was found to be a significant moderating variable for government institutional support. This study verified that SBOM adoption requires both corporate and government efforts, and the variables that are important from each perspective are different. We hope that this study will contribute to the development and adoption of SBOM.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.723-726
• /
• 2008

H.264/AVC는 다양한 블록 사이즈에 따라 움직임 보상을 수행한다. 본 논문은 1/4정밀도 화소를 지원하는 효율적인 움직임 보상에 대해 연구하였다. 참조 프레임의 데이터로 사용하기 위한 메모리의 접근을 줄이고 2개의 6-tap 필터를 사용하는 움직임 보상을 제안한다. 소프트웨어 검증을 통한 최적화 된 알고리즘을 사용하여 하드웨어 설계 언어를 이용하여 기술하고 ModeSim 6.0a를 이용한 데이터 검증을 수행하였다.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.829-832
• /
• 2007

디지털 비디오 압축 기술은 대역폭과 저장 공간이 제한되는 멀티미디어 데이터의 효율적인 전송과 저장을 가능하게 하는 중요한 역할을 해왔다. 현재 VC-1은 차세대 DVD의 표준으로 채택되어 사용되고 있고 H.264/AVC의 대안으로 제안되고 있다. 이에 본 논문에서는 VC-1의 엔트로피 디코더에 대하여 소프트웨어 검증을 통한 최적화 알고리즘을 사용하여 하드웨어 설계 언어인 VHDL 언어를 이용하여 기술하고 ModeSim6.0a를 이용한 데이터 검증을 수행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.61-63
• /
• 2002

복잡한 하드웨어 및 소프트웨어를 설계함에 있어 그 안정성에 대한 보장이 매우 중요하다. 이를 위해 정형 검증이나 테스팅과 같은 많은 기법을 활용하고 있다. 그러나 안정성 검증을 위해 시스템을 모델링하고 데스트 케이스를 만드는 과정에서 상태 폭발에 따른 메모리의 한계에 부딪히게 된다. 본 논문에서는 이러한 문제를 해결하고, 메모리를 효율적으로 이용할 수 있는 탐색방법을 이용한 데스트 케이스 생성 알고리즘을 제안한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2016.05a
• /
• pp.305-306
• /
• 2016

윈도우즈 시스템 상에서 실행되는 CAN 통신 소프트웨어는 CAN 통신 데이터의 정확한 측정 및 성능 검증을 위해 실시간성을 요구한다. 본 연구에서는 윈도우즈 시스템에 실시간성을 제공하는 RTiK-MP(Real-Time implant Kernel-Multi Processor)을 이용하여, CAN 통신 디바이스 드라이버의 실시간성 지원을 위한 미들웨어를 구현하였다. 미들웨어 사용의 확장성, 편의성을 위해 API(Application Program Interface) 형태로 제공하고, 이를 활용한 프로그램을 통해 미들웨어를 검증한 결과 10ms 주기에서 오차범위 내에서 정상 동작함을 확인하였다.

• Proceedings of the KAIS Fall Conference
• /
• 2001.11a
• /
• pp.117-121
• /
• 2001

기계설계에서 설계의 객관적인 계산치의 도출을 통한 설계검증이 중요한 부분이다. 여기서 우리는 기계요소 및 시스템 설계용 CAE소프트웨어를 이용하여 설계 검증을 해봄으로서 보다 객관적이고 명확한 설계 개선 안을 쉽게 도출할 수 있다는 것을 제시하고자 한다. 구체적 사례로 발전소 등의 유량을 조정하는 Hollow let Valve 구동축 부분의 안전계수를 검토하여 설계적 개선안을 도출시키고 설계자가 설계하는 단계에서 미리 문제점을 쉽게 발견하고 개선하는 방법을 연구한 결과를 정리한 내용은 다음과 같다.

• Journal of Advanced Navigation Technology
• /
• v.22 no.4
• /
• pp.264-270
• /
• 2018

In recent years, It is required to verify software reliability according to DO-178, which announced by radio technical commission for aeronautics (RTCA) and recognized by the Federal Aviation Administration (FAA), for civil aircraft developed or intended to fly in the United States or Europe. This is because the reliance on software in each field is deepening, and the efforts for improvement of software reliability have been made first in civil aviation field where economic and social impacts are catastrophic in the event of an accident. In this paper, we have identified some issues to be considered for requirements-based reliability verification required by DO-178 to improve software reliability and present the major elements of the present weapon system acquisition procedure of DAPA for each stage. In addition, we analyzed the results of applying the identified main check factors to a domestic aircraft development project based on the information accumulated in overseas aircraft development projects. As a result, we have shown that it is possible to verify requirements-based software reliability according to DO-178 by adding key checkpoints to the current weapon system acquisition procedure and providing objective inspection criteria.