关于模型的系统工程和系统建模语言SysML浅析论文
所谓系统,是指由相互关联、相互制约、相互作用的一些部分所组成的具有某种功能的有机整体。系统工程是以系统理论为依据,以整个系统为研究对象,从全局统一考虑,运用运筹学、概率学与统计学、控制论、信息论、管理学、经济学及计算机科学等科学理论与方法去权衡解决问题,实现系统整体性价比最优的一门学科。
在系统工程初期阶段,系统产生的信息均是以文档的形式来描述和记录。但是随着系统的规模和复杂程度的不断提高,这种基于文档的系统工程面临的困难越来越突出,如信息表示不准确,容易产生歧义、难以从海量文档中查找所需信息、无法与其他工程领域的设计相衔接(如软件、机械、电子等、。
为了解决这些问题,基于模型的系统工程MBSE(ModelBasedSystemsEngineering、便产生了,这也正是未来系统工程发展的必然趋势。为了支持基于模型的系统工程MBSE,国际系统工程学会INCOSE以及对象管理组织OMG在对统一模型语言UML进行重用和扩展的基础上,推出一种标准的系统建模语言SysML(SystemsModelingLanguage、,消除了不同模型语言在表达法及术语上的不同,规范了符号和语义。同统一模型语言(unifiedmodelinglanguage,UML、主导了软件工程设计一样,SysML也将是统一系统工程的建模语言。
1系统工程概述
《方法论》(Discoursdelaméthode、是法国著名哲学家、科学家和数学家勒内·笛卡儿在1637年出版的著名论著。笛卡儿在方法论中提出了一套研究问题的方法,其中最典型的观点就是把要研究的复杂问题,分解成比较简单的小问题,再把小问题从简单到复杂排列,先解决容易的问题。如果每一个小问题都解决好了,再组合起来的大问题自然就解决好了。
笛卡儿的理论和观点对西方人的思维方式,行为模式以及科学研究方法产生了极大的影响。在十九世纪六十年代以前,西方科学研究的方法,基本都是按照笛卡儿的方法论进行的。《方法论》对西方近代科学文化的飞速发展,起了极大的促进作用。一直到美国阿波罗号登月工程的出现,科学家们才发现,有的复杂问题根本无法分解,即使分解了,各个小问题之间也有关联和冲突,必须以复杂的、整体的方法来解决,因此系统工程方法出现了,方法论的方法才被综合性的系统工程方法所取代。
简单地讲,系统工程就是开发解决问题的系统的思想方法,按照这样的方法和步骤就可以帮助人们了解一个系统,对于复杂的系统就不会使人感到无从下手。
2基于模型的系统工程
基于模型的系统工程MBSE(Model-BasedSystemsEngineering、就是采用模型的表达方法来描述系统的整个生命周期过程中需求、设计、分析、验证和确认等活动。
随着系统的规模和复杂程度的提高,传统的基于文档的系统工程将产生大量的各种不同的文档,它面临的困难越来越明显:
1、信息的完整性和一致性以及信息之间的关系难于评估和确定,因为它们散布于各种不同的数量巨大的文档中。
2、难于描述各种活动。活动是动态的,有交互的,仅用文字描述对于相对简单,参与方不多的活动还能胜任,但对于复杂活动就很难描述清楚了。
3、更改的难度很大。由于文档的数量巨大,要确保所有需要更改的内容都得到更改,将是个很难很大的工程。
基于模型的系统工程MBSE的出现就是为了解决基于文档的系统工程方法的困难,相对于基于文档的系统工程方法,它主要在以下几个方面有所改进:
1、知识表示的无二义性。文字的描述经常会因为个人理解的差异而产生不同的解释,而模型是一种高度图形化的表示方法,具有直观、无歧义、模块化、可重用等优点,建立系统模型可以准确统一地描述系统的各个方面,如功能、详细规范与设计等,对整个系统内部的各个细节形成统一的理解,尤其是可以提高设计人员和开发人员之间的理解的一致性。
2、沟通交流的效率提高。随着系统的规模和复杂程度的提高,各种文档越来越多,相对于厚厚的技术文档,阅读图形化的模型显然更加便利直观、无歧义,使得不同人对同一模型具有统一一致的理解,有利于提高系统内各个需要协调工作部门之间的沟通与交流的效率,如顾客、管理人员、系统工程师、软硬件开发人员、测试人员等。
3、系统设计的一体化。由于系统模型的建立是涵盖系统的整个生命周期过程的,包括系统的需求、设计、分析、验证和确认等活动,是一个统一整体的过程,可以提供一个完整的、一致的并可追溯的系统设计,从而可以保证系统设计的一体化,避免各组成部分间的设计冲突,降低风险。
4、系统内容的`可重用性。系统设计最基本的要求就是满足系统的需求并且把需求分配到各个组成部分,因此建立系统的设计模型必然会对系统的各个功能进行分析并分解到各个模块去实现,从而对于功能类型相同的模块就不必重复开发了。
5、增强知识的获取和再利用。系统生命周期中包含着许多信息的传递和转换过程,如设计人员需要提取需求分析人员产生的需求信息进行系统的设计。由于模型具有的模块化特点,使得信息的获取、转换以及再利用都更加方便和有效。
6、可以通过模型多角度的分析系统,分析更改的影响,并支持在早期进行系统的验证和确认,从而可以降低风险,降低设计更改的周期时间和费用。同其他工程学科(软件、电子等、一样,系统工程正在进行进化:从基于文档的方法到基于模型的方法,而这也正是系统工程发展的必然趋势。
3系统建模语言SysML
在SysML推出以前,系统工程使用的建模语言工具和种类很多,如IDEF0、行为图、N2图等。这些建模语言使用的符号和语义各不相同,各自为政,彼此之间互不支持,无法互操作和重用。系统工程缺乏一种强大的“标准的”建模语言,严重限制了系统工程和其他学科之间的有效沟通,影响了系统工程的质量和效率。
为了支持基于模型的系统工程MBSE,是国际系统工程学会(Interna?tionalCouneilofSystemsSystemsEngineering,INCOSE、和对象管理组织(Ob?jectManagementGroup,OMG、联合提出的一种通用的针对系统工程应用的“标准系统建模语言”SysML(SystemsModelingLanguage、[3],它可以支持系统工程应用的多领域系统包含硬件、软件、信息等系统的需求分析、系统设计、功能描述、系统验证等。
系统工程经过多年的发展,逐渐在各个层次的理论研究和工程实践中提出了许多标准,如图2所示为系统工程的标准框架。一般从方法学上来讲,系统工程的实施可以分为5个层次,从顶层设计到具体实施分别是过程标准、体系结构框架、建模方法、建模与仿真标准、数据交换标准,以及最底层的数据库。SysML正是建模与仿真层的“标准建模仿真语言”。
SysML作为系统工程领域一种新的系统建模语言,主要是以软件工程领域事实上的标准--统一模型语言UML(unifiedmodelinglanguage、为基础,集成了面向对象和面向过程的可视化设计语言的优势,修改扩充了活动图及需求图,并将配置图集成到装配图中,是系统工程领域推广的标准系统建模语言。
SysML的设计目的是要解决系统工程中面临的建模问题,为系统设计师提供一种简单易学、功能强大的建模语言。SysML对于系统设计分析中系统的需求分析、结构分析、行为描述、参数分配和属性约束等描述特别有效,它支持结构化和面向对象的多种方法和多种过程。SysML在重用UML2.1的基础上,对其进行了特定的扩充和修改。重叠部分表示SysML重用UML的部分,可见SysML在UML的基础上还有特定的扩充和修改,UML中还有很多要素是不为SysML所用的要素。如图4所示是SysML图形分类,SysML一共定义了三类共9种图形来描述模型的各个方面特征。分别是需求图、结构图和行为图。结构图包括方框图、内部块图、包图和参数图,其中参数图是SysML新增的图形,方框图、内部块图是在UML的基础上扩展和修改的,包图是重用UML的图形;行为图包括活动图、顺序图、状态机图和用例图,其中只有活动图是在UML的基础上扩展和修改的,其它都是重用UML的图形。为了加强需求的分析设计,需求图也是SysML新增的图形。
4SysML在系统建模中的应用
限于篇幅,本文仅以汽车的刹车系统ABS系统为例,运用SysML系统模型语言简单描述一下该系统的结构、活动、参数和需求等。
第一步,描述需求。为了加强对系统需求的分析设计,SysML新增了需求图。需求是指系统必须满足的能力或条件,一个需求能够分解成多个子需求。需求图能够描述系统的详细需求以及分系统的需求、各需求之间以及需求和其他建模元素之间的关系。SysML用requirements说明需求,需求图有点类似于类图,有两个属性:text和id。text是需求的文本描述,id是需求的标识符。如图5所示为刹车系统的需求,详细的需求描述又分为两项,一项为制动距离,具体为在干燥平整的了路面上车辆应在150英尺范围内完成从60公里/小时到停止的制动。另一项是反锁死行为的需求描述,具体即在所有的刹车条件下,刹车系统都应该阻止轮胎锁死。
第二步,描述系统的结构。如图6所示是用SysML的包图描述ABS系统的结构。ABS系统主要是由电子设备中心处理器、反锁死控制器、电子液压阀门、牵引力探测器和刹车调节器组成。牵引力探测器和刹车调节器是反锁死控制器的组成部分,代号为d1和m1,同时可以看出牵引力探测器有信息传给电子设备中心处理器,刹车调节器控制电子液压阀门。通过这个图,可以看出ABS系统的组成结构以及各部分相互之间的关联。如图7所示是用SysML的内部块图描述反锁死控制器的内部关系。可见反锁死控制器有两个子单元,即牵引力探测器和刹车调节器。牵引力探测器输出一个控制信号c2到刹车调节器的输入端。
第三步,描述系统的行为,即活动。SysML的行为图有四个图形:顺序图、活动图、状态机图和用例图。由于这个系统较小,行为比较简单,我们只用活动图就可以描述清楚系统的行为。如图8所示是用SysML的活动图描述反锁死控制的活动行为。可见反锁死控制活动相关的有两个子单元(两个泳道、,即牵引力探测器和刹车调节器。当牵引力探测器发现牵引力丢失后就发送控制信号c2给刹车调节器控制刹车的力度。
第四步,通过参数图分析各系统参数之间的关系。参数图也是SysML新增的图形,参数关系没有方向,只是说明了一个属性值的变化对其他的属性值有影响。参数约束关系可以描述系统的各属性之间的相互关系,可以是基本的数学操作符,也可以是相互关系的数学表达式。如图9所示为直线行车的动力参数图,其中e1是刹车力度等式;e2是加速度等式;e3是速度等式;e4是距离等式。分别可见f=(tf*bf、*(1-tl、;f=m*a;a=dv/dt;v=dx/dt。系统中经常重复利用的各种参数、变量或者某个模块都应该在包图中定义出来,图9中的各个变量(tf、bf、m、a、t、v、tl等、就应在包图中定义。
限于篇幅,本文举的这个例子是对简单小系统的描述过程,建模和分析过程比较简单。对于复杂大系统通常也是这个过程,即从系统的需求分析开始,只不过系统需要逐级分解描述各个分系统的需求、结构、行为以及各个分系统之间的关系。需要说明的是,SysML是标准建模语言,而不是标准过程或方法。不同的系统工程应用领域要求不同的过程,SysML独立于任何一种系统工程过程和方法,但支持任何过程和方法。
5结论
本文简要介绍了基于模型的系统工程和SysML模型语言并以汽车的ABS系统为例建立了基于SysML的系统模型。限于篇幅SysML的其他图形以及图形的混合用法没有介绍。
SysML是是国际系统工程学会(InternationalCouneilofSystemsSystemsEngineering,INCOSE、和对象管理组织(ObjectManagementGroup,OMG、联合提出的一种通用的针对系统工程应用的“标准系统建模语言”,能对系统工程的各种问题建模。消除了不同模型语言在表达法及术语上的不同,规范了符号和语义。目前系统工程领域的各工具开发商都在致力于SysML建模与仿真环境的开发,市场上也已经有不少相关产品,相信同统一模型语言(unifiedmodelinglanguage,UML、主导了软件工程设计一样,SysML也将统一系统工程的建模语言。SysML的广泛应用必将提高系统工程之间以及和其他学科之间的有效沟通,将有力地推动系统工程理论和实践的发展。
【模型的系统工程和系统建模语言SysML浅析论文】相关文章:
系统工程的建模问题07-02
简谈基于模型的系统工程概述论文11-14
有关模型系统工程在航空工业中的应用论文11-08
系统工程能力成熟度模型11-30
机载防撞系统水平防撞模型的建模与仿真10-03
系统观点和系统工程方法07-12
基于元模型的复杂系统建模方法研究07-12
试验有限元建模和模型修改07-12
建筑弱电系统工程的设计和施工技术分析论文12-13