...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>The Journal of Systems and Software >Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
【24h】

Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study

机译：环境辅助生活领域中的可靠性分析：探索性案例研究

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Ambient Assisted Living (AAL) investigates the development of systems involving the use of different types of sensors, which monitor activities and vital signs of lonely elderly people in order to detect emer gency situations or deviations from desirable medical patterns. Instead of requiring the elderly person to manually push a button to request assistance, state-of-the-art AAL solutions automate the process by 'perceiving' lonely elderly people in their home environment through various sensors and performing appropriate actions under the control of the underlying software. Dependability in the AAL domain is a critical requirement, since poor system availability, reliability, safety, or integrity may cause inappropri ate emergency assistance to potentially have fatal consequences. Nevertheless, contemporary research has not focused on assessing dependability in this domain. This work attempts to fill this gap present ing an approach which relies on modern quantitative and qualitative dependability analysis techniques based on software architecture. The analysis method presented in this paper consists of conversion pat terns from Unified Modeling Language (UML) behavior models of the AAL software architecture into a formal executable specification, based on a probabilistic process algebra description language, which enables a sound quantitative and qualitative analysis. The UML models specify system component inter actions and are annotated with component failure probabilities and system usage profile information. The resulting formal specification is executed on PRISM, a model checking tool adequate for the purpose of our analysis in order to identify a set of domain-specific dependability properties expressed declara tively in Probabilistic Computational Tree Logic (PCTL). The benefits of using these techniques are twofold. Firstly, they allow us to seamlessly integrate the analysis during subsequent software lifecycle stages in critical scenarios. Secondly, we identify the components which have the highest impact on software system dependability, and therefore, be able to address software architecture and individual software component problems prior to implementation and the occurrence of critical errors.
机译：环境辅助生活（AAL）研究了涉及使用不同类型传感器的系统的开发，这些传感器监视孤独老人的活动和生命体征，以便发现紧急情况或偏离理想医疗模式的情况。先进的AAL解决方案不要求老人手动按下按钮来请求帮助，而是通过各种传感器“感知”孤独的老人在其家庭环境中并在操作员的控制下执行适当的操作，从而使该过程自动化。基础软件。由于系统可用性，可靠性，安全性或完整性不佳，可能会导致不适当的紧急援助，从而可能导致致命的后果，因此AAL域中的可靠性是至关重要的要求。然而，当代研究并未集中于评估该领域的可靠性。这项工作试图填补这一空白，提出了一种方法，该方法依赖于基于软件体系结构的现代定量和定性可靠性分析技术。本文提出的分析方法包括将AAL软件体系结构的统一建模语言（UML）行为模型转换为基于可执行过程代数描述语言的正式可执行规范的模式，从而可以进行合理的定量和定性分析。 UML模型指定系统组件交互作用，并带有组件故障概率和系统使用情况配置文件信息。由此产生的正式规范是在PRISM上执行的，PRISM是一种模型检查工具，足以满足我们的分析目的，以便识别用概率计算树逻辑（PCTL）声明性表示的一组特定于域的可靠性属性。使用这些技术的好处是双重的。首先，它们使我们能够在关键场景的后续软件生命周期阶段无缝集成分析。其次，我们确定对软件系统可靠性有最大影响的组件，因此能够在实施之前和出现严重错误之前解决软件体系结构和单个软件组件问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号