[论文解读] View-Based Modeling of Function Nets

Hans Grönniger, Jochen Hartmann+3 more|arXiv (Cornell University)|Sep 22, 2014

Advanced Software Engineering Methodologies参考文献 9被引用 12

一句话总结

本文提出一种基于视图的建模方法，利用SysML对汽车功能网络进行建模，以弥合功能需求与系统功能之间的鸿沟。该方法通过功能视图使多名开发人员能够高效管理变更，一致性检查确保与完整功能网络的一致性，从而在协作开发环境中提升可维护性和理解性。

ABSTRACT

This paper presents an approach to model features and function nets of automotive systems comprehensively. In order to bridge the gap between feature requirements and function nets, we describe an approach to describe both using a SysML-based notation. If requirements on the automotive system are changed by several developers responsible for different features, it is important for developers to have a good overview and understanding of the functions affected. We show that this can be comprehensively modeled using so called "feature views". In order to validate these views against the complete function nets, consistency checks are provided.

研究动机与目标

• 为解决在多个开发人员协作下管理复杂且持续演化的汽车系统需求的挑战。
• 弥合功能级别需求与底层功能网络实现之间的语义鸿沟。
• 通过特定功能视图提供一种结构化、可扩展的方式来建模与验证系统功能。
• 确保单个功能视图与整体系统功能网络之间的一致性。
• 在协作式汽车软件工程中提升可维护性与理解性。

提出的方法

• 该方法采用基于SysML的表示法，在统一框架中对功能和功能网络进行建模。
• 通过创建功能视图来隔离并表示与特定功能相关的功能，从而支持模块化开发。
• 每个功能视图捕获与特定功能相关的功能、交互关系及约束。
• 在功能视图与完整功能网络之间应用一致性检查，以检测冲突或不一致。
• 该方法支持增量更新与版本控制，使开发人员能够在不破坏系统整体完整性的情况下独立工作于不同视图。
• 通过汽车系统中的案例研究对该方法进行验证，证明其在真实世界嵌入式系统中的适用性。

实验结果

研究问题

• RQ1 如何有效联合建模功能需求与功能网络，以支持协作开发？
• RQ2 哪些机制可确保单个功能视图与完整系统功能网络之间的一致性？
• RQ3 视图建模如何提升大规模汽车系统中的可维护性与理解性？
• RQ4 SysML在支持模块化、可追溯且一致的复杂系统功能建模中发挥何种作用？
• RQ5 功能视图能否在保持系统整体一致性的同时支持增量式开发？

主要发现

• 基于视图的建模方法通过隔离特定功能的实现，成功降低复杂性，提升开发人员的理解能力。
• 功能视图与完整功能网络之间的一致性检查在开发过程中能有效检测冲突与不一致。
• SysML的使用提供了标准化、工具支持的表示法，增强了可追溯性与协作性。
• 该方法支持增量式开发，允许多名开发人员在不破坏整体系统模型的前提下独立工作于不同视图。
• 该方法在真实世界汽车系统环境中得到验证，证明其具备实际适用性与可扩展性。
• 功能视图为理解需求变更对系统功能影响提供了清晰、模块化的接口。