[论文解读] Specification and Verification of Uplink Framework for Application of Software Engineering using RM-ODP

Krit Salah-ddine, Jalal Laassiri+1 more|arXiv (Cornell University)|Apr 30, 2012

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方法在采纳过程中面临的关键障碍。
• 仿真结果证实了上行链路路径中放大器增益与信号完整性的正确性，验证了框架的正确性。
• 该方法为嵌入式移动电话系统开发提供了全面且可验证的解决方案。