• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.283-286
• /
• 2010

안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.

• Electronics and Telecommunications Trends
• /
• v.16 no.5 s.71
• /
• pp.1-11
• /
• 2001

본 논문은 대형 ATM 스위칭 시스템인 HANbit ACE2000 시스템의 소프트웨어를 개발하고 시스템 개발 시 필요한 각종 소프트웨어 컴포넌트들을 효율적으로 개발 및 등록, 관리하기 위해 도입된 미들웨어와 객체지향 설계 개념을 이용한 UML을 적용하여 프로그램의 에러를 줄이고 개발자와 관리자간의 규약에 의한 체계적인 종합개발 및 관리 방안에 대한 특성과 각 기능에 대해 살펴본다. 또 이것을 활용하여 ACE2000 시스템에서 개발, 등록 관리되고 있는 소프트웨어에 대해 소개함으로써 대형 시스템 개발에 유용하게 이용되도록 한다. 특히, 대형 시스템 개발에 적용된 개발체계 및 개발환경을 언급함으로써 유사 프로젝트 수행 시 추가 개선사항이나 개발환경 개선에 참고가 되도록 하였다.

• Journal of Software Engineering Society
• /
• v.28 no.1
• /
• pp.13-22
• /
• 2019

To enhance effective and efficient applications of automated security vulnerability checkers in highly competitive and fast-evolving IT industry, this paper studies a comprehensive set of security bug checkers in open-source static analysis frameworks and how they can be utilized for source code inspections according to the security vulnerability inspection guidelines by MOIS. This paper clarifies the relationship be tween all 42 inspection criteria in the MOIS guideline and total 323 security bug checkers in 4 popular open-source static analysis frameworks for Java web applications. Based on the result, this paper also discuss the current challenges and issues in the MOIS guideline, the comparison among the four security bug checker frameworks, and also the ideas to improve the security inspection methodologies using the MOIS guideline and open-source static security bug checkers.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.11
• /
• pp.1697-1706
• /
• 2013

Protocol analyzer is being used to analyze proper processing of CMD & data when developing SD slave IP. In this thesis, a protocol analyzer was developed for analyzing SD protocol in Windows environment using Visual C++. SD protocol analyzer consists of embedded Linux software for storing SD memory data and MFC program for analyzing this. As for protocol analysis, it has been designed to collect data transmitted from SD memory card to host by Linux software for its analysis by MFC. It was found through the experiment that the CMD type could be confirmed that occurs when reading and writing data to SD memory card using the developed board, and debugging the problems that occur was possible.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.40 no.2
• /
• pp.26-37
• /
• 2003

An optimal software release, which is related to the development cost, error detection and correction under the various operation systems, is a critical factor for managing project. This paper described optimal software release issues to predict the release time of large switching system with the system stability point of view and evaluated a timely supply of target system, proper utilization of resources under the software reliability valuation basis. Finally, Using initial failure data, based on the exponential reliability growth model methodology, optimal release time, and analysis of failure data during the system testing and managing methodologies were presented.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.41 no.8
• /
• pp.69-78
• /
• 2004

In this paper, we estimated the exact software defect density to build up a suitable model that is closely related to the size of module in the probability model proposed by MD (Malaiya and Denton). To put it concretely, we predict that the software defect density using some practical data sets that are the outcomes from the system test performed our three projects for the types of distribution (exponential and geometric), per a unit of module, and the size of source line that have been recommended by KLOC(kilo-line-of-code). Then, we make comparison between our proposed defect density model and those examined real data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.7-9
• /
• 2002

인터넷의 급속한 확산에 따라 각종 전자제품과 통신 장비의 보급이 가속화되면서 현재의 인터넷 주소체계로는 적절한 대응이 어려워졌고, 이러한 상황에서 IETF 가 인터넷 공유 기술을 공인하였다. 또한, 개인용 컴퓨터의 교체 주기도 점점 짧아지고 있다. 본 논문에서는 하나의 공인 IP 주소를 이용하여 다수의 단말 사용자들이 인터넷 서비스를 이용할 수 있도록 하는 인터넷 공유기를 개발하였다. 자원의 재활용을 위해 교체 후 방치되는 구형PC 의 보드를 이용하여 개발된 인터넷 공유기는 개인이나 소규모 사무실에서 활용가치가 있을 것이다. 또한, 개발된 인터넷 공유기와 함께 사용자들이 손쉽게 인터넷 공유기를 제작할 수 있도록 하는 인터넷 공유기 유틸리티와 인터넷 공유기 소프트웨어도 함께 구현하였다.

• ETRI Journal
• /
• v.7 no.4
• /
• pp.31-36
• /
• 1985

R2 신호 방식은 전자 교환국간에 사용되는 신호 방식으로서 종래의 decadic신호 방식에 비해 signalling속도, 신호전송 신뢰도, 전송 정보의 양에 있어서 큰 장점을 갖는다. 본고에서는 당 연구소에서 개발한 전전자 교환기 TDX-1 에 실현된 R2 신호 방식의 포로세서간 처리구조 및 소프트웨어에 대해서 기술하였다. 또한 현장 운용시 다른 교환국과의 신호 정합에서 발생된 몇가지 문제점 및 해결방안을 제시하였다.

• Proceedings of the KIPE Conference
• /
• 2001.07a
• /
• pp.646-649
• /
• 2001

전기자동차의 추진시스템의 경우 차량의 종류에 따라 제어기 변수의 변동이 많은 것이 특징이다. 따라서 다양한 차량의 종류에 대해 소스프로그램의 수정 없이 차량 시스템 튜닝작업이 용이하도록 제어프로그램을 구현하는 것이 중요하며 이런 목적에 맞는 제어파라미터의 선정이 중요하게 된다. 또한 전기자동차는 승객의 안전과 직결되기 때문에 시스템 fault 처리에 대한 중요성이 높다. 본 논문에서는 전기 자동차 추진시스템의 제어기의 소프트웨어 구현에 대해 논한다.

• Journal of Biomedical Engineering Research
• /
• v.43 no.1
• /
• pp.11-18
• /
• 2022

An electromagnetic generator with variable stimulation parameters is required to conduct basic research on magnetic flux density and frequency for pulsed electromagnetic fields (PEMFs). In this study, we design an electromagnetic generator that can conduct basic research by providing parameters optimized for cell and animal experimental conditions through adjustable stimulation parameters. The magnetic core was selected as a solenoid capable of uniform and stable electromagnetic stimulation. The solenoid was designed in consideration of the experimental mouse and cell culture dish insertion. A voltage and current adjustable power supply for variable magnetic flux density was designed. The system was designed to be adjustable in frequency and pulse width and to enable 3-channel output. The reliability of the system and solenoid was evaluated through magnetic flux density, frequency, and pulse width measurements. The measured magnetic flux density was expressed as an image and qualitatively observed. Based on the acquired image, the stimulation area according to the magnetic flux density decrease rate was extracted. The PEMF frequency and pulse width error rates were presented as mean ± SD, and were confirmed to be 0.0928 ± 0.0934% and 0.529 ± 0.527%, respectively. The magnetic flux density decreased as the distance from the center of the solenoid increased, and decreased sharply from 60 mm or more. The length of the magnetic stimulation area according to the degree of magnetic flux density decrease was obtained through the magnetic flux density image. A PEMF generator and stimulation parameter control system suitable for cell and animal models were designed, and system reliability was evaluated.