.png){kind=icon}
返回
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
.png){kind=icon}
PRE
AI
DOI：10.1016/j.eswa.2021.114572.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Embedded systems span a wide range from a small platform of sensors and actuators to distributed systems combining several interacting nodes. Designing such systems includes hardware parts and software parts. The software part acquires in importance since it handles the resources and services to interact with the hardware part. The paper introduces a novel deployment-decision making based on PRISM probabilistic model checker that takes software components and the physical platform to produce a set of deployment candidates. Starting from System Modeling Language (SysML), the process includes mechanisms to extract hardware and software features and carry out a set of deployment candidates. Each candidate should satisfy the reliability property written in Probabilistic Computation Tree Logic. Formally, we capture the underlying semantics of software blocks behaviour expressed as an activity diagram and their generated PRISM code to prove the approach soundness. Illustration relies on the automotive control system to show the applicability of the proposed approach.
Keyword:
SysML internal block diagrams
Activity diagrams
Reliability
Model checking
Deployment
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
7.5
论文数:
2.9W
被引数:
10.2W
机构
引用论文
A theoretical study on the spatial effect of water-rich foundation pit instability failure.png)
AIP Advances
OAAI
AIP AdvancesIF0
OAAI分享收藏A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies支持安全认证的基于SysML的可追溯性管理和设计切片方法: 框架，工具支持和案例研究
PREAI
分享收藏Assessing the impact of PCSK9 inhibition on coronary plaque phenotype with optical coherence tomography: rationale and design of the randomized, placebo-controlled HUYGENS study使用光学相干断层扫描评估PCSK9抑制对冠状动脉斑块表型的影响: 随机，安慰剂对照HUYGENS研究的原理和设计
OAAI
OAAI分享收藏分享收藏
查看更多内容