[논문 리뷰] Specification and Verification of Uplink Framework for Application of Software Engineering using RM-ODP

Krit Salah-ddine, Jalal Laassiri외 1명|arXiv (Cornell University)|2012. 04. 30.

Advanced Software Engineering Methodologies참고 문헌 24인용 수 3

한 줄 요약

이 논문은 RM-ODP 시점 및 UML/VHDL-AMS를 사용하여 아날로그 신호 처리의 시간, 동시성 및 순차적 행동 제약 조건을 모델링하고 검증하는 무선 모바일 기기 응용 프로그램을 위한 업링크 프레임워크를 제안한다. 업링크 경로, 특히 마이크로폰 앰프 이득과 신호 무결성의 효과적인 사양 및 검증을 통해 임베디드 시스템의 산업적 요구사항 엔지니어링 과제에 실용적인 해결책을 제공한다.

ABSTRACT

This paper present a survey and discussion of the Reference Model for Open Distributed Processing (RM-ODP) viewpoints; oriented approaches to requirements engineering viewpoint and a presentation of new work in the application wireless mobile phone, this area which has been designed with practical application using the Unified Modelling Language (UML)/VHDL_AMS (VHSIC Hardware Description Language Analog and Mixed-Signal). We mainly focus on rising and fulling time, action, uplink behaviour constraints (sequentiality, non determinism and concurrency constraints).We discuss the practical problems of introducing viewpoint; oriented requirements engineering into industrial software engineering practice and why these have prevented the widespread use of existing approaches. The goal of this article is to check the uplink path using the MIC (Microphone amplifier) with all analog inputs, and check the amplifier gain. This paper provides an example of using the Uplink Framework to build a comprehensive, good solution for Application Wireless Mobile Phone. Finally, we discuss how well this approach addresses some outstanding problems in requirements engineering (RE) and the practical industrial problems of introducing new requirements engineering methods.

연구 동기 및 목표

• 무선 임베디드 시스템에 시점 중심 요구사항 엔지니어링 적용에 있어 산업적 과제를 해결하기 위해.
• 모바일 기기 응용 프로그램의 업링크 경로를 위한 형식적 사양 및 검증 프레임워크를 개발하기 위해.
• 증폭기 이득 및 시간 제약 조건(순차성, 비결정성, 동시성)을 포함한 아날로그 신호 행동을 모델링하고 검증하기 위해.
• 이론적 요구사항 엔지니어링 방법과 산업 현장의 실질적 소프트웨어 엔지니어링 간 격차를 메우기 위해.
• RM-ODP 및 UML/VHDL-AMS가 실제 모바일 기기 시스템 설계에서 실현 가능하고 효과적인지 입증하기 위해.

제안 방법

• 무선 모바일 시스템의 요구사항 엔지니어링을 위해 다수의 시점을 정의하기 위해 RM-ODP 프레임워크를 적용하기 위해.
• 시스템 수준의 모델링을 위해 UML를 사용하고, 아날로그 및 혼합 신호 행동 사양을 위해 VHDL-AMS를 사용하기 위해.
• 마이크로폰 앰프(MIC) 및 아날로그 입력 처리를 포함한 업링크 경로 모델링하기 위해.
• 상승 및 하강 시간과 같은 시간 제약 조건 및 동작 순서의 형식적 검증을 위해.
• 정확한 행동 시뮬레이션을 위해 시스템 모델에 동시성 및 비결정성 제약 조건 통합하기 위해.
• 시뮬레이션 및 형식적 분석을 통해 증폭기 이득과 신호 무결성 검증하기 위해.

실험 결과

연구 질문

• RQ1 RM-ODP 시점은 어떻게 효과적으로 무선 모바일 기기 시스템의 실시간 제약 조건을 모델링하고 검증하는 데 적용될 수 있는가?
• RQ2 UML과 VHDL-AMS는 업링크 경로의 아날로그 및 혼합 신호 행동을 모델링하고 검증하는 데 얼마나 효과적으로 함께 사용될 수 있는가?
• RQ3 산업 소프트웨어 엔지니어링에서 시점 중심 요구사항 엔지니어링의 도입에 있어 실질적 장애 요소는 무엇인가?
• RQ4 제안된 프레임워크는 신호 처리에서 동시성, 비결정성 및 순차적 시간 제약 조건을 얼마나 잘 다루는가?
• RQ5 프레임워크는 업링크 경로에서 올바른 증폭기 이득과 신호 무결성을 확보할 수 있는가?

주요 결과

• 업링크 프레임워크는 마이크로폰 앰프 이득 및 신호 시간 제약 조건을 포함한 업링크 경로를 성공적으로 모델링하고 검증한다.
• RM-ODP 시점과 UML/VHDL-AMS의 통합은 복잡한 아날로그 및 혼합 신호 행동의 형식적 사양을 가능하게 한다.
• 프레임워크는 시스템 설계에서 순차성, 비결정성 및 동시성 제약 조건을 효과적으로 캡처하고 강제한다.
• 이 방법은 산업 소프트웨어 엔지니어링에서 실질적인 적용 가능성을 보이며, 시점 중심 RE 방법의 도입에 있어 핵심 장애 요소를 해결한다.
• 시뮬레이션 결과는 업링크 경로 전반에서 정확한 증폭기 이득과 신호 무결성이 확인되어 프레임워크의 정확성을 검증한다.
• 이 방법은 임베디드 모바일 기기 시스템 개발을 위한 종합적이고 검증 가능한 솔루션을 제공한다.