• 한국정보통신학회논문지
• /
• 제7권2호
• /
• pp.214-227
• /
• 2003

어플리케이션을 개발하는 데 있어서 전통적인 텍스트 기반의 방법으로는 정확한 요구사항을 파악하기 어렵다. 그리고 각 개발 단계에서의 분석과 확인에 관한 문제점이 있다. 그러므로 만약 검증에서 에러와 요구사항의 교환이 요구된다면 모든 시스템에 나쁜 효력이 발생할 수 있다. 이 경우 개발비용과 기간에 불리하게 작용한다. 따라서 분석과 검증은 에러가 자주 일어나는 것을 방지하기 위해서 수행한다. 본 논문에서는 각 개발 단계에 대한 분석과 확인 그리고 그래픽 인터페이스를 제공하는 SDL을 이용한 TCP/IP 혼잡제어 알고리즘에 대해서 논한다. SDL을 사용함으로써 각 개발 단계에 대한 명확한 표현과 정확한 에러 또는 요구사항 교환에 검증을 쉽게 할 수 있다. 추가적으로 프로토콜의 단계는 MSC의 확인을 통해서 시뮬레이션으로 확인하고 결론에서는 TCP/IP 프로토콜보다 개발의 가능성을 보인다.

• Journal of Electrical Engineering and Technology
• /
• 제4권1호
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

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

The object of this study is to define systematically for outputs of Verification Process among the system life cycle process based on ISO/IEC 15288 for power supply system, which is one of the importance sub-systems to configure the LRT system. Furthermore, to prevent various problem in advance that can occur in the Transition LRT's power supply to be completed Integration. For this purpose, traceability of verification requirement and outputs. should be managed to use verification for system requirement and data processing tool. by system engineering techniques of system life cycle process based on ISO/IEC 15288 to LRT system.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집 특별세미나,특별/일반세션
• /
• pp.395-400
• /
• 2009

The HEMU-400X project starts at 2007. It is important first of all that describing correctly system requirement during configuration of system, design, manufacturing, installation and test verification so that the complicated high-speed electric multiple unit is to run safety and reliable and to achieve target performance and function properly. The system requirement assist the system designer to understand the performance and function of system in basic design. For this process, system engineer have to manage the system requirement. This paper proposes the management contents of system requirement such as change management, requirement traceability, etc, for HEMU-400X.

• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 추계종합학술대회 논문집
• /
• pp.1049-1052
• /
• 1999

As the Internet traffic increases, the demand for higher performance routers continues to grow, and it makes switch chips more complex. To make matters worse, these chips also need to handle high-level services. In this paper, we introduce an efficient verification methodology that can support real network traffics to satisfy the verification requirement of real complex situation even at the early design phase of switch chips.

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

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

• 한국철도학회논문집
• /
• 제10권3호
• /
• pp.365-371
• /
• 2007

The communication protocol for interface among railway signalling systems is designed and established as national standard in Korean from a few years ago. So the communication link for information transmission among railway signalling system can be a good example of application of this standard. Communication protocol which is standardized among Korean railway signalling is considered to apply information transmission. And we confirmed there is no the states of deadlock of livelock in std. protocol which is applied formal verification which is one of the analytic method for inspection of safety characteristics in the design course of protocol. But the safety of protocol has to necessarily accomplish this normal analysis approach about satisfying requirement matters with such this analytic approach. In this paper we analyzed the safety characteristics of standard protocol for Korean Railway signalling through the requirement matters for safety transmission of railway transmission system which is required in international standard. So through this study we confirm whether it satisfies safety requirement matters of the level which require in international standard and tried to confirm whether standard protocol has enough safety character in the real railway field.

• Current Optics and Photonics
• /
• 제7권4호
• /
• pp.354-361
• /
• 2023

We present the optical design and experimental verification of resolving performance of a 3× long wavelength infrared (LWIR) zoom camera for drones. The effective focal length of the system varies from 24.5 mm at the wide angle position to 75.1 mm at the telephoto position. The design specifications of the system were derived from ground resolved distance (GRD) to recognize 3 m × 6 m target at a distance of 1 km, at the telephoto position. To satisfy the system requirement, the aperture (f-number) of the system is taken as F/1.6 and the final modulation transfer function (MTF) should be higher than 0.1 (10%). The measured MTF in the laboratory was 0.127 (12.7%), exceeds the system requirement. Outdoor targets were used to verify the comprehensive performance of the system. The system resolved 4-bar targets corresponding to the spatial resolution at the distance of 1 km, 1.4 km and 2 km.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권1_2호
• /
• pp.118-124
• /
• 2004

본 논문에서는 스마트 카드에서 응용 프로그램을 다운로드 하거나 갱신할 때 응용 프로그램의 위/변조를 효율적으로 검증할 수 있는 인증 기법을 제시한다. 기존 기법은 응용 프로그램을 인증할 때 검증 지연 시간이 길거나, 스마트 카드의 2차 메모리 오버헤드가 많거나, 혹은 많은 양의 1차 메모리를 요구한다. 제안된 기법은 해쉬 체인 기법을 효율적으로 사용한 파라미터화 기법으로서, 응용 블록 수가 n일 때 메모리 오버헤드와 응용 프로그램을 갱신 시 발생하는 검증 지연 시간이 각각 O(k), O(k＋n/k)이다. 또한 제안 기법은 1차 메모리 요구량이 O(1)으로 가장 적으며, 응용 프로그램을 다운로드 시 생기는 검증 지연시간도 O(1)으로 가장 적다.