【摘 要】
：
针对设计阶段难以对刹车控制系统进行实时性分析验证的问题,提出基于SysML ＆ AADL的实时性需求验证方法。首先论述综合模块化航电系统中刹车控制系统的组成和实时性定义,基于S
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
针对设计阶段难以对刹车控制系统进行实时性分析验证的问题,提出基于SysML ＆ AADL的实时性需求验证方法。首先论述综合模块化航电系统中刹车控制系统的组成和实时性定义,基于SysML建模语言建立系统模型,并添加MARTE描述的组件时间延迟;然后建立SysML/MARTE与AADL的模型元素映射关系,根据该关系,将SysML模型转化为符合AADL语义的模型。最后利用AADL分析工具得到实时性验证结果,验证了所提出实时性验证方法的有效性。
其他文献
为提高非整周期采样信号的频率估计精度,提出一种基于延时互相关的正弦信号频率估计方法。首先,截取一段采样信号及其等长度延时信号;其次,对2段信号做互相关运算,并构建不包
在互联网和大数据时代下,SQL关系型数据库已不能适应与日俱增的数据量,HBase等No SQL数据库变得极为重要。但HBase数据库操作较为复杂,本文设计并实现基于SQL的HBase查询,可
目前国际上没有标准的、权威的老人跌倒检测数据,并且由年轻人模仿跌倒得到的样本规模较小,因此,如何利用有限的数据集找到最具代表性的特征集就显得尤为重要。考虑到特征集
以垂直旋转式贴片机为研究对象,在供料器位置确定的情况下,研究其贴装顺序优化问题。在贴片机贴装数学模型的基础上提出改进蚁群算法,将贴装过程分成拾取-贴放循环和各循环之
近年来,大数据所带来的隐私泄露问题日趋严重,如何在保护数据隐私的同时保留足够的信息进行数据分析是研究者面临的重要挑战。针对数据分析过程中可能产生的隐私泄露问题,提