【摘 要】
：
嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设
【机 构】
：
中国工程物理研究院计算机应用研究所,华东师范大学计算机科学与软件工程学院,南京大学计算机科学与技术系
【基金项目】
：
国防基础科研计划重点项目（JCKY2016212B004)
论文部分内容阅读
嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。
其他文献
研发创新投入与企业创新之间的协调一致发展是评价企业创新活动有效性的重要表现。通过研究,发现资本、劳动、项目投入是企业研发创新的表征变量,科技产出、经济产出是企业研
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
要促进学生在科学课堂中主动探究, 教师必须从学生学习的角度去设计课堂探究活动, 以学习单任务、 关键问题任务、 核心问题任务等形式驱动学生持续探究, 把课堂的时间与空间
文章依据学院现有的专业布局，讨论了构建数控技术专业群的合理性和必要性，并对专业群的人才培养机制、专业群课程体系构建以及专业群背景下的基于CDIO视角教学模式创新等作了论
为从海量搜索点击日志中快速挖掘用户行为,提出一种分布式用户浏览点击模型(UBM)算法。原始UBM算法求出的检验度参数E只与搜索结果文档所在排序位置以及上一文档的点击位置有
扩散过程在数理金融领域中扮演着重要的角色,例如在利率期限结构理论和投资组合的选取以及资产定价、衍生物定价等这些领域中都要用到扩散过程。扩散过程在这些领域中的应用
结合河北某矿区钼尾矿的成分,将钼矿尾矿粉加工成符合标准的玻璃原料,添加到啤酒瓶、建材微晶玻璃中作为基础原料使用,实验用量（质量分数）达到50%～60%。为当地减轻环保压力和钼
目的：探讨清热通络、补益类中药配伍治疗晚期创面及褥疮的临床疗效。方法：临床治疗46例晚期创面及褥疮患者，采用橡皮生肌膏（血余、蜂蜡、当归、龟版、生地、石膏等）换药，经治疗30d