Integrating runtime validation and hardware-in-the-loop (HiL) testing with V and V in complex hybrid systems
Date
2019-12
Journal Title
Journal ISSN
Volume Title
Publisher
NSF:Colombo
Abstract
Description
Keywords
Complex hybrid systems, Compositional testing, Compositional verification, Hardware-in-the-loop testing, Runtime validation, VandV – testing integration
Citation
Journal of the National Science Foundation of Sri Lanka,47(4):p.393-408