Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL

来源 :信息与电子工程前沿(英文版) | 被引量 : 0次 | 上传用户:guangmingkoxiuluo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Cyber-physical systems (CPSs) are becoming increasingly important in safety-critical systems. Particular risk analysis (PRA) is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development. Human factors like the physical environment are the most important part of particular risk assessment. Therefore, it is necessary to analyze the safety of the system considering human factor and physical factor. In this paper, we propose a new particular risk model (PRM) to improve the modeling ability of the Architecture Analysis and Design Language (AADL). An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system. To simulate the PRM with the proposed PRA method, model transformation from PRM to a deterministic and stochastic Petri net model is implemented. Finally, a case study on the power grid system of CPS is modeled and analyzed using the proposed method.
其他文献
土壤耕层浅、结构紧实、有效耕层土壤量少已经成为制约我国黄淮海地区作物产量进一步提高的关键限制因子。采用增加耕作深度和秸秆还田结合的技术,营造一个深厚疏松的耕层,提高耕层土壤养分的有效性,促进土壤生物活性,是实现黄淮海地区作物高产稳产的主要途径之一。本文研究了耕作方式、秸秆还田及二者交互对土壤理化性质和生物性状的调控效应,以期为缓解土壤紧实、提高农田土壤质量提供理论与技术依据。研究结果如下:1、深(
本试验采用了二因素随机区组设计,研究了除草剂(2,4-D 丁酯和2 甲4氯,各设5 个水平)与氮肥(尿素,设5 个水平)混施对冬小麦田小麦植株的安全性和麦田杂草的防效。通过对小麦株高、穗长、叶面积等形态指标和叶绿素含量、光合速率、硝酸还原酶活性(NRA)、超氧化物歧化酶(SOD)活性等生理指标的测定分析,结合对小麦产量和除草剂对麦田杂草的株防效和鲜重防效的调查,筛选出了安全、高效的除草剂与氮肥混施
We have summarized our recent work in the area of novel silica-based optical fibers, which can be classified into two types: silica optical fiber doped with spe
玉米秸秆作为一种生物质能源,研究其能量指标体系和遗传规律,并据此筛选和培育高热值玉米品种,对于开辟新能源,减少环境污染、保护生态环境,提高玉米的综合经济效益具有重要意义。明确能量指标体系和遗传规律是开发利用可再生能源、弥补能源不足的关键所在,同时为国内外玉米秸秆燃烧遗传方面的研究奠定了坚实的基础。本研究是以我省已推广利用的15个品种及22个自交系和常用的13个自交系按NCII设计组配的42个组合为
在各种自然灾害中,旱灾居于首位。世界范围内,干旱缺水对农业和社会造成的损失相当于其他各类自然灾害造成的损失之和。小麦是世界第一大粮食作物,干旱是小麦增产的主要限制因子。利用分子生物学方法从整体水平研究小麦在水分胁迫条件下的代谢机制,进而研究其抗旱机理,对于全面认识作物抗旱性的遗传基础,培育抗旱节水新品种,具有重要意义。 本研究以小麦抗旱品种旱选10号小麦幼苗作为实验对象,构建水分胁迫诱导表达
大豆[Glycine max (L.)]属于豆科植物,为人类提供大量的食用蛋白质,也为工业生产提供重要的原料,是重要的经济和粮食作物。硫代葡萄糖苷(Glucosinolate,简称硫苷)是一种存在
The design and fabrication of a compact and low-cost 4×25-Gb/s transmitter optical sub-assembly (TOSA) and receiver optical sub-assembly (ROSA) using a hybrid