Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户:tianhaiyandml
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Safety Critical Systems (SCS) are those systems that may cause harm to the user(s) and/or the environment if operating outside of their prescribed specifications. Such systems are used in a wide variety of domains, such as aerospace, automotive, railway t
其他文献
<正> 自从1975年K6hler和Milstein发明单克隆抗技术后,使选择性地识别肿瘤细胞与正常细胞成为可能,从而导致抗体导向药物的快速发展。直接用单抗去除或杀伤肿瘤,虽有不少报道
中国童子军是民国历史上一个重要的组织,它对民国历史发展产生重要影响。本文以江苏童子军为研究对象,揭示了抗日战争以前江苏童子军的发展脉络。1915年4月16日,江苏童子军诞
This paper develops a novel interval type-2 fuzzy Proportional-Derivative (PD) control scheme for electrically driven flexible-joint robots using the direct met
As more and more application systems related to big data were developed, NoSQL (Not Only SQL) database systems are becoming more and more popular. In order to a
绿色荧光蛋白──一种新的基因表达标记物黄涛(中国医学科学院基础医学研究所医学分子生物学国家重点实验室,北京100005)关键词绿色荧光蛋白,基因表达标记物发育生物学家一直想找到一种
科研训练型实验是培养大学生科研实践能力、创新能力必不可少的教育环节。探讨了科研训练型实验的特点与评价原则,构建了一套科学、合理、实用的本科生科研训练型实验评价指
<正> E1a,是Ⅱ型腺病毒的一个结构基因。该基因可诱导啮齿动物原代纤维母细胞和上皮细胞永生化;与H-ras协同可转化许多培养细胞。令人感兴趣的是,尽管E1a和H-ras二者协同的转
ICT-TPCK的实质是一种整合技术的学科教学智能,教师运用信息通信技术将学科知识“转化”成学生可以有效获得的知识。与ICT-TPCK教师知识框架相对应,教师ICT教学应用能力可以
This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is re
Prototyping is one of the core activities of User-Centered Design (UCD) processes and an integral component of Human-Computer Interaction (HCI) research. For ma