• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 기록학연구
• /
• 제18호
• /
• pp.139-178
• /
• 2008

최근 공표된 국내외 기록관리시스템 기능요건 표준은 기록관리 핵심 기능뿐 아니라 시스템관리와 선택적인 기능의 요건을 포함하여 상세한 수준에서 요건 기술을 하고 있다. 기능요건은 전자기록 관리의 실무 경험을 토대로 만들어지며, 정보기술의 표준화를 기반으로 전자기록 실무가 표준화되어 가는 추세에 따라 기능요건 표준들도 점차 내용적 공통성을 확보해 가고 있다. 또한, 기록관리전문가, 정보기술 전문가, 컨설턴트, 기록관리 응용패키지 벤더 등 다양한 전문가 그룹의 참여와 협력으로 만들어진 기능요건은 품질 수준이 향상되고 있을 뿐만 아니라 국제적 표준화의 경향도 높아지고 있다. 선진 모범 실무를 기반으로 만들어진 기록관리시스템 기능요건 표준을 벤치마킹하여 실무적 해석을 통해 유용한 시사점을 얻을 수 있다. 이 논문에서는 기록관리의 핵심이라 할 수 있는 분류와 처분 영역의 기능요건을 기록관리 업무와 연관하여 해석함으로써 우리나라 전자기록 실무에 의미있는 시사점을 얻고자 한다. 첫 번째로 분류의 계층 수를 고정적인 개수로 제한할 필요가 있는지, 분류의 말단에만 편철을 해야 하는지를 논의해 보고, 두 번째로 보유기간 기산일을 이벤트 방식으로 설정하는 방식의 특징과 상속개념을 이용하여 다중의 처분지침을 적용하는 방법에 대해 살펴보고, 세 번째로 기록관리가 조직의 규제준수와 위험관리에 대응하는 대안이 되어야 한다는 전제하에 각종 규제에 적극적으로 대응하기 위해 필요한 처분보류와 해제 기능에 대해 알아본다. 마지막으로 기록관리시스템이 기록관리자의 유용한 도구가 되기 위해 필수적인 기능인 대량 일괄작업에 대해 예시하고 있다. 기록관리자들은 기록관리시스템 기능요건 표준을 실무적 관점에서 해석할 줄 알아야 하며, 실무에 필요한 요건을 도출하여 전문적인 전자기록관리 업무 수행의 주요 도구인 기록관리시스템을 고도화해 나갈 수 있어야 한다. 국가기록원은 기록관리시스템 기능요건 표준의 적용 범위를 확대하여 다양한 이해당사자들이 공통의 기반에서 효과적, 효율적으로 전자기록관리 실무를 집행할 수 있는 토대를 마련해 가야 할 것이다.

• 기록학연구
• /
• 제37호
• /
• pp.239-271
• /
• 2013

표준 기록관리시스템(이하 RMS)은 기록관 또는 특수기록관에서 기록물관리를 전자적으로 수행하는 시스템이다. 그러나 현재 RMS는 일정부분 도입목적 및 사용자의 요구를 충족하지 못하고 있는 실정이다. 이는 사용자에 대한 교육 및 훈련 부족, RMS 세부기능에 대한 검토 부족이 원인이다. 따라서 본 연구는 RMS의 세부기능을 검토하여 RMS에 대한 평가기준을 설정하고 세부기능을 평가하는 것을 목표로 하였다. 특히 RMS의 주요 기능 중 연계인수기능을 평가대상으로 하였다. 본 연구에서 RMS의 연계인수기능을 평가하기 방안으로는 연계인수 기능의 7개의 세부기능을 검토하여 각각의 기능이 수행하는 업무 프로세스를 파악하는 방안을 적용하였다. 그리고 업무 프로세스 파악을 바탕으로 기능요건을 정의하고, 정의된 기능요건으로 체크리스트를 구성하여 기능준수여부를 설문하였다. 마지막으로 설문내용을 바탕으로 연계인수 기능에 대한 기능 구현 현황을 분석한 후 해외기록관리표준과 비교를 통해 RMS의 연계인수기능이 보여주는 시사점과 이에 대한 개선방안을 도출하였다.

• 한국전자거래학회지
• /
• 제2권2호
• /
• pp.89-113
• /
• 1997

Modeling methodology has been widely used for analysis and design of a information system. Specially, under the CALS environments, modeling approach is more important because the enterprise functions are inter-related and information sharing speeds up the business. In this paper, we suggest functional requirements about modeling methodology for CALS by surveying the IDEF0 and ARIS. The former is FIPS 183 and the latter is basic methodology of SAP/R3 which is world-wide ERP system. The proposed functional requirements include all semantics of IDEF0 and adds some features. The first is adding modeling components which are semantic representations. In addition to ICOMs, we add the time and cost component which is required to execute the function. The second is tracing mechanism. When we need some information, we drive the functions related with the information by reverse tracing of the function which produces the information as a output and input. Through the tracing, we find out the bottleneck process or high cost process. This approach guarantees the integrity of data by designating the data ownership. Finally, we suggest the final decomposition level. We call the final decomposed function into unit function which has only one output data. We can combine and reconstruct some of functions such as 'lego block' combination.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1382-1387
• /
• 2007

ERTMS/ETCS is a signalling and control system designed for interoperability between railway networks. In this paper, SysML was used for modeling of the ERTMS/ETCS trackside system. We used use case diagrams and sequence diagrams for requirements analysis and functional analysis. By doing this, we could show that main functions of the ERTMS/ETCS trackside can be described and verified based on scenarios.

• Nonlinear Functional Analysis and Applications
• /
• 제28권4호
• /
• pp.1069-1086
• /
• 2023

The natural transform is represented by two (p, q)-analogues, and their comparative characteristics are established. To resolve some (p, q)-difference and functional equations, applications are carried out.

• 한국철도학회논문집
• /
• 제17권1호
• /
• pp.35-42
• /
• 2014

연구는 무선통신기반 열차제어시스템의 상호운영성(interoperability)을 확보하기 위하여 열차제어와 관련된 위험원 분석, 열차제어시스템의 기능요구사항 설정 및 차상과 지상ATP(Automatic Train Protection)장치의 기능배치를 포함하고 있다. 개방형 무선통신기술을 활용하고, 지상과 차상에서 수행되는 열차제어시스템의 기능배치를 표준화화여 상호운영성을 확보할 수 있으며, 이를 통하여 철도망의 통합운영체계를 구축할 수 있다. 상호운영성을 지원하는 열차제어시스템의 기능을 지상과 차상에 배치하기 위해서는 위험원 분석과 시스템 요구사항 정의를 필요로 한다. 열차제어시스템의 위험원으로 열차안전간격제어와 열차제한속도초과를 설정하여 위험원 요인을 확인하였다. 또한 위험원 요인이 열차제어시스템에 미치는 영향을 확인하고 열차제어시스템의 하부장치의 기능요구사항과 ATP의 지상기능과 차상기능 배치를 정의하였다.

• 도서관문화
• /
• 제49권7호
• /
• pp.22-30
• /
• 2008

• International Journal of Knowledge Content Development & Technology
• /
• 제8권1호
• /
• pp.25-36
• /
• 2018

Research data must be testable. Science is all about verification and testing. To make data testable, tools used to produce, collect, and examine data during the research must be available. Quite often, however, these data become inaccessible once the work is over and the results being published. Hence, information and the related context must be provided on how research data are preserved and how they can be reproduced. Open Science is the international movement for making scientific research data properly accessible for research community. One of its major goals is building data repositories to foster wide dissemination of open data. The objectives of this research are to examine the features of research data, common repository platforms, and community requests for the purpose of designing functional requirements for research data repositories. To analyze the features of the research data, we use data curation profiles available from the Data Curation Center of the Purdue University, USA. For common repository platforms we examine Fedora Commons, iRODS, DataONE, Dataverse, Open Science Data Cloud (OSDC), and Figshare. We also analyze the requests from research community. To design a technical solution that would meet public needs for data accessibility and sharing, we take the requirements of RDA Repository Interest Group and the requests for the DataNest Community Platform developed by the Korea Institute of Science and Technology Information (KISTI). As a result, we particularize 75 requirement items grouped into 13 categories (metadata; identifiers; authentication and permission management; data access, policy support; publication; submission/ingest/management, data configuration, location; integration, preservation and sustainability, user interface; data and product quality). We hope that functional requirements set down in this study will be of help to organizations that consider deploying or designing data repositories.

• 디지털융복합연구
• /
• 제17권8호
• /
• pp.221-228
• /
• 2019

클라우드 컴퓨팅 활성화 정책에 따라 가상화 제품에 대한 보안 중요성이 증가하였으며, 보다 안전한 클라우드 환경을 운영하기 위해서는 가상화 제품에 대한 사이버 보안위협 분석 및 보안요구사항 개발이 필요하다. 본 논문은 가상화 제품에 대한 보안특징 및 사이버 보안위협 분석을 통해 보안기능 요구사항 개발을 위한 사전 연구 목적으로 수행되었다. 이를 위해, 미국 및 영국에서 가상화 제품의 보안성 평가를 위해 사용하고 있는 평가제도와 가상화 제품에 대한 보안위협, 보안목적 및 보안요구사항들을 비교했다. 또한, 가상화 제품의 보안특징과 관련된 핵심적인 보안기능 요구사항 개발을 위한 항목 및 절차를 제안하여 보다 안전한 가상화 제품 개발 및 보안 평가기준 마련에 기여하고자 한다.