• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.022 seconds

Design of On-Chip Debugging System using GNU debugger (GNU 디버거를 이용한 온칩 디버깅 시스템 설계)

  • Park, Hyung-Bae;Ji, Jeong-Hoon;Xu, Jingzhe;Woo, Gyun;Park, Ju-Sung
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.46 no.1
    • /
    • pp.24-38
    • /
    • 2009
  • In this paper, we implement processor debugger based on OCD(On-Chip Debugger). Implemented debugger consist of software debugger that supports a functionality of symbolic debugging, OCD integrated into target processor as a function of debugging, and Interface & Control block which interfaces software debugger and OCD at high speed rates. The debugger supports c/assembly level debugging using software debugger as OCD is integrated into target processor. After OCD block is interfaced with 32bit RISC processor core and then implemented with FPGA, the verification of On-Chip Debugging System is carried out through connecting OCD and Interface & Control block, and SW debugger.

Strategies for Continuous Transactions with Customers for B2B Software Retailers: Case Study (B2B 소프트웨어 유통 중소기업을 위한 고객과의 지속거래 유지 전략: 사례 연구)

  • Choi, Yong-Jun;Kim, Wan-Ki
    • Journal of Distribution Science
    • /
    • v.16 no.12
    • /
    • pp.81-93
    • /
    • 2018
  • Purpose - The purpose of this study was to propose a specific and empirical continuous transaction strategy through service quality of improvement to small and medium Korean companies whose main business is B2B distribution and sale of general-purpose SW. Research design, data, and methodology - The research procedure is largely divided into two phases. In the first phase, the service quality, the customer satisfaction, and the continuous transaction research hypothesis and the verification are carried out. Experimental data were collected from 450 companies, CEO companies of SMEs innovation institutes, and 510 companies from medium and large enterprises. From September 15 to October 5, 2015, 215 questionnaires were used. And research hypothesis and test were conducted by SPSS SW Ver. 20. Results - The results of the study confirm that service quality has a positive effect on customer satisfaction and continuous transaction: as the detailed items for improving the service quality, 'responsiveness', 'assurance' and 'empathy' have been adopted. Therefore, there are critical factors of a company's survival through continuous transaction. Conclusions - Through this study, we confirmed that the survival of small businesses require continuous improvement in service quality. Among the factors improving service quality, empathy means service satisfaction of customers; so, it is necessary to continuously improve it by evaluating customer satisfaction. Responsiveness means rapid response to customer needs and reliability; it is necessary to enhance customer responsiveness by continuous job training and service training. Finally, assurance is the same as sales product or after service. This means that it is necessary to not only issue the "supply contract," but also improve the reliability of the sales product by securing the competence of the consulting professional. However, because the service quality measurement factors selected in this study are the measurement factors that are mainly applied to large companies or those in the service industries, it is important to consider the type of sales of software distribution companies.

Event-Driven Modeling and Simulation Method Applicable to Avionics System Integration Laboratory (항공용 SIL에 적용 가능한 이벤트 기반 모델링 및 시뮬레이션 방법)

  • Shin, Ju-chul;Seo, Min-gi;Cho, Yeon-je;Baek, Gyong-hoon;Kim, Seong-woo
    • Journal of Advanced Navigation Technology
    • /
    • v.24 no.3
    • /
    • pp.184-191
    • /
    • 2020
  • Avionics System Integration Laboratory is the integrated test environment for integration and verification of avionics systems. When real equipment can not be used in the laboratory for various reasons, software models should be needed. Because there hasn't been any standardized method for the models so that it is difficult to reuse the developed models, the need for a framework to develop the avionics software models was emerged. We adopted DEVS(discrete event system specification) formalism as the standardized modeling method for the avionics software models. Due to DEVS formalism is based on event-driven algorithm, it doesn't accord a legacy system which has sequential and periodic algorithms. In this paper, we propose real-time event-driven modeling and simulation method for SIL to overcome these restrictions and to maximize reusability of avionics models through the analysis of the characteristics and the limitations of avionics models.

Hazard Assessment Methodology Based on Target Level of Safety for CNS/ATM System (항행 안전 시스템을 위한 안전 목표 수준 기반 위험 평가 방법론)

  • Lee, Hongseok;Jo, Sanghoon
    • Journal of Advanced Navigation Technology
    • /
    • v.20 no.4
    • /
    • pp.285-291
    • /
    • 2016
  • Safety assessment is an essential activity for developing a system in the CNS/ATM domain. Up to now, there are many reference materials, but there is nothing that definitely specifies what to do and how to apply in the CNS/ATM. Another problem is that software assurance level has to be determined for a software under development. But there is nothing that defines a determination scheme of software assurance level. To solve these problems, this paper proposes a method to conduct a hazard assessment based on target level of safety defined in ICAO Doc 9689. To be applied generally in CNS/ATM domain, it mathematically defines procedures of hazard assessment. And it defines severity classification, probability, and safety objective of a system, which are necessary for hazard assessment, and it describes a method to apply event tree analysis process in order to conduct a hazard assessment.

Implementation and Verification of User Centric Constant Measurement for Pre-management of IPTV Service Quality (IPTV 서비스 품질의 사전 관리를 위한 서비스 이용자 중심의 상시 측정 방안 구현과 검증)

  • Kim, Beom-Joon;Kim, Chin-Chol;Park, Jae-Sung
    • The KIPS Transactions:PartC
    • /
    • v.18C no.1
    • /
    • pp.23-30
    • /
    • 2011
  • Recently internet protocol television (IPTV) service is becoming a typical emerging service enabled on broadband networks. Through the Internet which cannot support quality of service (QoS) beyond best-effort (BE) policy, how to manage and maintain its service quality is an important and essential issue for successful deployment and settlement of IPTV service. In particular, the current measurement scheme that mostly depends on specific equipments should be replaced with one that supports realtime and constant measurement achieved on a user's own will. Therefore, this paper proposes a scheme so-called 'user centric realtime measurement' of IPTV service. The developed software, which is installed in a set-top box (STB) at a user's premise, measures and reports the quality of IPTV service in realtime. In order to verify the performance and accuracy of the developed software, a number of tests are performed comparing to the measurement values from two major measurement equipments. The result of the tests shows that the measurement by the implemented software is significantly reliable.

Systems Engineering Approach to the Heat Transfer Analysis of PLUS 7 Fuel Rod Using ANSYS FEM Code

  • Park, Sang-Jun;Mutembei, Mutegi Peter;Namgung, Ihn
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.13 no.1
    • /
    • pp.33-39
    • /
    • 2017
  • This paper describes the system engineering approach for the heat transfer analysis of plus7 fuel rod for APR1400 using, a commercial software, ANSYS. The fuel rod is composed of fuel pellets, fill gas, end caps, plenum spring and cladding. The heat is transferred from the pellet outward by conduction through the pellet, fill gas and cladding and further by convection from the cladding surface to the coolant in the flow channel. The goal of this paper is to demonstrate the temperature and heat flux change from the fuel centerline to the cladding surface when having maximum fuel centerline temperature at 100% power. This phenomenon is modelled using the ANSYS FEM code and analyzed for steady state temperature distribution across the fuel pellet and clad and the results were compared to the standard values given in APR1400 SSAR. Specifically the applicability of commercial software in the evaluation of nuclear fuel temperature distribution has been accounted. It is note that special codes have been used for fuel rod mechanical analysis which calculates interrelated effects of temperature, pressure, cladding elastic and plastic behavior, fission gas release, and fuel densification and swelling under the time-varying irradiation conditions. To satisfactorily meet this objective we apply system engineering methodologies to formulate the process and allow for verification and validation of the results acquired. The close proximity of the results obtained validated the accuracy of the FEM analysis of the 2D axisymmetric model and 3D model. This result demonstrated the validity of commercial software instead of proprietary in-house code that is more costly to develop and maintain.

Development of Debugging Tasks and Tool for Process-centered Assessment on Software Education (소프트웨어 교육에서 과정중심 평가를 위한 디버깅 과제 및 도구 개발)

  • Lyu, Kigon;Kim, Soohwan
    • The Journal of Korean Association of Computer Education
    • /
    • v.23 no.4
    • /
    • pp.61-68
    • /
    • 2020
  • The purpose of this study is to develop a debugging task to support process-centered assessment on software(SW) education and to develop a service site. Achievement criteria for programming in elementary and middle school SW curriculum consists of control structures such as repetition and condition, and elements such as variables and input/output. In order to apply the process-centered assessment presented by the Ministry of Education, it is necessary to present tasks that can be used in the actual classroom environment and to consider connection with achievement levels. Therefore, in this study, 12 tasks for elementary school and 15 tasks for middle school were developed as debugging tasks and their validity was verified. As a result of conducting Delphi verification for validity, it was found that the level and content of the debugging task are appropriate. In addition, as a result of verifying the usability of the debugging challenge site by applying a heuristic evaluation method, it was found that it is suitable for use in the real educational field.

A Software Framework for Verifying Sensor Network Operations and Sensing Algorithms (센서네트워크 동작 및 센싱 알고리즘 검증을 위한 소프트웨어 프레임워크)

  • Yoo, Seong-Eun
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.17 no.1
    • /
    • pp.63-71
    • /
    • 2012
  • Most of sensor networks are difficult to be debugged, verified, and upgraded once they are deployed in the fields, for they are usually deployed in real world and large scale. Therefore, before deploying the sensor networks, we should test and verify them sufficiently in realistic testbeds. However, since we need to control physical environments which interact with sensor networks, it takes much of time and cost to test and verify sensor networks at the level of resource-constrained sensor nodes in such environments. This paper proposes an efficient software framework for evaluating and verifying sensor networks in the view points of network and application operations (i.e., accuracy of sensing algorithms). Applying the proposed software framework to the development of a simulator for a smart parking application based on wireless sensor network, this paper verifies the feasibility of the proposed framework.

Arduino hardware and Android ADK software combination (아두이노 하드웨어와 안드로이드 ADK 소프트웨어의 결합)

  • Lee, Sung-jin;Choi, Chul-kil;Lee, Kyung-mu;Choi, Byeong-yoon
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2013.05a
    • /
    • pp.336-339
    • /
    • 2013
  • Arduino is for design based on open source prototyping platform, artist, designer, hobby activists, etc, i has been designed for all those who are interested in the environment construct. Arduino adventage you can easily create applications hardware, without deep knowledge about the hardware. Configuration of arduino using AVR microcontroller ATmage 168, software to action arduino using arduino program, MATLAB, Processing. Arduino is open source base, you can hardware production directly and using shield additionally, the arduino can be combined. Android AKD is open source. You can create android smart phone application. By the way compatible and can be used android ADK add arduino Manifast. Using arduino program, arduino bread-board design on hardware., create button click, connection with each other. In this paper, sortware was used for arduino program and android ADK, hardware was used for arduino MegaADK board, After making one accessory using the software and hardware verification.

  • PDF

An Empirical Study on Tracking Table for Consistency and Completeness Validation in the Outputs (산출물의 일관성과 완전성 검증을 위한 추적테이블의 경험적 연구)

  • Kim, Ju-Young;Rhew, Sung-Yul
    • Journal of KIISE:Software and Applications
    • /
    • v.34 no.5
    • /
    • pp.419-430
    • /
    • 2007
  • It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.