• Nuclear Engineering and Technology
• /
• v.42 no.4
• /
• pp.377-381
• /
• 2010

In 2007 the Nuclear Energy Agency's Committee on the Safety of Nuclear Installations published Best Practice Guidelines for the use of CFD in Nuclear Reactor Safety. This paper provides an overview of the document' contents and highlights a few of its recommendations. The document covers the full extent of a CFD analysis from initial problem definition and selection of an appropriate tool for the analysis, through final documentation of results. It provides advice on selection of appropriate simulation software, mesh construction, and selection of physical models. In addition it contains extensive discussion of the verification and validation process that should accompany any high-quality CFD analysis.

• Annual Conference of KIPS
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.476-477
• /
• 2024

ASPICE는 소프트웨어 개발 프로세스를 평가하기 위한 업계 표준 지침으로서, 차량용 소프트웨어 제품을 효과적이고 안정적으로 제공하는 조직의 능력을 평가할 수 있는 프레임워크이다. 프로세스 참고를 위한 PRM과 평가 레벨이 존재하며, 최근에 ASPICE 3.0에서 ASPICE 4.0으로 개정이 있었다. V-모델은 ASPICE가 V-모델을 기반으로 구축하는 각 개발 단계에 대한 테스트 단계이다.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.239-240
• /
• 2024

OneDrive 는 Microsoft 에서 제공하는 클라우드 스토리지 서비스이다. OneDrive 데스크톱 앱은 사용자가 로그아웃한 이후 재로그인을 시도할 때 사용자 기기에 저장되어 있던 토큰을 사용해 로그인을 진행하며, 사용자의 패스워드를 추가로 요구하지 않는다. 이는 로그아웃한 사용자의 유효한 로그인 정보가 기기에 남아있음을 의미하며, 본 연구에서는 이를 활용해 OneDrive 의 토큰 저장소를 분석하고 토큰 이식 공격이 가능함을 보인다.

• The KIPS Transactions:PartD
• /
• v.18D no.6
• /
• pp.451-460
• /
• 2011

The ability to trace change history and dependency relations of software artifacts which are continuously changed has been recognized as an important factor that support quality management activities such as verification, validation, and testing in software system development process. General software configuration management systems provide tracing information for artifacts only within the configuration management system, and it does not go further to changes that occur within personal workspace. This paper provides a solution that helps tracing down not only changes of configuration items but also change history of artifacts existent in personal workspace through the integration of configuration management system and personal workspace. Furthermore, in cases of artifacts which are included in a configuration item, this paper provides a solution that support tracing dependency relations between the artifacts by identifying their version links. For the integration of configuration management system and personal workspace, a revision of configuration item is connected to the artifact's version of the workspace by the tagging mechanism, and traceability for change history and dependency relations of artifacts can be managed more effectively through integrated change process.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.6
• /
• pp.1522-1533
• /
• 1996

This paper presents a programming environment for the edition and verification of specification language SDL. It is implemented in the Concerto software factory, which has been as a support for the development of real size software. Concerto is a software factory designed for application development in the fields of computer communication protocols or real time system. It offers various kinds of tools to produce software, organize this production and automate it. Concerto allows a smooth integration of various formalism such as the C and $C^{++}$, languages, structured documentation, HOOD methodology (Hierarchical Object Orient Design). In this paper, as an important tools in the process of communication protocol software development, we describe fist describe the principles of this environment, then we illustrate its application by means of a simple example, the Inres protocol. Moreover, we study how hypertext mechanism of Concert to create logical links between a protocol and its asscoiated service.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.10
• /
• pp.2451-2461
• /
• 2014

Mobile application is software executing on smart devices regardless of the time and place. Many individuals and companies have provided a lot of mobile applications services. However, there is not certain standard in terms of application's quality evaluation because study is deficient compared with increase amount of development of mobile application. Moreover, mobile application basically has many special characteristics. For these reasons mobile application is required special standard of quality different from general software. To satisfy these needs, I design and propose mobile application evaluation model. Evaluation model is mapped by characteristics of mobile application based on ISO/IEC 25000's quality characteristics and propose each quality characteristics and metrics. For verification, scenario-based studies were applied to quality model and carried out.

• The KIPS Transactions:PartC
• /
• v.15C no.1
• /
• pp.9-18
• /
• 2008

Prevention of attacks being made through program modification in sensor nodes is one of the important security issues. The software-based attestation technology that verifies the running code by checking whether it is modified or not in sensor nodes is being used to solve the attack problem. However, the current software-based attestation techniques are not appropriate in sensor networks because not only they are targeting static networks that member nodes does not move, but also they lacks consideration on the environment that the trusted verifier may not exist. This paper proposes a mutual attestation protocol that is suitable for sensor networks by using SWATT(Software-based ATTestation) technique. In the proposed protocol, sensor nodes periodically notify its membership to neighbor nodes and carry out mutual attestation procedure with neighbor nodes by using SWATT technique. With the proposed protocol, verification device detects the sensor nodes compromised by malicious attacks in the sensor network environments without trusted verifier and the sensor networks can be composed of only the verified nodes.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.481-488
• /
• 2021

The satellite telecommand processing system is the only way to provide telecommands for status monitoring, control, and mission execution. Domestic satellites can be divided into science, technology, and multi-purpose satellites, and geostationary satellites. These Satellites uses CCSDS standard protocol to communicate with ground stations. However, existing domestic satellites use only software to decode telecommands which increases cost of software development and verification of the developed software. Performance of software only approach is relatively low compared to hardware. In this paper, we present ASIC processing system specifically designed to decode telecommands. The system consists of a telecommand RAM, a protocol RAM/ROM, an ASIC, an interface unit of FPGA, and a relay block. The system handles general commands and pulse commands that are used in satellites. We established a ground station equipment and test environment to verify the system functionality, The result shows that our system reduces the development cost by 1/5 and improves the performance by 10⁵ times compared to the previous systems that decode telecommands only by software.

• Journal of Platform Technology
• /
• v.8 no.2
• /
• pp.32-43
• /
• 2020

The Unmanned Aerial Vehicle(UAV) system has been mainly used for military domains, but it also widely applied to used in the civilian domains. In civilian domains, low-cost and small-sized UAV systems are mainly applied in various industries. The software that operates UAV systems has a lot of common functions. However, even though there are many common functionalities of the software, changing the devices may cause a problem requiring software modification. These problems degrade interoperability, modularity and portability in UAV systems. In order to solve the problems, an Open System Architecture(OSA) has been proposed. In this paper, we propose a UAV system software architecture based on Future Airborne Capability Environment(FACE) standard. Our system can support UAV systems of various platforms in the civilian domains, which is supplied in small quantity batch production. And it has the advantages of software consolidation and portability. Finally, We describe the development and conformant methodology of the software based on the FACE standard using open development tools.