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

Search Result 2,336, Processing Time 0.03 seconds

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.

Using Artificial Neural Network for Software Development Efforts Estimation on (인공신경망을 이용한 소프트웨어 개발공수 예측모델에 관한 연구)

  • Jeon, Eung-Seop
    • The Transactions of the Korea Information Processing Society
    • /
    • v.3 no.1
    • /
    • pp.211-224
    • /
    • 1996
  • In the research area of estimation of the software development efforts, a number of researches have been accomplished in order to control the costs and to make software more competitive. However, most of them were restricted to the functional algorithm models or the statistic models. Moreover, since they are dealing with the cases of foreign countries, the results are hard to apply directly to the domestic environment for the efficient project management because of lack of accuracy, fitness, flexibility and portability. Therefore, it is appropriate to suggest and propose a new approach supported by artificial neural network which is composed of back propagation and feel-forward algorithms to improve the exactness of the efforts estimation and to advance practical uses. In this study, the artificial neural network approach is used to model the software cost estimation and the results are compared with the revised COCOMO and the multiregression model in order to validate the superiority of the model.

  • PDF

Cloudboard: A Cloud-Based Knowledge Sharing and Control System (클라우드보드: 클라우드 기반 지식 공유 및 제어 시스템)

  • Lee, Jaeho;Choi, Byung-Gi;Bae, Jae-Hyeong
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.4 no.3
    • /
    • pp.135-142
    • /
    • 2015
  • As the importance of software to society has grown, more and more schools worldwide teach coding basics in the classroom. Despite the rapid spread of coding instruction in grade schools, experience in the classroom is certainly limited because there is a gap between the curriculum and the existing computing environment such as the mobile and cloud computing. We propose an approach to fill this gap by using a mobile environment and the robot on the cloud-based platform for effective teaching. In this paper, we propose an architecture called Cloudboard that enables knowledge sharing and collaboration among knowledge providers in the cloud-based robot platforms. We also describe five representative architectural patterns that are referenced and analyzed to design the Cloudboard architecture. Our early experimental results show that the Cloudboard can be effective in the development of collective robotic systems.

Software Development for the Performance Evaluation and Blade Design of a HACT by BEMT (블레이드요소 운동량 이론에 의한 수평축 조류발전용 터빈 블레이드 설계 및 성능평가 소프트웨어 개발)

  • Mo, Jang-Oh;Kim, Mann-Eung;Hyun, Beom-Soo;Kim, You-Taek;Oh, Cheol;Lee, Young-Ho
    • Journal of Advanced Marine Engineering and Technology
    • /
    • v.35 no.1
    • /
    • pp.96-101
    • /
    • 2011
  • In this study, we have established the design techniques, with which we can design and evaluate performance of blades on a horizontal axis current turbine, by application of blade element momentum theory considering the blade tip's loss model, and finally developed the domestic software(MCT-blade V2.0). We have designed and evaluated performance of blades for the 2MW class by using of the software, and confirmed its calculation results from BEMT by comparing those results from commercial code of ANSYS FLUENT. In a state of rated velocity 2.5m/s, the mechanical power from BEMT is calculated as 2,121kW, which is considered to satisfy the electrical power, but the value from CFD is calculated as 1,901kW, which is considered a little deficient for the target output.

A Software Architecture Cost Estimation Method to Support Architecture Evaluation with Consideration of Cost (비용을 고려하고 아키텍처 평가를 지원하는 소프트웨어 아키텍처 비용 추정 기법)

  • Choue, Si-Ho;Lee, Jun-Ha;Park, Soo-Yong
    • Journal of KIISE:Software and Applications
    • /
    • v.37 no.2
    • /
    • pp.95-103
    • /
    • 2010
  • Improving the competitiveness of software products in the market involves procuring the means to design software architecture that deliver qualities necessitated by stakeholder requirements within allocated budget, thereby improving the cost-effectiveness of the end product. Currently, software architecture evaluation methods are used to predict and review qualities inherent in software architecture designs and to choose a candidate architecture that delivers desired qualities. Existing software architecture evaluation methods, however, fail to address the cost considerations dependent on the architecture chosen for product implementation. In this paper we suggest a cost estimation method for software architecture which adapts the cost drivers in the software cost estimation model COCOMO II to support cost estimation during architecture evaluation. The suggested method can be performed in coordination with existing software architecture evaluation efforts and supplements existing architecture evaluation techniques with guidelines for identifying and evaluating cost drivers in candidate software architectures without incurring extra overhead. The accuracy of the cost estimation using the suggested method is verified through application of the method to the architecture candidates used in RPS (Robot Patrol System), a surveillance embedded system.

Satellite Software Design and Implementation for AIS Payload Operation (AIS 탑재체 운영을 위한 위성탑재소프트웨어 설계 및 구현)

  • Jeong, Jae-Yeop;Choi, Jong-Wook;Yoo, Bum-Soo;Lew, Je-Young
    • Journal of Satellite, Information and Communications
    • /
    • v.11 no.3
    • /
    • pp.92-99
    • /
    • 2016
  • AIS(Automatic Identification System) is an vessel traffic management system which exchanges vessel data with other nearby ships, AIS base stations using VHF band. A domestic AIS base station is located along coast lines or island. So it is difficult to collect vessel data from the ocean. To solve this problem, we adopted AIS payload on the low earth orbit satellite. The AIS payload on the satellite is interfaced with OBC(On-Board Computer) via UART and the FSW(Satellite Flight Software) manages it. The FSW have to receive AIS command from ground station and forward to AIS payload. Similarly FSW have to receive response, OBP, OGP data from AIS payload and it is downlink to the ground station. So in this paper we describe the FSW design & implementation for AIS payload.

Development of STEAM Program using App Inventor -Focusing on the Concept of Speed in Elementary Science Education- (앱인벤터를 활용한 STEAM 프로그램 개발 -초등학교 과학의 '속력' 개념을 중심으로-)

  • Shin, Seungki;Choi, Ikseon;Bae, Youngkwon
    • The Journal of the Korea Contents Association
    • /
    • v.15 no.4
    • /
    • pp.530-544
    • /
    • 2015
  • We live in the modern society which is called as Knowledge-Information society. The national and social goal is to raise the creative person for preparing the rapidly changing society. Thus, the schools and families concentrate on and effort to enhance the creativity and problem solving ability. Specially, the school is pushing forward the STEAM education and Software education for raising the creativity person and enhancement of national competitiveness. In this study, we suggested for STEAM education the way how we utilize the App Inventor which was supported by MIT and came up as a computer programming language for Software education, and we verified and evaluated through professional group verification. We completed STEAM instructional design according to the results from the professional group verification, and we suggested the authentic instruction for STEAM education. In addition, we suggested the further prospects of Software education and instructions through going through the characteristics and application plan of App Inventer in terms of educational computer programming language.

Defect Severity-based Ensemble Model using FCM (FCM을 적용한 결함심각도 기반 앙상블 모델)

  • Lee, Na-Young;Kwon, Ki-Tae
    • KIISE Transactions on Computing Practices
    • /
    • v.22 no.12
    • /
    • pp.681-686
    • /
    • 2016
  • Software defect prediction is an important factor in efficient project management and success. The severity of the defect usually determines the degree to which the project is affected. However, existing studies focus only on the presence or absence of a defect and not the severity of defect. In this study, we proposed an ensemble model using FCM based on defect severity. The severity of the defect of NASA data set's PC4 was reclassified. To select the input column that affected the severity of the defect, we extracted the important defect factor of the data set using Random Forest (RF). We evaluated the performance of the model by changing the parameters in the 10-fold cross-validation. The evaluation results were as follows. First, defect severities were reclassified from 58, 40, 80 to 30, 20, 128. Second, BRANCH_COUNT was an important input column for the degree of severity in terms of accuracy and node impurities. Third, smaller tree number led to more variables for good performance.

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

CRESTIVE-DX: Design and Implementation of Distrusted Concolic Testing Tool for Embedded Software (CRESTIVE-DX: 임베디드 소프트웨어에 대해 테스트케이스 생성을 지원하는 분산 Concolic 테스팅 도구)

  • Leem, Hyerin;Choe, Hansol;Kim, Hyorim;Hong, Shin
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.9 no.8
    • /
    • pp.229-234
    • /
    • 2020
  • This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.