• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.031 seconds

Development of Processor Real-Time Monitoring Software for Drone Flight Control Computer Based on NUTTX (NUTTX 기반 드론 비행조종컴퓨터의 통합시험을 위한 프로세서 모니터링 연구)

  • Choi Jinwon
    • Journal of Platform Technology
    • /
    • v.10 no.4
    • /
    • pp.62-69
    • /
    • 2022
  • Flight control systems installed on unmanned aircraft require thorough verification from the design stage. This verification is made through the integrated flight control test environment. Typically, a debugger is used to monitor the internal state of a flight control computer in real time. Emulator with a real-time memory monitor and trace is relatively expensive. The JTAG Emulator is unable to operate in real time and has limitations that cannot be caught up with the processing speed of latest high-speed processors. In this paper, we describe the results of the development of internal monitoring software for drone flight control computer processors based on NUTTX/PIXHAWK. The results of this study show that the functions provided compared to commercial debugger are limited, but it can be sufficiently used to verify the flight control system using this system under limited budget.

Determinants Affecting Organizational Open Source Software Switch and the Moderating Effects of Managers' Willingness to Secure SW Competitiveness (조직의 오픈소스 소프트웨어 전환에 영향을 미치는 요인과 관리자의 SW 경쟁력 확보의지의 조절효과)

  • Sanghyun Kim;Hyunsun Park
    • Information Systems Review
    • /
    • v.21 no.4
    • /
    • pp.99-123
    • /
    • 2019
  • The software industry is a high value-added industry in the knowledge information age, and its importance is growing as it not only plays a key role in knowledge creation and utilization, but also secures global competitiveness. Among various SW available in today's business environment, Open Source Software(OSS) is rapidly expanding its activity area by not only leading software development, but also integrating with new information technology. Therefore, the purpose of this research is to empirically examine and analyze the effect of factors on the switching behavior to OSS. To accomplish the study's purpose, we suggest the research model based on "Push-Pull-Mooring" framework. This study empirically examines the two categories of antecedents for switching behavior toward OSS. The survey was conducted to employees at various firms that already switched OSS. A total of 268 responses were collected and analyzed by using the structural equational modeling. The results of this study are as follows; first, continuous maintenance cost, vender dependency, functional indifference, and SW resource inefficiency are significantly related to switch to OSS. Second, network-oriented support, testability and strategic flexibility are significantly related to switch to OSS. Finally, the results show that willingness to secures SW competitiveness has a moderating effect on the relationships between push factors and pull factor with exception of improved knowledge, and switch to OSS. The results of this study will contribute to fields related to OSS both theoretically and practically.

A Method to Elicit Privacy Requirements and Build Privacy Assurance Cases for Privacy Friendly System (프라이버시 친화 시스템 개발을 위한 프라이버시 요구사항 도출 및 보증 사례 작성)

  • Cho, Ju Hye;Lee, Seok-Won
    • Journal of KIISE
    • /
    • v.44 no.9
    • /
    • pp.918-931
    • /
    • 2017
  • Recently, the spread of smartphones and various wearable devices has led to increases in the accumulation and usage of personal information. As a result, privacy protection has become an issue. Even though there have been studies and efforts to improve legal and technological security measures for protecting privacy, personal information leakage accidents still occur. Rather than privacy requirements, analysts mostly focus on the implementation of security technology within software development. Previous studies of security requirements strongly focused on supplementing the basic principles and laws for privacy protection and securing privacy requirements without understanding the relationship between privacy and security. As a result, personal information infringement occurs continuously despite the development of security technologies and the revision of the Personal Information Protection Act. Therefore, we need a method for eliciting privacy requirements based on related privacy protection laws that are applicable to software development. We also should clearly specify the relationship between privacy and security. This study aims to elicit privacy requirements and create privacy assurances cases for Privacy Friendly System development.

Design and Implementation of Simulator of Launch Control System (발사관제시스템 시뮬레이터의 설계 및 구현)

  • An, Jae-Chel;Moon, Kyung-Rok;Oh, Il-Seok
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.44 no.8
    • /
    • pp.657-665
    • /
    • 2016
  • Launch Control System(LCS) performs the pre-launch preparation and launch operation during launch campaign. The successful launch operation is basically influenced by hardware and software of LCS. Especially, a trivial errors in control algorithm can cause critical problem or disaster in launch operation. Therefore, the hidden or implicit errors should be distinguished and eliminated by the verification test in advance. In this paper, the design and implementation of hardware and software simulator which have already been used in LCS verification will be introduced. By presenting the detailed design and flowchart-based algorithms, we make other similar systems adopt the implementation philosophies of this paper. Especially, this paper emphasizes that all the simulation algorithms work on the self-controller in LCS without using separated computer or PLC.

An Implementation of a GPS Signal Generator based on FPGA and Indoor Positioning System (FPGA를 기반으로 한 GPS 신호생성기 구현 및 실내측위 시스템)

  • Choi, Jun-hyeok;Kim, Young-Geun;Ahn, Myung-Soo
    • Journal of Satellite, Information and Communications
    • /
    • v.10 no.3
    • /
    • pp.38-43
    • /
    • 2015
  • This paper describes a GPS signal generator that can generate multiple satellite signals in real time at the RF level. It realizes the verified software algorithm on a FPGA. The algorithm models orbits and environmental errors such as ionospheric and tropospheric multipath. The position of a simulated receiver is one of simulation parameters. The hardware which consists of a digital logic board and an analog board can generate 16 simulated satellites signals at the same time. The users can generate spoofing signals and jamming signals as well as satellite signals by using the windows-based control software. In addition, the software provides GIS-based simulation scenarios editing tools. We verified the generator by using commercial receivers. As an application, we configured generators as indoor positioning systems and tested them in a building. To improve the accuracy of indoor systems is our further study.

Flight Safety Improvement on Surion through Circuit Design and Software Reformation of Data Acquisition Unit (수리온 데이터획득/처리장치 동작회로 및 소프트웨어 개선을 통한 비행안전성 향상)

  • Jun, Byung-kyu;Jeong, Sang-gyu;Kim, Young-mok;Chang, In-ki
    • Journal of Advanced Navigation Technology
    • /
    • v.19 no.5
    • /
    • pp.370-378
    • /
    • 2015
  • The data acquisition unit, signal acquiring and processing equipment, processes and provides major data of an aircraft such as engine system, power train system, hydraulic system, etc. However, it had lots of failure related to the system during production test flight, and it is necessary to fix them perfectly as soon as possible because of the significance of the equipment. In this paper, it contains failure classification and analysis for each defect element to improve whole software as well as electrical circuit. Particularly, utilizing Fault Injection Method based interworking test, more efficient improvement activity was performed for not only equipment level but also aircraft level, and as a result, it is achieved that considerable betterment of Surion quality and flight safety.

A Study on the Implementation and Performance Analysis of Software Based GPS L1 and Galileo E1/E5a Signal Processing (소프트웨어 기반의 GPS L1 및 갈릴레오 E1/E5a 신호 처리 구현 및 성능에 관한 연구)

  • Sin, Cheon-Sig;Lee, Sang-Uk;Yoon, Dong-Won;Kim, Jae-Hoon
    • Journal of Advanced Navigation Technology
    • /
    • v.13 no.3
    • /
    • pp.319-326
    • /
    • 2009
  • In this paper, the key technologies of Navigation receiver for GNSS sensor station are presented as a development result of a GNSS ground station in ETRI. A wide-band antenna and RF/IF components and SW signal processing unit to cover the GPS and Galileo signals for GNSS receiver are developed and its performance is verified by using GPS live signal and GNSS RF signal simulator from SpirentTM. We also gather GIOVE-A signal by using H/W antenna and RF/IF units in IF-level as sampling frequency and bit number, 112MHz and 8bits, respectively by using the developed wide-band antenna and RF/IF components. Data acquisition is done by using commercial data acquisition device from National Instrument TM. The gathered data is fed into SW receiver to process Galileo E1 to verify Galileo signal processing by Galileo live signal from GIOVE-A.

  • PDF

A Study of Influence Factors that effect on Consumer Fatigue in the Adoption of Convergence Products (컨버전스 제품 수용에 있어 소비자의 기능적 피로에 영향을 미치는 요인에 대한 연구)

  • Kim, Moon-Tae
    • Management & Information Systems Review
    • /
    • v.32 no.2
    • /
    • pp.83-106
    • /
    • 2013
  • This study testified the influence factors like quantities of advertising, number of hardware and software that are converged, effect on feature fatigue of convergence product. When consumers perceive higher numbers of hardwares in a smart phone, they feel its higher usefulness and complexity. This means that numbers of hardwares is the major factor that enhances consumer's usefulness but, at the same time, it cause perceived leads to higher usefulness in using smart phone, it didn't effect on complexities. It is also important strategy for smart phone companies to provide a lot of useful softwares(applications) to satisfy consumers. Finally, complexity was important factor that lead to higher feature fatigue of consumers. This indicates that smart phone companies have to find adequate numbers of convergence for their new smart phone.

  • PDF

A Study on the PKI based Technology for Internet Banking Service in the Open Software Environment (공개 소프트웨어 환경에서의 인터넷 뱅킹 서비스를 위한 PKI 기반 기술에 대한 연구)

  • Han, Myung-Mook;Lee, Chul-Soo
    • Convergence Security Journal
    • /
    • v.6 no.2
    • /
    • pp.13-20
    • /
    • 2006
  • Since the domestic internet banking environment has established for Microsoft Internet Explorer (IE), the internet banking service is not able to use in the open operating system and web browser such as linux and freeBSD. To solve the :problem, we develop the digital signature system used the seed for the digital payment system in the open software environment. Because the domestic internet banking performs the certificate and digital signature verification through official certificate that the official certificate authority issues, we analyze and develop the verification of validity system for the official certificate. Since the virtual internet banking environment is already established in the web server developing under the self-abilities, the basic internet banking service can be performed installing the certificate in the client which has the mozilla porting the seed. Finally, we can confirm that the certificate and digital signature are performed normally through the experiment.

  • PDF

Development of a Decompiler for Verification and Analysis of an Intermediate Code in ANSI C Compiler (ANSI C 컴파일러에서 중간코드의 검증과 분석을 위한 역컴파일러의 개발)

  • Kim, Young-Keun;Kwon, Hyeok-Ku;Lee, Yang-Sun
    • Journal of Korea Multimedia Society
    • /
    • v.10 no.3
    • /
    • pp.411-419
    • /
    • 2007
  • Mounted on mobile device, set-top box, or digital TV, EVM is a virtual machine solution that can download and execute dynamic application programs. And the SIL(Standard Intermediate Language) is intermediate language of the EVM, which has a set of opcodes for object-oriented language and a sequential language. Since the C compiler used on each platform depends on the hardware, it converts C program to objective code, and then executes. To solve this problem, our research team developed ANSI C compiler and the EVM. Our ANSI C compiler outputs the SIL code based on stack machine. This paper presents the SIL-to-C decompiler in which converts the SIL code to three address code. Thus, the decompiler allows us to verify SIL code created by ANSI C compiler, and analyze a program from C language source level.

  • PDF