• Title/Summary/Keyword: Software V&V

Search Result 731, Processing Time 0.022 seconds

A Domain Analysis Method for Saftware Product Lines Based an Goals, Scenarios, and Features (소프트웨어 프로덕트 라인을 위한 목표, 시나리오, 휘처 기반의 도메인 분석 방안)

  • Kim Min-Seong;Park Soo-Yong
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.7
    • /
    • pp.589-604
    • /
    • 2006
  • Software product lines (SPL) are recently an emerging software reuse paradigm, which helps organizations develop their products from reusable core assets rather than from scratch. For developing these assets, understanding commonality and variability (C&V) is essential. A feature-oriented approach has been used extensively for C&V analysis in the SPL. However, this contains no proposal to systematically identify features and provide the rationale for the features. Further, the approach does not directly show how the results of C&V analysis will satisfy an organization's high-level business goals and provide the rationale for the C&V. Therefore, this paper presents a domain analysis method for the SPL based on goals, scenarios, and features in order to overcome some of the deficiencies and limitations of the feature-oriented approach. In particular, the paper proposes a domain requirements model (DRM) and a domain requirements modeling method based on the DRM. This method has been applied to the home integration system (HIS) domain to demonstrate its feasibility with a supporting tool, namely IDEAS. Our approach makes it possible to systematically identify the features and provide the rationale for both the features and the C&V.

Operation and Performance Analysis of New Bidirectional Intelligent Semiconductor Transformer (새로운 양방향 지능형 반도체 변압기의 동작과 성능 분석)

  • Kim, Do-Hyun;Lee, Byung-Kwon;Han, Byung-Moon;Lee, Jun-Young;Choi, Nam-Sup
    • The Transactions of the Korean Institute of Power Electronics
    • /
    • v.18 no.2
    • /
    • pp.169-177
    • /
    • 2013
  • This paper proposes a new configuration of bidirectional intelligent semiconductor transformer with rating of 1.9kV/127V, 2kVA. The proposed transformer consists of high-voltage high-frequency AC-DC rectifier, and low-voltage DC-DC and DC-AC converters. The operational feasibility of proposed transformer was verified by computer simulation with PSCAD/EMTDC software. Based on the simulation results, a hardware prototype with rating of 1.9kV/127V, 2kVA was built and tested in the lab to confirm the feasibility of hardware implementation. Using three units of this transformer, a 3-phase transformer with rating of 3.3kV/220V, 6kVA can be built.

Analysis of Chaotic True Random Number Generator Using 0.18um CMOS Process (0.18um CMOS 공정을 사용한 카오스 난수 발생기 분석)

  • Jung, Ye-Chan;Jayawickra, Chamindra;Al-Shidaifat, AlaaDdin;Lee, Song-Wook;Kahrama, Nihan;Song, Han-Jung
    • Journal of the Korean Society of Industry Convergence
    • /
    • v.24 no.5
    • /
    • pp.635-639
    • /
    • 2021
  • As times goes by, a ton of electric devices have been developing. Nowadays, there are many personal electric goods that are connected each other and have important private information such as identification, account number, passwords, and so on. As many people own at least one electric device, security of the electric devices became significant. To prevent leakage of the information, study of Chaotic TRNG, "Chaotic True Random Number Generator", protecting the information by generating random numbers that are not able to be expected, is essential. In this paper, A chaotic TRNG is introduced is simulated. The proposed Chaotic TRNG is simulated with Virtuoso &, a circuit design program of Cadence that is a software company. For simulating the mentioned Chaotic TRNG, setting values, 0V low and 3V high on Vpulse, 1.2V on V-ref, 3.3V on VDD, and 0V on VSS, are used.

Product Nutrition Information System for Visually Impaired People (시각 장애인을 위한 상품 영양 정보 안내 시스템)

  • Jonguk Jung;Je-Kyung Lee;Hyori Kim;Yoosoo Oh
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.18 no.5
    • /
    • pp.233-240
    • /
    • 2023
  • Nutrition information about food is written on the label paper, which is very inconvenient for visually impaired people to recognize. In order to solve the inconvenience of visually impaired people with nutritional information recognition, this paper proposes a product nutrition information guide system for visually impaired people. In the proposed system, user's image data input through UI, and object recognition is carried out through YOLO v5. The proposed system is a system that provides voice guidance on the names and nutrition information of recognized products. This paper constructs a new dataset that augments the 319 classes of canned/late-night snack product image data using rotate matrix techniques, pepper noise, and salt noise techniques. The proposed system compared and analyzed the performance of YOLO v5n, YOLO v5m, and YOLO v5l models through hyperparameter tuning and learned the dataset built with YOLO v5n models. This paper compares and analyzes the performance of the proposed system with that of previous studies.

AP-SDN: Action Program enabled Software-Defined Networking Architecture

  • Zheng Zhao;Xiaoya Fan;Xin Xie;Qian Mao;Qi Zhao
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.17 no.7
    • /
    • pp.1894-1915
    • /
    • 2023
  • Software-Defined Networking (SDN) offers several advantages in dynamic routing, flexible programmable control and custom application-driven network management. However, the programmability of the data plane in traditional SDN is limited. A network operator cannot change the ability of the data plane and perform complex packet processing on the data plane, which limits the flexibility and extendibility of SDN. In the paper, AP-SDN (Action Program enabled Software-Defined Networking) architecture is proposed, which extends the action set of SDN data plane. In the proposed architecture, a modified Open vSwitch is utilized in the data plane allowing the execution of action programs at runtime, thus enabling complex packet processing. An example action program is also implemented which transparently encrypts traffic for terminals. At last, a prototype system of AP-SDN is developed and experiments show its effectiveness and performance.

Implementation and Performance Evaluation of a Point Cloud-based Volumetric Video Player (포인트 클라우드 기반의 볼류메트릭 비디오 플레이어 구현 및 성능평가)

  • Kim, A-Young;An, Eun-Bin;Seo, Kwang-Deok
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 2022.06a
    • /
    • pp.1245-1248
    • /
    • 2022
  • 본 논문에서는 사용자가 보다 간편하게 볼류메트릭 비디오를 소비할 수 있도록 볼류메트릭 비디오 기본 플레이어를 구현하고, 구현한 플레이어에 대하여 성능평가를 진행한다. 본 논문에서 구현한 볼류메트릭 비디오 플레이어는 Draco 와 V-PCC 를 복호화기로 지원하며, 압축 전의 포인트 클라우드 데이터와 Draco 와 V-PCC 로 압축한 비트스트림에 대하여 성능 평가를 진행하였다. 플레이어의 성능을 평가한 결과를 통해 초기 충분한 량의 프레임을 버퍼에 확보할 만큼의 초기 지연시간을 설정하지 않는 이상, 볼류메트릭 비디오를 30fps 이상으로 소비하기에는 어려움이 있음을 확인하였다. 이를 토대로 현재 볼류메트릭 비디오 재생을 위한 기술적 한계를 살펴보고, 볼류메트릭 비디오 플레이어의 성능 향상을 위한 향후 연구개발 방향에 대하여 논의한다.

  • 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.

A Study of Enhanced Test Maturity Model with Test Process Improvement (테스트 프로세스 개선모델을 통한 테스트 성숙도 모델 (Test Maturity Model) 확장에 관한 연구)

  • Kim, Ki-Du;Kim, Young-Chul
    • The KIPS Transactions:PartD
    • /
    • v.14D no.1 s.111
    • /
    • pp.57-66
    • /
    • 2007
  • Organizations of Software development are very important issue on enhancement of a software quality as rapid progress of software industry. Especially there are diverse attempts for enhancement of test maturity of the software organization through some kinds of the test maturity model. But the current test maturity models based on CMM(Capability Maturity Model) lack part of actual testing measurement and only measure level of test maturity. To solve these problems, we suggest 'double V-model' to execute both software development process and test process simultaneously, and also 'test attributes to Maturity Levels Correlation Matrix' for evaluating level of test maturity included with definitions of test attribute and level. That is, we enhance TMM(Test Maturity Model) adopted with 'Improvement Suggestion' of TPI(Test Process Improvement) which is easy the evaluation of test maturity of organization and gives the direction of improvement to level up the test maturity for the measured organization. As a result, we will contribute to level up the test maturity of the organization.

Construction of On-line Partial Discharge Monitoring System for 380kV XLPE Cable in Saudi Arabia (사우디아라비아 380kV XLPE Cable의 신뢰성 확보를 위한 온라인 부분방전 모니터링 시스템 구축)

  • Seo, In-Jin;Lee, Jeon-Seon;Kim, Han-Joong;Kim, Jong-Cheol;Kim, Jung-Yoon;Lee, Hyun-Sun
    • Proceedings of the KIEE Conference
    • /
    • 2008.10a
    • /
    • pp.95-96
    • /
    • 2008
  • We constructed an on-line PD monitoring system for the 380kV U/G Cable project at the Riyad 9012 substation in Saudi-arabia. The system will be monitoring the termination of the two 380kV XLPE Cables to prevent unexpected failure of the cable insulation. The system had been tested in the laboratory and on-site for detection of various PD signals and reliability of operation. The system distinguish the existence and nonexistence of the partial discharge and then judge the source of partial discharge using automatic PD pattern recognition software.

  • PDF

PLC Real Time OS Verification & Validation in Formal Methods (정형기법을 이용한 PLC RTOS 검증)

  • Choi, Chang-Ho;Song, Seung-Hwan;Yun, Dong-Hwa;Hwang, Sung-Jae
    • Proceedings of the KIEE Conference
    • /
    • 2005.07d
    • /
    • pp.2489-2491
    • /
    • 2005
  • Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

  • PDF