A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Integrating runtime validation and hardware-in-the-loop (HiL) testing with V & V in complex hybrid systems
2019
Journal of the National Science Foundation of Sri Lanka
This study addresses the problem of assuring provably safe and correct behaviour of safety-critical complex hybrid systems (CHS) throughout their life-cycles when physical system dynamics tend to change due to natural causes. Model-based development methods are needed that integrate formal specification, verification, implementation level testing and runtime validation. Scalability limitations of available algorithms/methods dictate a modular approach, but this poses conflicting issues of
doi:10.4038/jnsfsr.v47i4.9678
fatcat:jlqubuqeznauxnp2ifvu6r6oam