• 문화기술의 융합
• /
• 제7권3호
• /
• pp.469-474
• /
• 2021

오늘날 수많은 소프트웨어 개발자들은 모바일 환경이라는 새로운 플랫폼상에서 운영되는 응용 프로그램의 효율적인 개발을 위한 백-엔드 설계 단계에 많은 어려움을 가지고 있다. 이는 큰 규모의 시스템 개발 경험도 부족할 뿐만 아니라 그것의 비구조적인 특징으로 인해 표준화된 문제 해결 방법이 없기 때문이다. 아울러, 최근의 모바일 소프트웨어 개발을 위한 시스템 설계에는 많은 도전의 중심에 큰 규모의 데이터가 있으며 이러한 데이터 중심의 모바일 응용에 대한 개발을 위해 효율적인 시스템 설계 방안이 요구된다. 본 논문은 모바일 소프트웨어가 갖는 본질적인 특징을 파악하고 많은 소프트웨어 엔지니어들이 백-엔드 설계 단계에서 겪는 어려움을 해결할 수 있는 체계적이고 효율적인 시스템 설계 방법을 제안하고자 한다.

• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Communications for Statistical Applications and Methods
• /
• 제19권4호
• /
• pp.571-577
• /
• 2012

Modules that consist of software are respectively coded in the early development phase and the modules are unified as a software. After unification, the software is repeatedly tested with a given taskset (the set of module tasks that are tested simultaneously) until a required performance level is satisfied. In this paper, we expand the one-module software debugging model of Jang and Lee (2011) to a multi-module debugging model and derive the taskset completion probability and the mean of the completed tasksets under the assumption that the processing times of module tasks given in a taskset are mutually dependent.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제50권3호
• /
• pp.383-394
• /
• 2011

This paper analyzes subjects related to Math/Stat and studies teaching effect on subject development connected Math/Stat in software curriculum. Among many subjects related to the software, this paper shows exemplary applications of Math/Stat in the software curriculum. Thereby this opens potential application fields of Math/Stat. This confirms that Math/Stat is not only an essential subject to improve competitiveness but also a strategic element in the field of software. Therefore, by maximizing the academic outcome through the interdisciplinary combination of software and Math/Stat, it is possible to educate more competitive and skilled professionals.

• International Journal of Knowledge Content Development & Technology
• /
• 제9권2호
• /
• pp.45-64
• /
• 2019

This study examined the perception and use of web 2.0 applications for academic purposes by medical students of Ambrose Alli University, Ekpoma. The objective was to investigate the medical students' perceptions of web 2.0 applications, web 2.0 tools use, extent of use, perception and purpose for using web 2.0 applications. Descriptive survey method was used for this study. The total population of this study was 3670 and the sample size was 367 representing 10% of the study. The purposive sampling technique was adopted, and the instrument used for this study was questionnaire, a total of 367 copies were administered and 321 were found useful for the study. Percentage means and standard deviation on table and chart were used to analyze the data collected using Statistical Package for the Social Sciences (SPSS) software. Findings showed that the perception of web 2.0 applications of medical students AAU was positive and few of web 2.0 applications were used for academic purposes. It was recommended in the study that medical students should be provided with the facilities in a format more familiar to them and used by most of them and institutions need to equip the learning process with the needed facilities which will be of utmost benefit even for future purposes.

• 디지털융복합연구
• /
• 제11권12호
• /
• pp.439-445
• /
• 2013

애자일 방법과 소프트웨어 재사용의 장점을 통합하는 여러 연구가 나타나고 있다. 대부분의 연구는 스크럼 방법에 재사용을 도입하기보다는 소프트웨어 프로덕트라인에 애자일 방법을 도입하고 있다. 스크럼은 가장 인기있는 애자일 방법이지만 재사용 결합의 연구는 부족하다. 한편, 백로그와 점증적 산출물과 같은 스크럼 개발의 자산은 재사용이 가능하다. 본 연구는 스크럼 방법에서 재사용이 가능한 통합 자산인 백로그 바인더를 식별하고 이들의 재사용을 지원하는 백로그 바인더 재사용 방안을 제안하였다. 아울러, 제안한 기술을 구인 구직 응용에 적용하여 백로그 바인더와 자산 재사용의 프로토타이핑을 보일 수 있었다.

• Nuclear Engineering and Technology
• /
• 제50권4호
• /
• pp.570-581
• /
• 2018

Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safetycritical instrumentation and control systems must be quantified and verified with proper test cases and test environment. In this study, a software testing method using a simulation-based software test bed is proposed. The test bed is developed by emulating the microprocessor architecture of the programmable logic controller used in NPP safety-critical applications and capturing its behavior at each machine instruction. The effectiveness of the proposed method is demonstrated via a case study. To represent the possible states of software input and the internal variables that contribute to generating a dedicated safety signal, the software test cases are developed in consideration of the digital characteristics of the target system and the plant dynamics. The method provides a practical way to conduct exhaustive software testing, which can prove the software to be error free and minimize the uncertainty in software reliability quantification. Compared with existing testing methods, it can effectively reduce the software testing effort by emulating the programmable logic controller behavior at the machine level.

• 정보처리학회논문지C
• /
• 제12C권5호
• /
• pp.749-756
• /
• 2005

모바일 인터넷 응용프로그램을 빠르고 저렴한 비용으로 개발하기 위하여 위피 응용프로그램 개발 환경, 즉 CNU 위피 에뮬레이터를 개발하였다. CNU 위피 에뮬레이터는 안정적인 메모리 관리 기능을 가지며, 위피 버전 1.2 규격에서 정의하는 기능과 WAM(WIPI Application Manager)을 이용한 응용프로그램의 설치, 실행, 삭제 및 관리 기능들을 제공한다. 또한 위피 응용프로그램 생명 주기에 맞는 경량 스케줄링 방식을 사용함에 따라 응용프로그램의 빠른 실행과 안정적인 디버깅 기능을 제공한다. 본 논문은 개발한 CNU 위피 에뮬레이터의 설계 및 구현 특징에 대하여 기술하며, 기존 위피 에뮬레이터들과의 비교 실험을 통하여 응용프로그램 실행의 안정성과 $25\%$ 이상의 실행 성능 향상을 제시하였다.

• Journal of Information Technology Applications and Management
• /
• 제24권2호
• /
• pp.71-80
• /
• 2017

Software reliability is one of the most elementary and important problems in software development In order to find the software failure occurrence, the instantaneous failure rate function in the Poisson process can have a constant, incremental or decreasing tendency independently of the failure time. In this study, we compared the reliability performance of the software reliability model using the parameters of Pareto life distribution with the intensity decreasing pattern and the shape parameter of Erlang life distribution with the intensity increasing and decreasing pattern in the software product testing. In order to identify the software failure environment, the parametric estimation was applied to the maximum likelihood estimation method. Therefore, in this paper, we compare and evaluate software reliability by applying software failure time data. The reliability of the Erlang and Pareto life models is shown to be higher than that of the Pareto lifetime distribution model when the shape parameter is higher and the Erlang model is more reliable when the shape parameter is higher. Through this study, the software design department will be able to help the software design by applying various life distribution and shape parameters, and providing basic knowledge using software failure analysis.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.1015-1018
• /
• 2003

As increasing the size and complexity of hard-ware and software system, more efficient design methodology has been developed. Especially design-reuse technique enables fast system development via integrating existing hardware and software. For this technique available hardware/software should be prepared as component-based parts, adaptable to various systems. This paper introduces a component-based VHDL analyzer allowing to be embedded in other applications, such as simulator, synthesis tool, or smart editor. VHDL analyzer parses VHDL description input, and performs lexical, syntactic, semantic checking, and finally generates intermediate-form data as the result. VHDL has full-features of object-oriented language such as data abstraction, inheritance, and polymorphism. To support these features special analysis algorithm and intermediate form is required. This paper summarizes practical issues on implementing high-performance/quality VHDL analyzer and provides its solution that is based on the intensive experience of VHDL analyzer development.