.png){kind=icon}
返回
Analysing failure behaviours in component interaction
.png){kind=icon}
PRE
AI
DOI：10.1016/S0164-1212(02)00152-8.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In order to facilitate the process of safety analysis of an evolving software system, this paper presents an architectural approach that enhances the safety analysis by providing appropriate abstractions for modelling and analysing interactions between components, since faulty interactions are the usual cause of accidents. For that, instead of considering components as the locus of change, the proposed approach assumes that components remain unchanged while their interactions (captured by connectors) adapt to the different changes made in the system. The behavioural description of connectors is provided in terms of extended time automata, and the safety analysis is performed using model checking, which verifies whether safe behaviour is maintained when interactions between components change. The feasibility of the approach is demonstrated in terms of a case study that deals with the safety procedures associated with the launching of a sounding rocket. (C) 2002 Elsevier Inc. All rights reserved.
Keyword:
safety analysis
software architectures
use cases
co-operative connectors
evolution
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.5K
被引数:
8.4K
机构
暂无机构信息
引用论文
Concentrations and origin of polycyclic aromatic hydrocarbons in sediments of the Middle Adriatic Sea亚得里亚海中部沉积物中多环芳烃的浓度和来源
OAAI
OAAI分享收藏Uncertainty Reduction in Gas Turbine Performance Diagnostics by Accounting for Humidity Effects
PREAI
分享收藏Magnetic properties of CoFe1.9RE0.1O4 nanoparticles (RE=La, Ce, Nd, Sm, Eu, Gd, Tb, Ho) prepared in polyol在多元醇中制备的CoFe1.9RE0.1O4纳米颗粒 (RE = La，Ce，Nd，Sm，Eu，Gd，Tb，Ho) 的磁性能
PREAI
分享收藏Lags in adjustment of vegetation to climate caused by the pace of soil development. Evidence from Britain.png)
Vegetatio
VegetatioIF0
PREAI
分享收藏SURGERY IN PARKINSON'S DISEASE DIVISION OF LATERAL PYRAMIDAL TRACT FOR TREMOR帕金森病外侧锥体束区震颤的手术治疗The Lancet
The LancetIF0
PREAI
分享收藏
查看更多内容