原文来自本人的微信公众号文章  系统工程实验室
 
 

引言

基于模型的系统工程(简称MBSE,英文全称Model based System Engineering )的实践至少需要三个维度的支撑:建模语言、建模方法论和建模工具。建模语言为模型的表述提供了统一的支撑,建模方法论为建模的行为提供了更为一致的准则,建模工具为建模的实现提供了更为自动化的支撑。今天要讨论的主题 “IBM Rational Harmony” 正是MBSE建模方法论之一。

IBM Rational Harmony 架构

Harmony全称为 “Rational Integrated Systems / Embedded Software Development Process Harmony ” ,Harmony的整体架构如下图所示。与经典的系统V模型类似,左侧“下降沿”表示为系统分解,右侧的“上升沿”表示为系统侧层层验证。

 

引自 Harmony SE handbook

在Harmony方法轮中,V模型包含需求分析、系统功能分析、设计综合、软件分析及设计、软件实现以及与之相对应的单元测试、模块集成及测试、(子)系统集成及测试、系统验收测试。涉众需求作为输入,会经过需求分析、系统功能分析、设计综合、软件分析设计、软件实现等阶段,各阶段的输入和输出都以模型的形式提现。同时,系统的演化以迭代的方式进行,系统的变更会触发新的迭代循环。例如新的需求的加入,会重新经历需求分析、系统功能分析......等其他阶段。除此之外,Harmony还引入了统一的配置仓储,用于支撑模型数据的存储及复用。

同样,从上图中还可以看出,Harmony将整个V模型阶段划分为两个松耦合的部分:

  • Harmony for Systems Engineering:需求分析、系统功能分析、设计综合

  • Harmony for Embedded Real TimeDevelopment:软件相关的分析、设计、实现及相应的验证

Harmony for Systems Engineering
本文主要对 “Harmony for System Engineering” 进行简要论述,即对需求分析、系统功能分析、设计综合进行简要说明,后续系列文章中会对各个阶段进行详细说明。

需求分析阶段

需求分析阶段的主要目标是对系统的输入需求进行分析,作为需求工程的一部分,需求分析一个非常大的范围,期内包含的诸多的活动、方法,在此不做详细论述。在Harmony的上下文中,对如下图所示的范围进行论述。

  • 输入:

    • 涉众需求:涉众需求是从用户的角度描述系统的需求,包含用户对系统的功能需求和性能需求的期望。该层级的需求一般是比较零散的、不规范的。

  • 输出

    • 涉众需求规范:该需求是对涉众需求的规范化描述。基于客户输入的涉众需求,以及工程师所遵循的需求分析准则(如何)对涉众需求进行重新定义和整理,并生成理解一致的、清晰的、正确的、可验证的需求。

    • 系统需求规范:系统需求规范是对涉众需求的工程化语言描述的转换,将从用户角度出发描述的需求转化为工程师角度的需求。

    • 用例模型:模型是MBSE的主要交付物形式,用例模型是Harmony需求分析阶段的关键交付物。同时,Harmony要求对系统用例进行分组和优先级划分。

    • 除了删除可见部分外,输出物还包含了模型间的关联关系,具体的是系统需求和涉众需求间的关联。用例模型和系统需求间的关联。

系统功能分析阶段

系统功能分析阶段主要目标是将需求分析阶段产生的功能性的系统需求转化为更加精确的系统描述。该阶段是用例驱动的,每个用例都会被分析,并产生可执行的模型,模型通过执行的方式进行验证。

该阶段基于每个用例,会对其设计相应的黑盒活动图、黑盒序列图以及黑盒的状态机图。

设计综合阶段

设计综合阶段的目标是系统物理机构的开发,该架构需要满足性能需求前提下保证系统功能需求的实现。设计综合阶段包括架构分析和架构设计两个阶段。

  • 架构分析阶段

    • 系统功能分析用于定义系统“做什么”,架构分析用于定义系统“如何做”。如何进行架构分析在Harmony有一套建议的工作流可供参考,后续会详细介绍。

  • 架构设计阶段

    • 架构设计阶段的重点是功能需求和非功能需求到架构结构的分配。

    • 该阶段将用例相关的黑盒视图转化为白盒视图。

小结

Harmony是支持MBSE的建模方法论之一,其定义了基于模型的系统工程的建模工作流和典型模型输出物。整个方法论基于系统V模型展开,系统模型贯穿系统研发的整个生命周期。

关于每个阶段的详细工作流及最佳实践会在后续文章总给出,请关注“系统工程实验室”微信订阅号。

【Harmony】概述的更多相关文章

  1. 【AR实验室】ARToolKit之概述篇

    0x00 - 前言 我从去年就开始对AR(Augmented Reality)技术比较关注,但是去年AR行业一直处于偶尔发声的状态,丝毫没有其"异姓同名"的兄弟VR(Virtual ...

  2. Recurrent Neural Network系列1--RNN(循环神经网络)概述

    作者:zhbzz2007 出处:http://www.cnblogs.com/zhbzz2007 欢迎转载,也请保留这段声明.谢谢! 本文翻译自 RECURRENT NEURAL NETWORKS T ...

  3. Swift3.0服务端开发(一) 完整示例概述及Perfect环境搭建与配置(服务端+iOS端)

    本篇博客算是一个开头,接下来会持续更新使用Swift3.0开发服务端相关的博客.当然,我们使用目前使用Swift开发服务端较为成熟的框架Perfect来实现.Perfect框架是加拿大一个创业团队开发 ...

  4. .Net 大型分布式基础服务架构横向演变概述

    一. 业务背景 构建具备高可用,高扩展性,高性能,能承载高并发,大流量的分布式电子商务平台,支持用户,订单,采购,物流,配送,财务等多个项目的协作,便于后续运营报表,分析,便于运维及监控. 二. 基础 ...

  5. [C#] 进阶 - LINQ 标准查询操作概述

    LINQ 标准查询操作概述 序 “标准查询运算符”是组成语言集成查询 (LINQ) 模式的方法.大多数这些方法都在序列上运行,其中的序列是一个对象,其类型实现了IEnumerable<T> ...

  6. 【基于WinForm+Access局域网共享数据库的项目总结】之篇一:WinForm开发总体概述与技术实现

    篇一:WinForm开发总体概述与技术实现 篇二:WinForm开发扇形图统计和Excel数据导出 篇三:Access远程连接数据库和窗体打包部署 [小记]:最近基于WinForm+Access数据库 ...

  7. Java消息队列--JMS概述

    1.什么是JMS JMS即Java消息服务(Java Message Service)应用程序接口,是一个Java平台中关于面向消息中间件(MOM)的API,用于在两个应用程序之间,或分布式系统中发送 ...

  8. [AlwaysOn Availability Groups]健康模型 Part 1——概述

    健康模型概述 在成功部署AG之后,跟踪和维护健康状况是很重要的. 1.AG健康模型概述 AG的健康模型是基于策略管理(Policy Based Management PBM)的.如果不熟悉这个特性,可 ...

  9. μCos-ii学习笔记1_概述

    一.μCos-ii _概述 网上关于μCosii的文章多不胜数,本人学习的过程中也参考了很多人的理解和想法,看的是卢有亮老师的<嵌入式实时操作系统-μC/OS原理与实践>(第2版),同时也 ...

随机推荐

  1. Angular - - angular.forEach、angular.extend

    angular.forEach 调用迭代器函数取每一项目标的集合,它可以是一个对象或数组.迭代器函数与迭代器(value.key)一起调用,其中值是一个对象属性或数组元素的值,而数组元素是对象属性的关 ...

  2. C#中如何使用IComparable<T>与IComparer<T>接口(转载)

    本分步指南描述如何使用两个接口: IComparer和IComparable.在同一篇文章中讨论这些接口有两个原因.经常在一起,使用这些接口和接口类似 (并且有相似的名称),尽管它们用于不同用途. 如 ...

  3. QT第四天学习

    回顾: 1.信号与槽 public slots: //先声明后实现 signals: //只需要声明 connect(sender,SIGNAL(signal()),receiver,SLOT(slo ...

  4. 创建第一个Android应用程序 HelloWorld

    按照博客的进程,今天应该进行程序编写啦,下面让我们开写一个简单的HelloWorld程序. 提示:这里对于如何使用Eclipse创建一个Android程序就不多讲啦,不会的同学可以去查阅相关文档. 程 ...

  5. 故障排查实战案例——某电器ERP系统日志暴增

    前言 本篇文章写在新春佳节前夕,也是给IT运维朋友一个警醒,在春节长假前请妥善体检自己的系统安心过个年. 千里之堤毁于蚁穴,一条看似简单的语句就能拖垮整个系统,您的SQL Server很久没体检了吧? ...

  6. SuperSocket入门(五)-常用协议实现模版及FixedSizeReceiveFilter示例

             Socket里面的协议解析是Socket通讯程序设计中最复杂的地方,如果你的应用层协议设计或实现不佳,Socket通讯中常见的粘包,分包就难以避免.SuperSocket内置了命令行 ...

  7. Go并发编程实践

    前言 并发编程一直是Golang区别与其他语言的很大优势,也是实际工作场景中经常遇到的.近日笔者在组内分享了我们常见的并发场景,及代码示例,以期望大家能在遇到相同场景下,能快速的想到解决方案,或者是拿 ...

  8. 基於tiny4412的Linux內核移植 --- 实例学习中断背后的知识(1)

    作者:彭东林 邮箱:pengdonglin137@163.com QQ:405728433 平台 tiny4412 ADK Linux-4.9 概述 前面几篇博文列举了在有设备树的时候,gpio中断的 ...

  9. GreenOpenPaint的实现(一)基本框架

    Win7下的MSPaint是Ribbon的典型运行.这种SDI程序对于图像处理来说是很适合的.利用春节时间,基于之前的积累,我实现GreenOpenPaint,主要就是模拟MSPaint的界面,实现出 ...

  10. CXF_Spring_Rest

    一.接口类 <PRE class=java name="code">@Path("/rest_HelloWorld") public interfa ...