Please wait a minute...
IET Cyber-Systems and Robotics
IET Cyber-Systems and Robotics  2021, Vol. 3 Issue (2): 140-149    DOI: 10.1049/csy2.12016
    
Model-based validation of diagnostic software with application in automotive systems
Model-based validation of diagnostic software with application in automotive systems
 全文: PDF 
摘要： Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e. a diagnoser) performing online diagnosis against certain fault models and reports diagnosis decision, the underlying fault models are usually not explicitly specified, neither by formal language nor by descriptive language. The lack of formal representation of fault models leaves the intended purpose of the diagnostic software vague, making its validation difficult. To address this issue, the authors propose various model-based techniques that can generate concrete examples of the diagnoser's key properties. Such examples are represented in an intuitive and possibly visualised way, facilitating the designers/users to approve or disapprove the conformance of the diagnoser to the intended purpose. The proposed techniques work for validation of both the requirement and implementation that can be modelled as finite state machine, and are illustrated through applications on vehicle on-board diagnostic requirement.
Abstract: Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e. a diagnoser) performing online diagnosis against certain fault models and reports diagnosis decision, the underlying fault models are usually not explicitly specified, neither by formal language nor by descriptive language. The lack of formal representation of fault models leaves the intended purpose of the diagnostic software vague, making its validation difficult. To address this issue, the authors propose various model-based techniques that can generate concrete examples of the diagnoser's key properties. Such examples are represented in an intuitive and possibly visualised way, facilitating the designers/users to approve or disapprove the conformance of the diagnoser to the intended purpose. The proposed techniques work for validation of both the requirement and implementation that can be modelled as finite state machine, and are illustrated through applications on vehicle on-board diagnostic requirement.
出版日期: 2021-05-12
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　
Jun Chen
Ramesh S

引用本文:

Jun Chen, Ramesh S. Model-based validation of diagnostic software with application in automotive systems. IET Cyber-Systems and Robotics, 2021, 3(2): 140-149.

链接本文:

https://www.zjujournals.com/iet-csr/CN/10.1049/csy2.12016    或    https://www.zjujournals.com/iet-csr/CN/Y2021/V3/I2/140

No related articles found!