【摘 要】
：
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式化符号-表格的表达式,以多维表格化结构表示
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家重点基础研究发展计划(973计划)(2014CB744904),航空科学基金项目(20155552047),校研究生创新基地(实验室)开放基金资助项目(kfjj20181602)资助
论文部分内容阅读
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式化符号-表格的表达式,以多维表格化结构表示系统需求的形式化需求规约方法。针对形式化需求的自动化测试和检验工具提高了需求分析的正确性和效率性,但目前工具缺少安全性质的自动验证,无法保证需求的安全性。因此,文中对基于SCR方法的T-VEC工具进行扩展,在语言解析器生成器antlr(ANother Tool for Language Recognition)的辅助下开发了模型转换工具T2N
其他文献
为减少轮胎漏气对汽车安全行驶的影响，根据汽车轮胎由于刺破等原因引发漏气时产生20kHz-100kHz超声波的机理，采用ATMEL公司16bit高速嵌入式微处理器ATmega128，设计实现了一个汽
技术验证从大的角度来看还有三个特定性的阶段，技术成熟度等级1—3，我们可以定义为新概念验证。新概念验证围绕着基础原理和技术的基本的可能性，就是说是否可能，还谈不上可行，
信号适配问题是组建导弹发射控制系统的技术难点，是决定测试精度和确保发射控制安全有效的关键因素之一，在某型导弹发射控制研制过程中，综合采用双端差动输入、继电器输出、光电
介绍了一种新型数字磁罗经复示仪的基本结构原理，设计了以数字信号处理器（TMS32F2407）为主要控制单元的控制系统；当船舶航向发生变化时，航向磁敏传感器产生标准的RS232数据信号，传
研究并提出了一种基于VME总线和反射内存网络的多处理机互连的开放式架构,在分析VME总线和反射内存网络两种异构通信通道通信机制的基础上,研究并提出了多模式通信资源的自适
身份认证是确保信息安全的重要手段,混沌映射身份认证协议因其高效性而成为近期研究的热点。2015年,Zhu提出了一个改进的混沌映射协议,声称其可以抵抗冒充攻击、字典攻击,并
语义技术能够更智能、更精确地检索信息,辅助工作人员进行科学决策,已被应用于地理信息处理,并形成了基于RDF(Resource Description Framework)数据的地理查询语言GeoSPARQL。然而,基于地理语义信息处理的应用平台多采用中心化的存储和检索服务,使得这些平台存在单节点失效、扩展性差等缺陷。尽管已有研究人员提出了多种方法,试图利用对等网络技术来解决语义数据的分布式处理,从
针对经典的多维标度(MDS-MAP)定位算法在大规模无线传感器网络中存在的定位功耗大和精度低的问题,改进后的MDS-MAP算法将节点作为簇头时的剩余能量、能耗均衡性与局部密度的
为了实现车联网中车辆身份的隐私保护,近年来人们提出了很多不同的匿名认证方案。Vijayakumar等于2018年提出了针对车联网的计算有效的隐私保留匿名交互认证(CPAV)及批量认证
知识与粒度相关,在不同粒度上对现象的解释不同,而因果性描述的是现象的本质特征。因果性与粒度之间存在着怎样的关联,一个粒度上的因果关系是否可移植到其他不同粒度上,是目