Integrating runtime validation and hardware-in-the-loop (HiL) testing with V and V in complex hybrid systems

Files

JNSF_47_4_393.pdf (2.28 MB)

Date

Authors

Dewasurendra, S.D.

Vidanapathirana, A.C.

Abeyratne, S.G.

Publisher

NSF:Colombo

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

URI

https://dl.nsf.gov.lk/handle/1/25010

Collections

Journal of the National Science Foundation of Sri Lanka