• Journal of Software Assessment and Valuation
• /
• v.13 no.1
• /
• pp.15-21
• /
• 2017

Analyzing a software package which is consisted of big numbers of files takes enormous costs and time. Therefore, SPDX (Software Package Data Exchange) working group collaborate with Linux Foundation published a software information(metadata) specification: SPDX. On the first half of 2017, the specification contains seven chapters and 66 items, according to Ver 2.1 of SPDX spec. It prefers Tag/Value or RDF forms but also supports spreadsheet form. In this paper, we introduce SPDX parsing & validation tools to check the validity of SPDX document. We'll develop SPDX document generator to manage software package more efficiently for our next target.

• Journal of Cadastre & Land InformatiX
• /
• v.44 no.1
• /
• pp.165-177
• /
• 2014

The KML verification tool supports people who want to produce the highest quality KML file. In other words, it validate that a given KML document is well-formed with respect to XML standard meaning, and conform not only to the KML schema and the specification. Then it's only to notify error code line. People who want to use the KML file written by others would like to know both whether the validity of that file and general summary of feature's location, shape, and number. In this study, we recommended the user-friendly KML validator using OpenLayers and reporting geometries and images of the KML file.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.161-172
• /
• 2000

In this paper, we introduce the development of a LOTOS-based tool, supporting formal methods, called ForTIA (A Formalism for Telecommunication and Information Systems). By using LOTOS, an ISO standard formal specification language, the user requirements and system models can be abstracted and represented formally. Therefore, the system can be validated and verified on the specifications, before implementations. ForTIA supports light-weight formal methods based on validation to be used in real industry. Key functions of ForTIA are simulation and C++ code generation. In simulation, tree based visual validation mechanism is provided and in code generation, the full C++ source code is generated to be used for system implementations.

• Nuclear Engineering and Technology
• /
• v.37 no.2
• /
• pp.139-150
• /
• 2005

A robust control design procedure for a nuclear reactor has been developed and experimentally validated on the Penn State TRIGA research reactor. The utilization of the robust controller as a component of an autonomous control system is also demonstrated. Two methods of specifying a low order (fourth-order) nominal-plant model for a robust control design were evaluated: 1) by approximation based on the 'physics' of the process and 2) by an optimal Hankel approximation of a higher order plant model. The uncertainty between the nominal plant models and the higher order plant model is supplied as a specification to the ,u-synthesis robust control design procedure. Two methods of quantifying uncertainty were evaluated: 1) a combination of additive and multiplicative uncertainty and 2) multiplicative uncertainty alone. The conclusions are that the optimal Hankel approximation and a combination of additive and multiplicative uncertainty are the best approach to design robust control for this application. The results from nonlinear simulation testing and the physical experiments are consistent and thus help to confirm the correctness of the robust control design procedures and conclusions.

• ETRI Journal
• /
• v.24 no.1
• /
• pp.12-22
• /
• 2002

A Mobile IP allows IP hosts to move between different networks without changing their IP addresses. Mobile IP systems supporting local registration were introduced to reduce the number of times a home registration with the remotely located home agent was needed. The local registration Mobile IP scheme enhanced performance by processing registration requests of mobile nodes at a local agent. The local registration approach may affect other aspects of the Mobile IP systems such as fault tolerance. In this paper, we briefly review previous solutions for supporting fault tolerance in local registration Mobile IP systems and propose a fault tolerance protocol with a backup foreign agent in a hierarchical local registration mobile IP to enhance the efficiency of such systems against foreign agent failures. We also describe the specification of the proposed protocol using LOTOS and perform its validation using MiniLite. Finally, we analyze the performance of our proposed fault tolerance protocol through simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.706-708
• /
• 2004

일반적인 무선 통신망은 데이터 전송 고속화에 중심을 두고 발전해 왔으나, 최근 무선 센서 네트워크와 같은 응용 분야에서 소량의 데이터와 낮은 처리 속도를 지원하면서 저비용, 경량, 저전력을 요구하는 무선 통신 기술이 필요하게 됨에 따라 IEEE에서 LR-WPAN(Low Rate-Wireless Personal Area Network)을 위한 새로운 IEEE 802.15.4 표준이 제시되었다. 현재 무선 센서 네트워크에 관한 연구는 소형 경량의 MAC(Medium Access Control ) 프로토콜 개발이 핵심 기술로 인식되면서, 저전력 소모를 위한 라우팅 기법, MAC 프로토콜의 패킷처리 기술 등이 우선적으로 진행 중이다. 그러나 무선 센서 네트워크와 같은 응용분야에 사용 가능한 표준인 IEEE 802.15.4 MAC 프로토콜의 실질적인 상용화를 위해서는 표준안 분석 및 검증 과정이 기본적으로 선행되어야 한다. 본 논문에서는 IEEE 802.15.4 표준안의 핵심인 MAC 프로토콜을 정형화된 명세 언어인 SDL(Specification and Description Language)를 이용하며 상세 설계 및 분석 후, 자동화 도구를 이용한 모의수행을 통하여 검증하였으며 표준안과의 비교 및 오류 수정을 거친 연구결과를 기술한다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2007.05a
• /
• pp.157-160
• /
• 2007

The dynamic behavior of a steel bridge crossed by the Korean High Speed Train(KHST) has been investigated experimentally and numerically. The bridge is a 2-girder simply supported steel bridge which has 40m of span length. A set of experimental tests were performed during operation of KHST, and 13 accelerometers and 6 LVDTs were utilized for measurement of dynamic responses. Numerical analyses considering bridge-structure interaction were performed for validation of experimental results. Since structural type and dynamic characteristics of the bridge differ from those of the representative concrete box bridge, dynamic behavior of the concerning steel bridge shows differences, but dynamic performances are all satisfying specification requirements.

• Journal of Applied Reliability
• /
• v.16 no.3
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• Journal of information and communication convergence engineering
• /
• v.6 no.1
• /
• pp.59-63
• /
• 2008

The methods or algorithms which can accelerate simulation speed became of great importance, as the modeling and simulation methodology for discrete event systems is used in many areas such as model validation/verification and performance evaluation. This paper proposes a tool named, DEVSIF composer. The tool is made of an automated compiled simulation technology and it builds a new composed model which can be executed much fast by composing the component models together. Models are described by our new specification language DEVSIF, which is compatible with object-oriented language and supports representation of a hierarchical model structure. Experimental results demonstrates that DEVSIF composer enhances the simulation speed of a transformed DEVS model 5 times faster than that of the original ones in average.

• KIEAE Journal
• /
• v.3 no.1
• /
• pp.21-29
• /
• 2003

Scale model measurements should be conducted under an actual sky or in a simulated sky where conditions can be held constant. A number of successful attempts have been made to develop artificial sky domes with man-made sun emulators. With reference to formerly-developed examples, sky simulator facility has recently been activated in oder to provide desirable sky conditions for teaching and studies. The structure is a 6m-diameter dome and promises to set various condition for energy related and lighting research activities. The sky dome is also equipped a heliodon, the tilt table, to facilitate additive direct sun impact under clear skies. Shading studies, using scale models with the heliodon, reveal how a building's design blocks or permits light's passage to the interior; solar access studies, and tests of the reflection and transmittance characteristics of new daylighting technologies. The design and construction specification and the initial operating experience with a building configuration are reported.