• Nuclear Engineering and Technology
• /
• 제38권3호
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• International journal of advanced smart convergence
• /
• 제9권4호
• /
• pp.167-172
• /
• 2020

In the 4th industrial revolution, there are many projects for diverse software applications of smart city environments. Most of the stakeholders focus on considering software quality for their developed software. Nobody doesn't guarantee requirement satisfaction after complete development. At this time, we can only work on user acceptance testing for requirement satisfaction on frequently changing requirements. Why keeps the requirement traceability? This traceability is to identify risks related to requirements, to assure correct software development based on customer requirements. To solve this, we are researching how to implement requirement traceability across each artifact's relationship to each activity of a whole development lifecycle.

• Journal of Computational Design and Engineering
• /
• 제1권4호
• /
• pp.243-255
• /
• 2014

The present study describes the development of control hardware and software for a mobile welding robot. This robot is able to move and perform welding tasks in a double hull structure. The control hardware consists of a main controller and a welding machine controller. Control software consists of four layers. Each layer consists of modules. Suitable combinations of modules enable the control software to perform the required tasks. Control software is developed using C programming under QNX operating system. For the modularizing architecture of control software, we designed control software with four layers: Task Manager, Task Planner, Actions for Task, and Task Executer. The embedded controller and control software was applied to the mobile welding robot for successful execution of the required tasks. For evaluate this imbedded controller and control software, the field tests are conducted, it is confirmed that the developed imbedded controller of mobile welding robot for shipyard is well designed and implemented.

• 한국자동차공학회논문집
• /
• 제21권1호
• /
• pp.68-77
• /
• 2013

This paper presents AUTOSAR-ready light software architecture (AUTOSAR-Lite), which is a light weighted version of the AUTOSAR, for automotive embedded control systems. The proposed AUTOSAR-Lite reduces overhead problems caused by the excessive standard specifications of AUTOSAR. Concurrently, AUTOSAR-Lite keeps advantages of AUTOSAR such as a scalability, re-usability, reliability, and transferability. The fundamental design of AUTOSAR-Lite is originated from the AUTOSAR standard. AUTOSAR-Lite is composed of three layers such as an application software, runtime environment, and basic software layer. The application software layer adopts component-based design methodology as AUTOSAR. The runtime environment layer integrates interfaces between application and basic software layers. In case of the basic software layer, restrictions of the module configurations and interfaces of basic software are minimized. In order to validate the feasibility of AUTOSAR-Lite, a software design result based on AUTOSAR-Lite software architecture for electronic throttle control (ETC) system is suggested.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.632-635
• /
• 2010

인터넷과 정보통신 기술의 발달로 네트워크의 활용 범위도 넓어지게 되었다. 이에 따라 감시용 모니터링 시스템의 응용분야가 다양해졌을 뿐만 아니라 시스템에 대한 요구사항도 많아지고 되었다. 특히 소규모의 매장에서의 응용을 비롯한 무인화 시스템의 확산은 일반인이 쉽게 다룰 수 있는 보급형의 저가 감시시스템의 개발을 요구하고 있다. 본 연구에서는 저렴하고 다양한 부가서비스가 가능하며 인터넷에 쉽게 접속할 수 있는 감시시스템을 구현하였다. 리눅스 기반의 임베디드 리눅스 시스템을 이용한 웹캠 서버를 구축하였다. 구현된 시스템은 웹서버를 통해 실시간 모니터링 기능이 잘 동작하는 것을 확인하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.598-601
• /
• 2010

개인용 단말기 디스플레이 상의 광고물 객체의 기준점 설정하여 좌표 값, 색상 값을 받은 후 그 정보를 기반으로 광고물의 경계선을 추출한다. 경계선에서 추출된 4 모서리의 좌표와 거리 측정기를 통하여 측정한 거리 값을 통해 여러 위치에서도 광고물의 면적을 측정하는 시스템을 구현한다.

• 한국멀티미디어학회논문지
• /
• 제18권4호
• /
• pp.546-556
• /
• 2015

Since the concept of software engineering was first used in 1968 by NATO Science Committee, a lot of research work and improvements have been made on software development methodology and software quality control, but they still fall short of ensuring successful development of small and medium scale software systems. Under these circumstances, Center for Software Engineering (CSE) at National IT Industry Promotion Agency(NIPA) has been conducting studies on quality control methodologies of software visualization well-suited for small and medium scale software systems, and also working on the systemization and quantification of software quality control. In this paper, we attempt to scope on the software development management of domestic and foreign small and medium-sized enterprises that are lying in the blind spot, compared to large enterprises with well-organized software development systems. In particular, based on software visualization that CSE is pursuing for small and medium-sized developers, we propose a practical quality control methodology well-suited for small and medium scale projects, and a low-cost quality control management tool by combining open-source quality control tools. Our proposal is expected to induce developers' mind change in SI-specialized small and medium-sized software enterprises, increase their profits and improve customer satisfaction through project quality control.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2000년도 추계종합학술대회
• /
• pp.400-405
• /
• 2000

소프트웨어 공학이란 적절한 자원을 사용하여 품질 높은 소프트웨어를 개발, 획득, 운용하기 위해 필요한 기법, 도구 및 방법론의 총칭이다. 소프트웨어공학 활동의 관리목표는 적절한 자원의 사용을 통한 높은 생산성 추구 및 양질의 소프트웨어 생산이라 할 수 있다. 이러한 관리목표를 달성하기 위해서는 공학적인 이론과 개념을 바탕으로 한 공학원리를 확립하고 개발방법, 방법론 및 소프트웨어공학 도구를 발전시켜 효율적인 공학기술 환경을 구축하여야 할 것이다. 또한 매년 급증하고 있는 공공 정보화사업의 효율성을 제고하고 상호호환성과 운용성을 보장하기 위해 소프트웨어 공학을 바탕으로 정보시스템 기획, 획득, 개발, 운영, 유지보수 및 평가 등과 관련된 각종 지침도 개발되어야 한다. 본 논문에서는 소프트웨어공학 관련 기술 기술개발현황 및 시장 표준개발현황에 관해 다룬다.

• Nuclear Engineering and Technology
• /
• 제44권6호
• /
• pp.663-672
• /
• 2012

As software based digital I&C (Instrumentation and Control) systems are used more prevalently in nuclear plants, enhancement of software dependability has become an important issue in the area of nuclear I&C systems. Critical attributes of software dependability are safety and reliability. These attributes are tightly related to software failures caused by faults. Software testing and V&V (Verification and Validation) activities are hence important for enhancing software dependability. If the risky modules of safety-critical software can be predicted, it will be possible to focus on testing and V&V activities more efficiently and effectively. It should also make it possible to better allocate resources for regulation activities. We propose a prediction technique to estimate risky software modules by adopting machine learning models based on software complexity metrics. An empirical study with various machine learning algorithms was executed for comparing the prediction performance. Experimental results show SVMs (Support Vector Machines) perform as well or better than the other methods.

• International Journal of Computer Science & Network Security
• /
• 제23권8호
• /
• pp.199-203
• /
• 2023

Influential trend that widely reflected the software engineering industry is service oriented architecture. Vendors are migrating towards cloud environment to benefit their organization. Companies usually offer products and services with a goal to solve problems at customer end. Because customers are more interested in solution of their problem rather than focusing on products or services. In software industry the approach in which customers' problems are solved by providing services is known as software as a service. However, software development life cycle encounters enormous changes when migrating software from product model to service model. Enough research has been done on the overall development process but a limited work has been done on the factors that influence requirements elicitation process. This paper focuses on those changes that influence requirement elicitation process and proposes a systematic methodology for transformation of software from product to service model in a successful manner. The paper then elaborates the benefits that inherently come along with elicitation process in cloud environment. The paper also describes the problems during transformation. The paper concludes that requirement engineering process turn out to be more profitable after transformation of traditional software from product to service model.