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: | Jun Chen, Ramesh S |
---|---|
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 |
Similar Items
-
Towards automatic Maude specifications generation from C functions
by: fateh boutekkouk
Published: (2023-06-01) -
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
by: Fujun Wang, et al.
Published: (2020-01-01) -
Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin
by: Bostjan Vlaovic, et al.
Published: (2017-01-01) -
Formal analysis of modern security protocols in current standards
by: Horvat, M
Published: (2015) -
SMACS: A framework for formal verification of complex adaptive systems
by: Fakhir Ilyas, et al.
Published: (2023-05-01)