Earticle

TV의 미래로 주목받고 있는 스마트TV의 주요 콘텐츠로서 스마트폰과 같이 앱 (App)을 주목하고 있지만 많은 전문가들이 스마트TV용 앱의 중요한 성공 조건으로 현재 TV가 갖고 있는 사용자 인터페이스의 한계 극복을 언급하고 있다. 일반적인 버튼 위주의 TV 리모컨으로는, 스마트TV용 앱에 풍부한 사용자 경험을 제공하기 힘들며 특히 게임과 같은 역동적인 앱을 운영하기에 상당한 어려움이 있다. 이런 문제를 극복하기 위해서 산업계와 학계에서 다양한 TV 사용자 인터페이스 방법을 제시하고 있으나 소비자 입장에서 비용 상승 문제를 유발하고, 스마트TV용 앱 개발자 입장에서 사용자 인터페이스의 표현 범위와 개발의 편리성 측면에서 부족함이 있다. 이 에, 본 논문은 스마트폰을 활용하여 스마트TV용 앱의 사용자 인터페이스를 구현하는 스마트TV용 앱 개발 방법론 및 개발 지원 환경인 sMartUX를 소개한다. sMartUX는 스마트폰을 활용함으로써 추가적인 비용 상승을 요구하지 않으며 앱 개발자가 스마트폰에서 실행할 사용자 인터페이스 설계할 때 다양한 스마트폰 사양을 고려할 필요가 없게 지원한다. 또한, 스마트폰의 앱 유통 시스템을 거치지 않고 사용자 인터페이스를 스마트폰에 탑재 시키는 메커니즘을 제공하여 개발자와 소비자 편의를 지원한다.

One of the major requisites for the success of the smart-TV is to create a circumstance where smart-TV app's are produced and purchased on a large scale. However, the smart-TV app's may succeed only under the condition that the user interface of the smart-TV is greatly evolved from the typical TV remote controller. Several equipments have been devised to tackle the problem of the poor user interface of the smart-TV; however, they are not satisfactory in the aspects that they usually increase the costs of TV-set and they do not help practically the app developers. The equipments are pre-formed so that it is hard for the app developers to design their own user interface using them. In the paper, sMartUX, a method for developing the smart-TV app is introduced. sMartUX provides a new paradigm and development environment for designing, implementing, and operating the user interface of the smart-TV app using a smart-phone. With sMartUX, app developers can design their own user interface using the various facilities of a smart-phone, and they need not to care the details of various smart-phones and how to launch their user interface onto a smart-phone.

모자이크 전장 환경에서는 다수의 무인기가 동적 상황에 따라 자율적으로 임무를 할당하고 이를 수행할 수 있어야 하므로, 임무 자율화 시스템이 무인기에 반드시 탑재되어야 한다. UxAS (unmanned x-systems autonomy service)는 미 공군 연구소에서 개발한 무인 플랫폼에 탑재 가능한 임무 자율화 시스템으로, 다양한 모듈 형태의 서비스로 구성되어 기능 확장이 용이한 구조를 가지고 있다. 이러한 UxAS에 기반한 임무 할당 및 경로 재계획을 수행하는 임무 자율화 소프트웨어를 개발하고, 해당 소프트웨어의 성능을 검증하고 성능 평가 지표에 따라 개발한 소프트웨어를 평가하는 기법에 대해 본 논문을 통해 제시하였다.

Mission autonomy system should be embedded on UAV (unmanned aerial vehicle) for mosaic warfare where UAVs autonomously assign tasks to themselves. UxAS (unmanned x-systems autonomy service) proposed by Air force research laboratory is mission autonomy system for unmanned platforms. UxAS has extensible structure composed of numerous module services. We have developed mission autonomy system based on UxAS that performs mission allocation and path planning. In this paper, We present a method of analyzing and evaluating the mission autonomy software according to the performance evaluation index.

정보 시스템을 구현하는 프로그램을 설계하는 방법은 Flowchart에서 UML의 Activity Diagram에 이르기까지 다양하다. 하지만, 이제까지 개발된 프로그램 설계 도구와 방법은 프로그램 코딩 도구와 방법에 비해서 상대적으로 효율적이지 않았다. 또한 프로그램 설계와 코드 간의 쌍방향 절환이 용이하지 않아 개발 생산성과 유지보수성을 개선 하는 데 한계가 있었다. 따라서 본 연구에서는 컴포넌트 기반의 SOC(Structured Object Component)을 지원하는 설계 및 코딩 융복합 자동화 도구 SETL(Structured Efficiency TooL)의 개발을 통해 프로그램 설계와 코딩 단계를 융복합하 여 병렬적인 작업이 가능하도록 하는 융복합 개발 방법을 제안한다. 즉, SETL을 사용하면 프로그램 설계와 코딩 간 의 절환을 거의 실시간으로 수행할 수 있어, 소프트웨어 개발 공정 단계간의 격차를 해소하여 개발 생산성 및 유지보 수성을 극대화 할 수 있다.

Methods to design programs which implement IT systems have been developed in various forms from flowchart to activity diagram of UML. However, program design tools and methods developed so far have not been efficient comparing to program coding tools and methods. In addition, Program design methods and tools developed until now have been difficult to support the bidirectional conversion between program design and coding, and the improvement of development productivity and maintainability. Therefore, in this study, we propose Convergence Development Method to enable working with wide bandwidth through fusing the program design and coding phase by using SOC and supporting tool named SETL which automatizes the convergence of design and coding. Thus, by using SETL, it is expected that the efficiency gap between the program design and coding phase is reduced, and development productivity and maintainability is increased. key words.

원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

Currently, our society is showing many changes due to the influence of information and communication technology (ICT). At the center of these information and communication technologies are software, intelligence, and sensing technologies. The software-related industry is steadily developing due to various software development policies implemented by the government and related organizations. Software development is desirable, but on the other hand, some negative aspects are also appearing. In this study, we proposed an objective way to infer the progress of software development for reasonable resolution of cases when a dispute related to the progress of development occurred during the software development process. The proposed solution was based on the waterfall model. The outputs generated in each process of the waterfall model are contents excluded from subjectivity. Therefore, it can be used as an objective method for calculating software development progress.

As our goal, we are interested in estimating the degree of software reliability based on software development project data. It is widely-known that several software development attributes which are measured can be used to evaluate and predict software reliability/quality via multi-variable analyses. In this article, we focus on the data treatment method which is needed prior to the software reliability assessment, since the software development data sets often include missing data. This paper discusses the method of data preparation against missing data and their effectiveness by using the Random Forest as a multi-variable analysis.

This study explores the integration of Generative AI into Test-Driven Development (TDD) to efficiently produce code that accurately reflects programmers' requirements in software engineering. Using the Account class as an example, we analyzed the code generation capabilities of leading Generative AI models—OpenAI's ChatGPT, GitHub's Copilot, and Google's Gemini. Our findings indicate that while Generative AI can automatically generate code, it often fails to capture programmers' intent, potentially leading to functional errors or security vulnerabilities. By applying TDD principles and providing detailed test cases to the Generative AI, we demonstrated that the generated code more closely aligns with the programmer's intentions and successfully passes specified tests. This approach reduces the need for manual code reviews and enhances development efficiency. We propose a development process that combines TDD with Generative AI, leveraging the strengths of both to efficiently produce high-quality software. Future research will focus on extending this approach to more complex systems and exploring automatic test case generation techniques.

This paper introduced formal method as a new method to evaluate the reliability of software that has been developed. By using a mathematical notation called formal specification, this evaluation method describes the characteristics and functions of system that includes software or hardware and proves what can be proved using a proving technique. It can give a clearer answer than other techniques because it guarantees completeness, correctness, and consistency, which are the general characteristics of math, and evaluates reliability by mathematical technique. Since it is difficult to express a mathematical notation in a UI, a framework was developed by using it to show the measured results on a screen like other general software. This framework was named FMTF (Formal Method Test Framework) and was made to test the program of general web development. For the performance experiment of FMTF system, the parallel test, loop test, conditional branch perform test, time control test, etc. of web program were experimented. According to the measurement result, the reliability was low in the beginning of project due to many factors such as analysis design but gradually improved by error correction and debugging. By suggesting a guide on how to correct what errors, the paper could also provide a method to improve reliability.

With the development of autonomous driving technology, as the use of software in vehicles increases, the complexity of the system increases and the difficulty of development increases. Developments that meet ISO 26262 must be carried out to reduce the malfunctions that may occur in vehicles where the system is becoming more complex. ISO 26262 for the functional safety of the vehicle industry proposes to consider functional safety from the design stage to all stages of development. Specifically at the software level, the requirements to be complied with during development and the requirements to be complied with during verification are defined. However, it is not clearly expressed about specific design methods or development methods, and it is necessary to supplement development guidelines. The importance of analysis and verification of requirements is increasing due to the development of technology and the increase of system complexity. The vehicle industry must carry out developments that meet functional safety requirements while carrying out various development activities. We propose a process that reflects the perspective of system engineering to meet the smooth application and development requirements of ISO 26262. In addition, the safety analysis/verification FMEA process for the safety of the proposed ISO 26262 function was conducted based on the FCAS (Forward Collision Avoidance Assist System) function applied to autonomous vehicles and the results were confirmed. In addition, the safety analysis/verification FMEA process for the safety of the proposed ISO 26262 function was conducted based on the FCAS (Forward Collision Avoidance Assist System) function applied to the advanced driver assistance system and the results were confirmed.

This study proposes quality measurement attributes for Application Service Quality Indicator (ASQI) to measure the quality of application software in the operation stage using the KJ technique and by reviewing some existing methodologies, such as ISO 25000 quality standard, BSC, EA PRM, SERVQUAL, and SLA. As during operational stages software quality is defined variedly in terms of software, managing organization, and service value, this study focuses on ASQI index, which is a recently developed software operational quality property that considers the special characteristics required for evaluation of quality during the SW operational stage.

객체지향 모델은 구조적 모델에 비해 모듈성, 재사용성, 유지보수성, 확장성 등의 장점을 제공한다. 이러한 이유로 객체지향 소프트웨어 개발 방법들을 정보 시스템 개발에 광범위하게 적용되고 있다. 그러나 현재의 객체지향 소프트웨어 개발 방법들은 목적 소프트웨어 시스템의 객체지향 모델링을 지원할 뿐, 방법론 그 자체는 구조적 및 절차적 체계를 기반으로 하고 있다. 본 논문에서는 객체지향 소프트웨어 개발 방법론을 객체지향적으로 모델링한 OMOS(Object-oriented software development Method for Object-oriented software System)를 제시한다. OMOS에서는 개발 산출물과 관련된 활동이 객체로써 모델링 되며, 개발 생명주기 프로세스가 객체간의 상호작용으로 모델링 된다. 소프트웨어 개발 방법론의 객체지향적 모델링은 방법론 자체의 재사용성, 유연성, 확장성, 유지보수성의 용이성 등의 장점을 제공한다.

Object-oriented software development methods are used to develop object-oriented software systems. Object-oriented systems are believed to habe better modularity, reusability, maintainability, and extensibility than systems modeled in conventional methods. Current object-oriented software development methods, however, are modeled in terms of procedural, functional, and structural models. There models cause problems such as tight coupling among activities, and uncontrolled access to global artifacts. In this paper, were introduce OMOS(Object-oriented software development Method for Object-oriented software System), an object-oriented modeling of object-oriented software development methods. Artifacts and their related activities are modeled as classes and objects. Development lifecycles are modeled as interactions among the objects. By modeling the software development method in an object-oriented way, OMOS achieves better reusability, flexibility, extensibility, and maintainability.

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

소프트웨어 개발은 다양한 프로세스 변동을 포함하기 때문에, 결정론적 이론 보다는 확률론적 이론에 더 영향을 많이 받는다. 확률론적 방식은 결정론적 방식보다 프로젝트 활동과 관련된 불확실을 고려하고, 예상되는 결과에 대해서 확률 분포로 접근하는 장점이 있다. 그러므로 소프트웨어 프로젝트를 성공하기 위해서는 확률 분포에 기반하여 범위, 규모, 비용, 공수, 일정 그리고 품질 목표를 체계적으로 관리해야 한다. 소프트웨어 규모 산정은 불확실성이 큰 개발 초기의 활동임에도 불구하고, LOC, COCOMO, FP, SLIM과 같은 결정론적 산정 방식으로 수행되고 있다. 본 연구에서는 확률적 분포 기반의 기능 점수 프로세스를 수립하고, 효과를 검증하기 위해 몬테카를로 시뮬레이션 기반의 자동차 전기전자 제어시스템 소프트웨어 개발에 적용한 사례를 제시한다. 본 연구 결과가 조직 내 기능 점수 프로세스를 수립하기 위한 가이드 및 관리자들의 정확한 의사결정 도구로 활용될 것으로 기대한다.

Software development activities are influenced by stochastic theory rather than deterministic one due to having process variability. Stochastic methods factor in the uncertainties associated with project activities and provides insight into the expected project outputs as probability distributions rather than as deterministic approximations. Thus, successful software projects systematically manage and balance five objectives based on historical probability: scope, size, cost, effort, schedule, and quality. Although software size estimation having much uncertainty in initial development has traditionally performed using deterministic methods: LOC(Lines Of Code), COCOMO(COnsructive COst MOdel), FP(Function Point), SLIM(Software LIfecycle Management). This research aims to present a function point method based on stochastic distribution and a case study based on Monte Carlo Simulation applying on an automotive electrical and electronics system software development. It is expected that the result of this paper is used as guidance for establishing of function point method in organizations and tools for helping project managers make decisions correctly.

하드웨어의 성능향상으로 임베디드 통신 소프트웨어의 복잡도가 크게 증가되고, 이에 따르는 추가적인 개발 비용이 발생하고 있다. 개발자들은 임베디드 통신 소프트웨어의 복잡도를 해결하는데 필요한 소프트웨어 도구와 기술을 필요로 하고 있다. 본 논문에서는 임베디드 통신 소프트웨어 개발에 효과적인 SDL(Specification Description Language) 기반의 통합 개발도구인 SDT(SDL Design Tool)를 사용하여 소프트웨어를 개발하는 절차에 대하여 기술한다. 그리고 통신 소프트웨어인 ITU-T V.76 프로토콜에 개발 절차를 적용하여, SDT를 사용한 개발 절차와 일반적인 임베디드 통신 소프트웨어 개발 절차를 비교, 분석한다. 그 결과, SDT를 사용한 개발 절차가 개발 효율성과 유지보수 효율성에서 더 좋은 성능을 보였다.

종래의 방법론은 분석대상 시스템의 기능적 요구사항을 추출하는데 초점이 맞춰져 있어서 상대적으로 시간 제한과 같은 개념은 다루어지고 있지 않다. 시간 제한과 같은 개념이 개발 시에 제대로 적용되지 않거나 간과하게 됨으로써 개발된 시스템의 성능은 예측 불가능하게 되며 시스템을 구현완료하고 테스팅 단계에서 시스템이 잘 못 개발되었다는 것을 확인하게 된다. 본 연구는 일반 업무용 소프트웨어 시스템의 개발에 있어서 비 기능적 요구사항으로 다루어지는 성능 관련 항목을 시스템 개발과정에 강제 시킴으로써 예측 가능한 소프트웨어 시스템을 구성할 수 있게 한다. 또한 하드웨어 중립적인 시간 개념을 사용함으로써 소프트웨어가 작동하는 하드웨어의 성능에 맞는 적절한 소프트웨어를 개발해 낼 수 있도록 한다.

시스템 성능평가의 대상은 하드웨어와 소프트웨어로 나누어 평가할 수 있다. 현재 하드웨어의 평가는 부문별로 많이 개발되어 왔지만, 소프트웨어의 성능은 그 대응책 없이 개발되어 온 사례가 많다. 물론 외국에서는 소프트웨어 성능공학 쪽으로 많은 관심을 기울러 소프트웨어 개발도구 및 방법론이 성능공학 문제와 연관하여 제안되고 있다. 그러나 우리나라에서는 거의 전무한 상태인 것은 사실이다. 그래서 본 연구에서는 소프트웨어개발 도구 및 개발방법론을 정의하여 그 내용을 비교하고자 한다.

The performance evaluation of system can be divided into software and hardware. Recently, many hardware evaluations have been developed as many fields, however, performance of software without any solution have been also developed. As a matter of cource, in a foreign country, software development tools and methodologies related to problems of performance engineering are suggested by paying much attentions on the software performance engineering. However in Korea, researches on those issues are wholly lacking. Therefore, in this paper, a software development methodology will be discussed and its contents will be compared as well.

The development of Software is indispensably needed for the Computer development in the future, that is, a effective method for Software development is required to be studied. In this paper, a detailed and practical method for the making of the requirements and planning for Software development and efficient ways for Software development and management are studied. This paper is considered to be helpful for the efficiency in Software development works.

eXtreme Programming(이하 XP)은 프로젝트를 수행하는 데에 있어서 흔하게 발생하는 위험 요인들을 Light-weight 한 방법으로 해결하기 위한 방법론이다. XP 개발 방법론은 개발 주기의 단위를 작게 나누어서 피드백을 받는 기간을 짧게 잡았다는 점과, Pair Programming 방법을 도입했다는 점, 개발 과정에서의 고객의 비중을 높이고, 다양한 모듈 테스트/기능 테스트를 통해서 제품의 오류를 최소화 했다는 점 등의 특징을 갖고 있다. 그러나 XP는 소규모의 개발팀일 경우에만 그 효용성이 입증되고 있으며, 수많은 테스트 과정과 개발의 전과정에서의 고객의 적극적인 참여의 요구는 생산 비용면에서나 고객의 부담에 있어서 단점으로 여겨지고 있다. 따라서 본 고에서는 이러한 점들을 보완하기 위한 몇 가지 방안과 더불어 우리나라의 개발 환경에 효과적으로 적용하기 위한 방안을 제시하고자 한다.

동일 제품군에 대한 소프트웨어 재사용 요구와 디지털 복합 제품군의 등장으로 임베디드 소프트웨어에 대한 아키텍처 중요성은 날로 증가하는 추세에 있다. 하지만 임베디드 시스템 개발이 하드웨어 중심으로 이루어지는 특성상 소프트웨어 아키텍처에 대한 연구는 미비한 현실이다. 이에 본 연구에서는 임베디드 시스템의 핵심 아키텍처 요소를 서비스로 보고, 서비스 제공을 위해 기능 중심의 아키텍처 스타일 및 프레임워크 개발 방법을 제시하고 인버터 제품에 대한 사례연구를 통해 임베디드 시스템 개발에 효과적인을 확인하였다.