【摘 要】
：
模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自
【机 构】
：
南京航空航天大学计算机科学与技术学院,高安全系统的软件开发与验证技术工信部重点实验室（南京航空航天大学）,航空工业计算所
【基金项目】
：
国家自然科学基金项目(62072233),航空科学基金项目(201919052002),中央高校基本科研业务费专项资金项目(NP2017205)
论文部分内容阅读
模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,
其他文献
大学生意识形态教育的出场逻辑不是纯粹的从“形态”问题出发直叙意识形态教育“是什么”,而是在与错误的意识形态斗争中,保证正确的意识形态教育的持续“出场”。高校思想政
我国幅员辽阔,矿产资源丰富,矿业生产也是我国工业领域的重要组成部分,并为整个国家的经济和社会建设作出了巨大的贡献。在有色或黑色选矿及冶炼中,X荧光矿浆在线品位分析仪
伴随现代社会经济的迅速发展,机动车成为人们日常出行的主要交通工具,这也给城市交通带来了巨大的压力,为了避免交通堵塞,同时又要在有限的时间内保障车辆和行人的安全,实现
随着我国课程改革的推进,幼儿园课程资源开发不断深入,自然资源逐渐成为幼儿园课程开发的焦点。乡村幼儿园地理位置比较特殊,可以开发利用的自然资源丰富多样且贴近幼儿的生