• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.969-973
• /
• 2005

This paper presents a survey of software reliability modeling and it's application to pre-built software system combined with hardware such as numerical controller based on personal computer systems. Many a systems in these days are much more becoming software intensive and many software intensive systems are safety critical. For this reason, the technique well developed to measure of software reliability is very important for whom to assess such a system. This paper provides a brief idea of method to evaluate such a system's reliability based on hardware performance.

• 한국지능시스템학회논문지
• /
• 제17권5호
• /
• pp.668-673
• /
• 2007

본 논문에서는 지능형 성숙도 모델을 이용한 소프트웨어 집약 시스템의 전투실험 프로세스 설계를 제안하고 스마트 무인항공기의 표적탐색 능력에 적용한 결과를 제시한다. 이를 위해 먼저 소프트웨어 집약 시스템의 지능형 정도를 평가할 수 있는 지능형 성숙도 모델을 영역 수준 및 지능 수준을 고려하여 설계한다. 그런 다음 전투실험 프로세스 설계를 위해 ISO/IEC-12207과 CMMI 프로세스를 LITO 분야별로 분류하고 이를 전투실험 5요소와 매핑하여 전투실험 요소별 그리고 전투실험 단계별로 프로세스를 도출한다. 도출된 프로세스를 기반으로 IDEF0 표기법을 이용하여 전투실험 프로세스를 설계한다. 마지막으로 제안한 전투실험 프로세스는 스마트 무인항공기(UAV)를 개발하거나 획득 시에 요구되는 표적탐색 능력에 적용하며 그 결과도 제시한다.

• Journal of Information Processing Systems
• /
• 제5권4호
• /
• pp.197-206
• /
• 2009

We introduce a novel high-level security metrics objective taxonomization model for software- intensive systems. The model systematizes and organizes security metrics development activities. It focuses on the security level and security performance of technical systems while taking into account the alignment of metrics objectives with different business and other management goals. The model emphasizes the roles of security-enforcing mechanisms, the overall security quality of the system under investigation, and secure system lifecycle, project and business management. Security correctness, effectiveness and efficiency are seen as the fundamental measurement objectives, determining the directions for more detailed security metrics development. Integration of the proposed model with riskdriven security metrics development approaches is also discussed.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권5호
• /
• pp.407-418
• /
• 2007

서비스 과학(Service Science)은 경영과 경제, 공학분야가 상호 연동하면서 서비스를 인식하는 새로운 응용분야이다. 서비스 시스템은 전통적인 소프트웨어 시스템과 같은 자동화된 기능을 제공하면서, 동적인 컨텍스트 인식 및 분석과 이를 기반으로 한 의사 결정이 적용되어 더욱 지능적인 기능을 제공한다. 전통적인 소프트웨어 개발 접근법은 서비스 요구사항을 모델링하고 서비스 시스템을 설계하는데 비효율적인 부분이 있다. 따라서, 서비스 시스템을 개발하기 위한 효과적이고 체계적인 설계 방법론이 요구된다. 본 논문에서는 전통적인 소프트웨어 시스템과 서비스 시스템의 특징을 비교함으로써 서비스 시스템의 특징을 도출한다. 그리고, 서비스 시스템을 설계하기 위한 프로세스를 아키텍처, 컴포넌트, 워크플로우의 측면에서 제안하고, 생활 보조 시스템 (Living Assistance System)의 한 분야인 응급 상황 처리 시스템의 설계과정에 적용한다. 제안된 프로세스로 전통적인 소프트웨어 시스템 설계에서 서비스 시스템 설계로의 이동이 효과적으로 진행될 수 있다.

• 전기전자학회논문지
• /
• 제16권2호
• /
• pp.145-152
• /
• 2012

This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권11호
• /
• pp.3523-3543
• /
• 2022

Autonomous vehicles are gradually being regarded as the mainstream trend of future development of the automobile industry. Autonomous driving networks generate many intensive and delay-sensitive computing tasks. The storage space, computing power, and battery capacity of autonomous vehicle terminals cannot meet the resource requirements of the tasks. In this paper, we focus on the task scheduling problem of autonomous driving in software-defined edge networks. By analyzing the intensive and delay-sensitive computing tasks of autonomous vehicles, we propose an emotion model that is related to task urgency and changes with execution time and propose an optimal base station (BS) task scheduling (OBSTS) algorithm. Task sentiment is an important factor that changes with the length of time that computing tasks with different urgency levels remain in the queue. The algorithm uses task sentiment as a performance indicator to measure task scheduling. Experimental results show that the OBSTS algorithm can more effectively meet the intensive and delay-sensitive requirements of vehicle terminals for network resources and improve user service experience.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권9호
• /
• pp.4742-4770
• /
• 2019

Cloud computing provides a broad range of services like operating systems, hardware, software and resources. Availability of these services encourages data owners to outsource their intensive computations and massive data to the cloud. However, considering the untrusted nature of cloud server, it is essential to encrypt the data before outsourcing it to the cloud. Unfortunately, this leads to a challenge when it comes to providing search functionality for encrypted data located in the cloud. To address this challenge, this paper presents a public key encryption with equality test for heterogeneous systems (PKE-ET-HS). The PKE-ET-HS scheme simulates certificateless public encryption with equality test (CLE-ET) with the identity-based encryption with equality test (IBE-ET). This scheme provides the authorized cloud server the right to actuate the equivalence of two messages having their encryptions performed under heterogeneous systems. Basing on the random oracle model, we construct the security of our proposed scheme under the bilinear Diffie-Hellman (BDH) assumption. Eventually, we evaluate the size of storage, computation complexities, and properties with other related works and illustrations indicate good performance from our scheme.

• 시스템엔지니어링학술지
• /
• 제2권2호
• /
• pp.21-26
• /
• 2006

In modern systems technology, increasingly more systems are anticipated to operate in real-time environment. These systems are usually complex to implement since it is not easy to satisfy the real-time requirement for both hardware and software components simultaneously. In this paper, we first review an object-oriented development process that was proposed earlier for software-intensive real-time system using the Unified Modeling Language (UML). We then study how to improve the problems that the UML approach might have. Applying the systems engineering(SE) process yields useful results which include : 1) an improved requirements management over the whole system life-cycle ; 2) a detailed scenario on how to carry out the SE process ; and 3) a conversion process from the text-based requirements to the UML-based graphic ones.

• Journal of Information Processing Systems
• /
• 제8권1호
• /
• pp.133-144
• /
• 2012

In order to make cognitive radio systems a practical technology to be deployed in real-world scenarios, the core Software Defined Radio (SDR) systems must meet the stringent requirements of the target application, especially in terms of performance and energy consumption for mobile platforms. In this paper we present a feasibility study of hardware acceleration as an energy-efficient implementation for SDR. We identified the amplifier function from the Software Communication Architecture (SCA) for hardware acceleration since it is one of the functions called for most frequently and it requires intensive floating-point computation. Then, we used the Virtex5 Field-Programmable Gate Array (FPGA) to perform a comparison between compiler floating-point support and the on-chip floating-point support. By enabling the on-chip floating-point unit (FPU), we obtained as high as a 2X speedup and 50% of the overall energy reduction. We achieved this with an increase of the power consumption by no more than 0.68%. This demonstrates the feasibility of the proposed approach.

• International Journal of Control, Automation, and Systems
• /
• 제1권3호
• /
• pp.321-331
• /
• 2003

Experimental software datasets describing software projects in terms of their complexity and development time have been the subject of intensive modeling. A number of various modeling methodologies and modeling designs have been proposed including such approaches as neural networks, fuzzy, and fuzzy neural network models. In this study, we introduce the concept of the Rule-based fuzzy polynomial neural networks (RFPNN) as a hybrid modeling architecture and discuss its comprehensive design methodology. The development of the RFPNN dwells on the technologies of Computational Intelligence (CI), namely fuzzy sets, neural networks, and genetic algorithms. The architecture of the RFPNN results from a synergistic usage of RFNN and PNN. RFNN contribute to the formation of the premise part of the rule-based structure of the RFPNN. The consequence part of the RFPNN is designed using PNN. We discuss two kinds of RFPNN architectures and propose a comprehensive learning algorithm. In particular, it is shown that this network exhibits a dynamic structure. The experimental results include well-known software data such as the NASA dataset concerning software cost estimation and the one describing software modules of the Medical Imaging System (MIS).