• 정보과학회 논문지
• /
• 제45권1호
• /
• pp.36-44
• /
• 2018

4차 산업혁명의 도래로 인하여 자율주행 자동차, 지능 로봇 등을 구현을 위한 ICT 분야의 기술 개발이 시급히 요구되고 있다. 특히 융합 IT를 기반으로 하는 모든 시스템들이 센서나 액추에이터와 연동하는 CPS(Cyber Physical Systems) 형태로 개발되고 있다. 기존의 CPS 명세는 단일 시스템의 행위만을 명세하였기 때문에, 초연결성과 초융합성을 갖는 4차 산업혁명 시대의 CPS 시스템이 갖는 협업 및 다양성 측면에 명세는 충분히 제시되지 못하였다. 특히 실시간적 특성을 갖는 다양한 응용에서는 더욱 협업적 특성을 고려한 행위 모델링이 이루어지지 못하였다. 본 논문에서는 이러한 실시간 협업 환경에서 임무를 수행하는 CPS용 임베디드 소프트웨어를 개발할 때, 어떠한 비기능 요구사항이 식별되어야 하는가를 정의한다. 이러한 요구사항은 ISO 25010 표준에 근거하여 도출하며, 실시간 협업을 위해 상태 기반의 Timed Process를 이용하여 정형적으로 명세한다. 도출된 비기능 요구사항들은 추후 CPS 기반의 새로운 임베디드 소프트웨어에 대한 요구사항을 정의하기 위해 재사용될 수 있을 것이며, 이를 통해 CPS의 품질만족도를 향상시킬 수 있을 것이다.

• 한국CDE학회논문집
• /
• 제10권4호
• /
• pp.237-243
• /
• 2005

To increase the productivity and efficiency of an enterprise, all relevant product information should be provided to shop floor workers timely and in a unified form because shop floor workers are final consumers of most accumulated information generated from various departments of an enterprise. But, most existing enterprise information systems have an emphasis upon providing design/manufacturing information to office workers. Proposed in this study is the development of integrated design/manufacturing information system focused on providing cohesive information required to shop floor activities. For developing integrated information system, the functional requirements at the shop floor are identified and analyzed. Based on the extracted functional requirements, object-oriented system design and implementation is conducted. By using this system, shop floor workers can use all relevant information required to their daily operation in a integrated and unified form.

• 한국문헌정보학회지
• /
• 제40권3호
• /
• pp.305-331
• /
• 2006

서지세계의 개념모형인 FRBR은 디지털도서관의 확산으로 그 유용성이 더 증대되고 있다. 이 연구의 목적은 FRBR 모형의 적용 전략을 살펴보기 위한 것이다. 이 연구에서는 해외 적용사례를 대상으로 FRBR 모형의 채택 이유와 FRBR 제1집단 개체의 수용방법을 살펴보았다. 이 연구 결과는 FRBR모형에 대한 연구 및 구현의 활성화를 위해 활용될 수 있을 것이다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2015년도 춘계학술대회
• /
• pp.338-339
• /
• 2015

VTS 의사결정지원시스템은 관제사들이 선박을 관제함에 있어서, 의사결정을 지원하기 위하여 선박 간 거리 등의 정보를 제공하는 시스템을 의미한다. 본 논문에서는 현재 제정되고 있는 IALA 표준을 중심으로 VTS 의사결정지원 시스템의 구분, 제공하는 경고 정보의 세분화된 정의, 제공되어야 할 경고 기능 등을 분석한다.

• 한국전자거래학회지
• /
• 제9권3호
• /
• pp.129-144
• /
• 2004

컴포넌트 기반 개발에 사용되는 CASE 도구는 기본적으로 모델링 기능, 프로젝트 관리 기능, 그리고 구현 및 테스트 지원 기능 등이 필요하다. 본 논문에서는 컴포넌트 기반 개발 시에 사용되는 CASE 도구의 기능적 요구사항을 제시한다. 기 존재하는 컴포넌트 기반 개발 도구들로부터 도구의 기능적 요구사항을 도출하여 분석/설계, 프로젝트 관리, 구현 및 테스트, 기타 기능 지원 등으로 분류하여 제시하고, 개발관리 기능을 추가하여 컴포넌트 기반 개발을 위한 CASE 도구를 제안한다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제16권3호
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 추계학술대회 논문집
• /
• pp.629-632
• /
• 2007

Communications Based Train Control(CBTC) is a continuous, automatic train control system utilizing high-resolution, train location determination independent of track circuits; continuous, high capacity, bi-directional train-to-wayside data communications; and trainborne and wayside processors capable of implementing vital functions. In this paper, we present a basic design of CBTC system based on ERTMS/ETCS specifications. The basic design is composed of system requirements analysis, system functional analysis, system architectural design, sub-system requirements analysis, sub-system functional analysis. Each deliverable has been produced according to a development process based on UML/SysML.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.175-178
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.460-463
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• 한국정밀공학회지
• /
• 제16권5호통권98호
• /
• pp.124-131
• /
• 1999

DVD(Digital Versatile Disk) is the data storage media devised to make high storage density and high speed data input/output possible. For example, a whole length movie can be stored in a disk as large as a CD(Compact Disk). Therefore higher rotational speed and better accuracy in optical pick-up are required compared with the existing optical storage device. Without these operational functional requirements being satisfied DVD will lose its place as the high capacity storage device. This paper evaluated whether the currently developed DVD satisfies the requirements and provides improved methods with the Axiomatic Approach which is superb in evaluating and designing newly concepted designs.