| タイトル | Challenges in High-Assurance Runtime Verification |
| 本文（外部サイト） | http://hdl.handle.net/2060/20160012454 |
| 著者（英） | Goodloe, Alwyn E. |
| 発行日 | 2016-10-10 |
| 言語 | eng |
| 内容記述 | Safety-critical systems are growing more complex and becoming increasingly autonomous. Runtime Verification (RV) has the potential to provide protections when a system cannot be assured by conventional means, but only if the RV itself can be trusted. In this paper, we proffer a number of challenges to realizing high-assurance RV and illustrate how we have addressed them in our research. We argue that high-assurance RV provides a rich target for automated verification tools in hope of fostering closer collaboration among the communities. |
| NASA分類 | Computer Programming and Software |
| レポートNO | NF1676L-24166 |
| 権利 | No Copyright |
|
