This project addresses the growing need to produce quantifiable reliability and safety metrics for cyber physical systems as those systems become partially or fully autonomous. This research includes two case studies using the SANs modeling formalism. In the first, we explore the complexity of incorporating architecture features into cyber system models. The second focuses on joining cyber and physical models through interaction points. Tim Bretl is principal investigator, with Seth Hutchinson, David Nicol, and Sanders as co-PIs.
(Funded by John Deere & Co.)