Model‐based validation of diagnostic software with application in automotive systems
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 again...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2021-06-01
|
| Series: | IET Cyber-systems and Robotics |
| Subjects: | |
| Online Access: | https://doi.org/10.1049/csy2.12016 |
| _version_ | 1811223242368614400 |
|---|---|
| author | Jun Chen Ramesh S |
| author_facet | Jun Chen Ramesh S |
| author_sort | Jun Chen |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-12T08:29:40Z |
| format | Article |
| id | doaj.art-75d11f2611fd4f37acf0cde957e8de5e |
| institution | Directory Open Access Journal |
| issn | 2631-6315 |
| language | English |
| last_indexed | 2024-04-12T08:29:40Z |
| publishDate | 2021-06-01 |
| publisher | Wiley |
| record_format | Article |
| series | IET Cyber-systems and Robotics |
| spelling | doaj.art-75d11f2611fd4f37acf0cde957e8de5e2022-12-22T03:40:15ZengWileyIET Cyber-systems and Robotics2631-63152021-06-013214014910.1049/csy2.12016Model‐based validation of diagnostic software with application in automotive systemsJun Chen0Ramesh S1Department of Electrical and Computer Engineering Oakland University Rochester Michigan USAGeneral Motors R and D Warren Michigan USAAbstract 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.https://doi.org/10.1049/csy2.12016fault diagnosisfinite state machinesformal languagesformal specificationformal verificationprogram verification |
| spellingShingle | Jun Chen Ramesh S Model‐based validation of diagnostic software with application in automotive systems IET Cyber-systems and Robotics fault diagnosis finite state machines formal languages formal specification formal verification program verification |
| title | Model‐based validation of diagnostic software with application in automotive systems |
| title_full | Model‐based validation of diagnostic software with application in automotive systems |
| title_fullStr | Model‐based validation of diagnostic software with application in automotive systems |
| title_full_unstemmed | Model‐based validation of diagnostic software with application in automotive systems |
| title_short | Model‐based validation of diagnostic software with application in automotive systems |
| title_sort | model based validation of diagnostic software with application in automotive systems |
| topic | fault diagnosis finite state machines formal languages formal specification formal verification program verification |
| url | https://doi.org/10.1049/csy2.12016 |
| work_keys_str_mv | AT junchen modelbasedvalidationofdiagnosticsoftwarewithapplicationinautomotivesystems AT rameshs modelbasedvalidationofdiagnosticsoftwarewithapplicationinautomotivesystems |