【摘 要】
:
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工
【机 构】
:
南京航空航天大学计算机科学与技术学院,高安全系统的软件开发与验证技术工信部重点实验室
【基金项目】
:
国家自然科学基金;国家重点研发计划;GF基础科研重点项目;江苏省自然科学基金;中央高校基本科研业务费专项资金~~
论文部分内容阅读
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
文章通过对区域税负痛感程度研究发现区域之间存在差异,然后使用固定效应模型对全国31个省级行政区2000—2015年间的面板数据进行分析,从而找出区域税负痛感程度的影响因素。
爱情,凡夫俗子都憧憬、向往,大学生正值青春年华,精力旺盛,谈恋爱对他们来说再正常不过,但由于年轻,涉世未深,在爱情的领域里迫切需要正确的引导,因此,本文主要分析当代大学
公平正义是社会主义核心价值观的中心内容,也是人类社会共同追求的价值目标。我国当前正处于社会急剧转型期,关涉各领域稳步发展的公正问题日益凸显,在一定程度上加深了社会矛盾
在国内水利水电工程中常采用生态护岸进行护坡施工,生态护岸主要具有绿色环保、外形美观的特点,但现有施工技术还有许多难点尚未解决。文章针对赣江井冈山航电枢纽工程实际情
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
目的:探讨老年多原发癌患者的发病特点、诊断、治疗和预后的影响因素。方法:回顾性分析2002年5月至2010年9月广西医科大学附属肿瘤医院收治的27例老年多原发癌患者的临床资料,分
针对激光视觉传感的焊缝跟踪过程,利用中值滤波平滑焊缝激光视觉传感图像,使用灰度重心法获得激光条纹中心线,根据激光条纹中心线定位焊缝中心位置。针对有色观测噪声,利用扩
中医院校学生毕业考试改革是中医教育改革的一项重要内容,我院经过探索和实践,开展了中医临床技能多站式毕业考核,与以往毕业考试相比,取得一定的经验。