您的位置:首页 > 新闻通知

CCOSE 第34期系统工程沙龙活动通知

来源: CCOSE   |   2020年6月17日, 13:21   

2020年6月21日(周日),中国系统工程学会科普工作站、CCOSE系统工程沙龙将举办第34期系统工程沙龙。本期沙龙特别邀请到EPFL洛桑联邦理工学院博后研究员鲁金直博士,主题是“下一代MBSE建模语言——KARMA”。欢迎广大系统工程爱好者积极参与。 

中国系统工程学会科普工作站、CCOSE系统工程沙龙为广大系统工程一线工作者与专家们提供了交流与分享的公益平台,欢迎更多的人参与到系统工程的应用实践与推进工作中。

一. 时间:2020 年6月21日(周日) 19:00 — 20:30

二. 内容:

内容

时间

1、 下一代MBSE建模语言KARMA
    1) MBSE背景
    2) KARMA语言形式化建模
    3) KARMA语言关键技术介绍
    4) 案例展示

19:00-20:00

2、互动交流

20:00-20:30

三. 沙龙地址 

地址:受疫情影响,本次沙龙采用【钉钉】软件在线研讨,点击以下链接或扫描二维码参会。

会议链接:请点击→ 参加会议 ,或者扫描二维码:

请参会者提前安装好钉钉APP或电脑版软件。

四. 报名方式: 

请参会者在进入会议后将个人昵称改为“姓名-工作单位”形式,设置静音,并关闭视频。未按照上述格式设置的将可能会被移出会议室。
修改方式为:进入聊天群后,点击窗口左上角的“群设置”按钮,在弹出的对话框中找到“我在本群的昵称”,然后修改为“实名-单位”。
请在6月21日18:55前(提前 5-10 分钟)进入会议。


 五. 主讲人介绍 

鲁金直,EPFL洛桑联邦理工学院博后研究员,中科蜂巢CTO,瑞典皇家理工学院博士。目前是欧盟H2020项目Factlog及qu4lity的子课题牵头人之一。研究领域包括基于模型系统工程,基于模型系统工程工具链,联合仿真,基于模型系统工程企业转化方法,感知孪生构建及健康管理系统等。曾任职于中航工业动力所。目前,获得系统工程金牌认证CSEP,为中国系统工程学会科普工作站及CCOSE核心成员, IEEE SMC MBSE分委会技术委员会委员,IOF国际本体组织系统组(筹)技术执行主席。同时是国际系统工程学会年会,体系年会等会议的执行委员。

六. KARMA 建模语言介绍
KARMA建模语言是洛桑联邦理工大学ICT4SM实验室、北京中科蜂巢科技有限公司、北京理工大学工业与智能系统工程研究所、瑞典皇家理工大学机电一体化系、上海交通大学动力机械与工程教育部重点实验室等几个团队联合开发。
目前,和电子科技大学赛博空间硬件设计与安全团队和南航简研社(Simplexity Lab)等高校团队在信息安全及模型驱动工程等领域开展应用合作和推广工作。KARMA语言规范是以北理工国际系统工程实验室(筹)为依托,联合国际本体组织IoF、中国系统工程学会工程系统工程科普工作站等组织,即将发布的基于模型系统工程的建模语言标准规范。KARMA语言的目标是支持多架构建模、架构权衡分析及仿真求解语言,可以基于元元模型、元模型及模型对多层级架构进行描述及表达,支持复杂装备的需求分解、架构设计、概念验证及方案权衡。
目前已支持十种语言规范,如SYSML、UML、UPDM、OPM、Arcadia 及OPM等。多架构建模语言支持架构模型之间的自动化传递、架构模型与异构数据及文档之间的代码生成。为了实现针对体系设计过程中的活动流程视图仿真,系统功能、行为及架构设计过程中的特性静态及动态验证,目前支持可满足性模理论的形式化验证和基于混合有限状态机的系统行为仿真。通过与数值计算语言JULIA的结合,实现系统方案的权衡并支持决策。

未来KARMA语言将着手于几大领域,致力于基于模型系统工程技术解决实际领域业务问题:
1. 支持以使命驱动为核心,多层级、多学科、跨生命周期复杂装备一体化设计。
2. 支持基于模型的复杂装备需求分解、管理及验证。
3. 支持领域架构方案权衡及验证,实现对于不同架构系统的动态验证、静态验证及形式化验证。
4. 信息安全性问题,目前构建的赛博物理信息系统,涉及众多信息安全问题,使用KARMA语言为系统方案提供漏洞捕捉及复现、系统改进设计及漏洞验证等。
目前,KARMA语言关键技术的发展方向:
1. 支持混合DAE方程求解,实现基于模型系统工程技术与概念样机求解技术相结合的一体化建模。
2. 支持2D及3D的可视化显示,实现基于模型系统工程技术与可视化显示技术的一体化建模。
3. 条目化需求自动生成基于KARMA的MBSE模型。
4. 基于KARMA语言的系统架构与AI及ML技术的结合。
5. 基于KARMA语言的数字工程资产构建及区块链融合技术。
6. 基于KARMA语言及OSLC技术的感知孪生构建技术。
7. 基于KARMA语言的联合仿真及求解技术。
在未来五年,KARMA语言社区及生态的发展路线:
1. 与系统工程理论深度结合,目前正在与麻省理工及洛桑联邦理工的相关研究人员进行合作,力争使用KARMA语言支持及验证系统工程复杂度理论。
2. 基于OMG组织所提出的80余个领域标准规范,进行KARMA模型库的建立,为创建KARMA语言生态及工业深度落地奠定基础。
3. 构建KARMA语言的国际研发网络,以筹建北理工系统工程实验室为依托,联合五所欧洲顶级理工名校,支持KARMA语言的技术迭代。
4. 持续KARMA语言的工程落地,联合瑞士宇航中心、空客、国内各大工业合作伙伴,进行基于KARMA语言的基于模型系统工程工程实践及验证。
5. 联合国际本体组织IoF、系统工程学会工程系统工程科普工作站等单位构建KARMA语言技术体系。
6. 在全国信标委软件与系统工程分技术委员指导下,参与系统工程相关国家标准的研制与应用推广。
作为KARMA语言研发团队的牵头人,希望KARMA语言可以尽快确立在基于模型系统工程领域的国际领先定位,KARMA语言是从理论及技术上的创新,真正实现从技术源头的创新研发、工具自主可控并引领国际系统工程标准构建。

Posted by wenyj   |   标签:系统工程 沙龙

----------

沙发空缺中,还不快来抢~

留言

  1.     将评论发送至邮箱     匿名

Image Gallery

ad ad ad ad ad ad

About

pix

源于航天,造福中国。

Learn more...

Contact

系统工程爱好者沙龙 秘书处

电话: 1821-0707-033 (俞小姐)
地址: 北京市海淀区知春路28号
E-mail: ccose01@126.com