• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.1468-1476
• /
• 2006

The goal of this thesis is to support safety and reliability characteristics of software intensive critical systems. The verification method developed is innovative from current state of the art in what concerns the verification viewpoint adopted: focusing on software faults, and not, like many other approaches purely on fulfilling functional requirements. As a first step and based on a number of well defined criteria a comparison was made of available literature in the area of static non formal non probabilistic software fault removal techniques. But, None of the techniques evaluated fulfilled all criteria set in isolation. Therefore a new technique was developed based on a combination of two existing techniques: the FMEA and FTA. These two techniques complement each other very well. It is possible to integrate both techniques with commonly used techniques at system level. The resulting new technique can be shown to combine nearly all aspects of existing fault removal techniques.

• 시스템엔지니어링학술지
• /
• 제9권1호
• /
• pp.33-45
• /
• 2013

Systems Engineering Approach was applied to the development of operator-support core management system based on the on-site operation experience and document of core management procedures, which is for enhancing operability and safety in PHWR (Pressurized Heavy Water Reactor) operation. The dissertation and definition of the system were given on th basis of investigating and analyzing the core management procedures. Fuel management, detector calibration, safety management, core power distribution monitoring, and integrated data management were defined as main user's requirements. From the requirements, 11 upper functional requirements were extracted by considering the on-site operation experience and investigating documents of core management procedures. Detailed requirements of the system which were produced by analyzing the upper functional requirements were identified by interviewing members who have responsibility of the core management procedures, which were written in SRS (Software Requirement Specification) document by using IEEE 830 template. The system was designed on the basis of the SRS and analysis in terms of nuclear engineering, and then tested by simulation using on-site data as a example. A model of core power monitoring related to the core management was suggested and a standard process for the core management was also suggested. And extraction, analysis, and documentation of the requirements were suggested as a case in terms of systems engineering.

• 한국콘텐츠학회논문지
• /
• 제8권5호
• /
• pp.61-71
• /
• 2008

서술 지향적인 방법에 의한 요구사항의 도출은 명확한 요구사항을 정의하는 데 있어서 불충한 것으로 지적되곤 한다. 이것은 요구사항을 기술하는 작업자들이 시스템을 이해하는 관점에 차이가 있기도 하지만, 내용의 표현방법이나 다루는 내용의 깊이, 그리고 이러한 내용을 문서화하는 방법에 있어서도 큰 차이를 갖기 때문이다. 본 연구는 이와 같이 서술적인 방법으로 도출된 GOLORY(GLObal Resource management sYstem)의 요구사항을 개선하기 위하여 UML 기반의 다이어그램을 이용한 요구사항 분석기법을 적용한 사례이다. 특히 다이어그래밍 기법을 활용함으로써 요구사항을 체계적으로 명확하게 도식화 하고, 이를 통해 요구사항의 일관성 유지와 아울러, 중요한 요구사항의 누락 방지 등의 성과를 달성할 수 있었다.

• 시스템엔지니어링워크숍
• /
• 통권4호
• /
• pp.182-187
• /
• 2004

Our research proposes how to, systematically, count function point from initial functional requirements based on natural language. Gradually, Function Point Analysis is used to overcome the limitation of LOC(Line Of Code) for estimating software size. Moreover, it plays an important role in cost management. Function point is derived from initial requirements and is determined by experts who have an education for function point. However, currently there are few researches to cout function point by systematic or automatic rules. Through extending our porposed method, we expect that function point is able to be counted automatically or semi-automatically. This would be our future research

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1192-1204
• /
• 2005

임베디드 소프트웨어는 대상 프로세서에 내장되어 특정 기능을 수행하기 위한 소프트웨어로, 한번 탑재되면 수정하는 것이 쉽지 않기 때문에 임베디드 소프트웨어의 기능에 대한 평가는 중요하다. 임베디드 소프트웨어는 탑재할 대상 플랫폼 및 정의된 기능 요구사항에 맞게 구성되고 맞춤하여 개발되므로 그 종류가 매우 다양하고, 임베디드 소프트웨어를 구성하는 여러 요소들이 매우 밀접하게 연결되어 있기 때문에 이를 평가한다는 것은 쉽지 않다. 본 논문에서는 이러한 임베디드 소프트웨어의 특성을 반영한 평가 모델을 제안하고 실제 임베디드 소프트웨어에 본 평가 모델을 적용한 결과를 기술한다.

• 한국정보통신학회논문지
• /
• 제18권11호
• /
• pp.2593-2599
• /
• 2014

최근 모바일 앱에서도 오픈소스 소프트웨어를 이용한 개발이 활발하게 이루어지고 있다. 오픈소스 모바일 컴포넌트의 경우 사용자 인터페이스 구현을 위한 컴포넌트의 재사용성이 용이하다는 이유로 기능적 역할의 컴포넌트보다 더욱 많이 사용되는 경향이 있다. 이런 특징으로 인해 기존의 오픈소스 소프트웨어 선정절차나 상용 컴포넌트 선정절차 두 가지 연구 모두 오픈소스 모바일 컴포넌트 선정에 그대로 적용하기에는 무리가 있다. 본 논문에서는 기존에 연구된 오픈소스 소프트웨어 선정절차를 모바일 컴포넌트 선정에 적합하도록 수정, 보완하였다. 본 연구는 모바일 앱을 개발할 경우, 요구되는 기능을 충족하는 오픈소스 컴포넌트를 쉽게 검색하고 선정할 수 있는 효율적인 절차를 제시함으로써 모바일 앱 개발의 생산성을 높여줄 수 있다.

• 인터넷정보학회논문지
• /
• 제7권4호
• /
• pp.11-22
• /
• 2006

소프트웨어 프러덕트 라인 개발 방법론이란, 개발 초기에 시스템의 공통적인 부분과 가변적인 부분을 명확히 하여 소프트웨어 자산을 구축한 후 요구 사항에 따라 가변적인 부분을 커스터마이징하여 목표 시스템을 생성하는 소프트웨어 개발 패러다임이다. 일반적인 소프트웨어 프러덕트 라인에 대한 연구는 활발히 진행되고 있지만, 컴포넌트 기반의 실시간 임베디드 소프트웨어 프러덕트 라인에 대한 연구는 상대적으로 미약하다. 본 논문에서는 실시간 임베디드 소프트웨어 프러덕트 라인구축의 생산성 향상을 위해, 특성 모델을 통해 기능적 가변성을 지원하고 상태 모델을 통해 동기화 지원 코드를 생성하는 코드 생성 시스템을 제안한다.

• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.893-907
• /
• 2017

안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.

• 한국기록관리학회지
• /
• 제5권1호
• /
• pp.65-77
• /
• 2005

문서관리와 전자문서관리가 1990년대를 전후하여 변화 발전해 온 배경과 현재의 경향을 살펴보고, 전자문서관리 소프트웨어 디자인에 관련된 아카이브적인 기능과 업계의 기술표준, 현재 나와 있는 소프트웨어 등을 고찰함으로 전자문서관리의 현단계와 앞으로의 개발방향을 제시한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.322-326
• /
• 1991

A real time process control package was developed in an INTEL 80386 based PC and MS OS/2 environment using MS-C and MS-FORTRAN. RTACS(Real Time Advanced Control System), process control computer software for distributed or centralized architectures, is a package which meets functional requirements specified for typical continuous process applications like chemical processes. The package consists of 5 parts, which are DB(data base), OCF(Operator Console Functions), CL (Control logic Library), MSM(Multitasking and Scheduling, Manager) and UAI(User Applications Interface), based upon a table and function block architecture to improve the system performance.