A Review of Verification and Validation for Space Autonomous Systems. Cardoso, R. C., Kourtis, G., Dennis, L. A., Dixon, C., Farrell, M., Fisher, M., & Webster, M. Current Robotics Reports, Jun, 2021. [FAIR-Space]![A Review of Verification and Validation for Space Autonomous Systems [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex 7 downloads The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly and complex endeavor. It is of extreme importance that on-board systems are verified and validated through a variety of verification and validation techniques, especially in the case of autonomous systems. In this paper, we discuss a number of approaches from the literature that are relevant or directly applied to the verification and validation of systems in space, with an emphasis on autonomy.
@Article{Cardoso21d,
author={Cardoso, Rafael C.
and Kourtis, Georgios
and Dennis, Louise A.
and Dixon, Clare
and Farrell, Marie
and Fisher, Michael
and Webster, Matt},
title={A Review of Verification and Validation for Space Autonomous Systems},
journal={Current Robotics Reports},
year={2021},
month={Jun},
day={18},
abstract={The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly and complex endeavor. It is of extreme importance that on-board systems are verified and validated through a variety of verification and validation techniques, especially in the case of autonomous systems. In this paper, we discuss a number of approaches from the literature that are relevant or directly applied to the verification and validation of systems in space, with an emphasis on autonomy.},
issn={2662-4087},
doi={10.1007/s43154-021-00058-1},
url={https://doi.org/10.1007/s43154-021-00058-1},
note={[<span class="fs">FAIR-Space</span>]}
}
Downloads: 7
{"_id":"Gjw8J5WYKpouKKyLb","bibbaseid":"cardoso-kourtis-dennis-dixon-farrell-fisher-webster-areviewofverificationandvalidationforspaceautonomoussystems-2021","author_short":["Cardoso, R. C.","Kourtis, G.","Dennis, L. A.","Dixon, C.","Farrell, M.","Fisher, M.","Webster, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Kourtis"],"firstnames":["Georgios"],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise","A."],"suffixes":[]},{"propositions":[],"lastnames":["Dixon"],"firstnames":["Clare"],"suffixes":[]},{"propositions":[],"lastnames":["Farrell"],"firstnames":["Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Webster"],"firstnames":["Matt"],"suffixes":[]}],"title":"A Review of Verification and Validation for Space Autonomous Systems","journal":"Current Robotics Reports","year":"2021","month":"Jun","day":"18","abstract":"The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly and complex endeavor. It is of extreme importance that on-board systems are verified and validated through a variety of verification and validation techniques, especially in the case of autonomous systems. In this paper, we discuss a number of approaches from the literature that are relevant or directly applied to the verification and validation of systems in space, with an emphasis on autonomy.","issn":"2662-4087","doi":"10.1007/s43154-021-00058-1","url":"https://doi.org/10.1007/s43154-021-00058-1","note":"[<span class=\"fs\">FAIR-Space</span>]","bibtex":"@Article{Cardoso21d,\nauthor={Cardoso, Rafael C.\nand Kourtis, Georgios\nand Dennis, Louise A.\nand Dixon, Clare\nand Farrell, Marie\nand Fisher, Michael\nand Webster, Matt},\ntitle={A Review of Verification and Validation for Space Autonomous Systems},\njournal={Current Robotics Reports},\nyear={2021},\nmonth={Jun},\nday={18},\nabstract={The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly and complex endeavor. It is of extreme importance that on-board systems are verified and validated through a variety of verification and validation techniques, especially in the case of autonomous systems. In this paper, we discuss a number of approaches from the literature that are relevant or directly applied to the verification and validation of systems in space, with an emphasis on autonomy.},\nissn={2662-4087},\ndoi={10.1007/s43154-021-00058-1},\nurl={https://doi.org/10.1007/s43154-021-00058-1},\nnote={[<span class=\"fs\">FAIR-Space</span>]}\n}\n\n","author_short":["Cardoso, R. C.","Kourtis, G.","Dennis, L. A.","Dixon, C.","Farrell, M.","Fisher, M.","Webster, M."],"key":"Cardoso21d","id":"Cardoso21d","bibbaseid":"cardoso-kourtis-dennis-dixon-farrell-fisher-webster-areviewofverificationandvalidationforspaceautonomoussystems-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/s43154-021-00058-1"},"metadata":{"authorlinks":{}},"downloads":7},"bibtype":"article","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["AdmcuDNM8GSatWG9Y","iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX"],"keywords":[],"search_terms":["review","verification","validation","space","autonomous","systems","cardoso","kourtis","dennis","dixon","farrell","fisher","webster"],"title":"A Review of Verification and Validation for Space Autonomous Systems","year":2021,"downloads":7}