From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques Rozier, Kristin Yvonne
dc.contributor.department Aerospace Engineering
dc.contributor.department Computer Science
dc.contributor.department Virtual Reality Applications Center
dc.contributor.department Electrical and Computer Engineering
dc.contributor.department Mathematics 2020-09-16T04:05:42.000 2021-02-24T18:25:04Z 2021-02-24T18:25:04Z Tue Jan 01 00:00:00 UTC 2019 2018-01-01 2019-01-01
dc.description.abstract <p>Modern safety-critical systems, such as aircraft and spacecraft, crucially depend on rigorous verification, from design time to runtime. Simulation is a highly-developed, time-honored design-time verification technique, whereas runtime verification is a much younger outgrowth from modern complex systems that both enable embedding analysis on-board and require mission-time verification, e.g., for flight certification. While the attributes of simulation are well-defined, the vocabulary of runtime verification is still being formed; both are active research areas needed to ensure safety and security. This invited paper explores the connections and differences between simulation and runtime verification and poses open research questions regarding how each might be used to advance past bottlenecks in the other. We unify their vocabulary, list their commonalities and contrasts, and examine how their artifacts may be connected to push the state of the art of what we can (safely) fly.</p>
dc.description.comments <p>This proceeding is published as Rozier, Kristin Yvonne. "From simulation to runtime verification and back: Connecting single-run verification techniques." In <em>2019 Spring Simulation Conference (SpringSim). (</em>2019): 1-10. DOI: <a href="" target="_blank">10.23919/SpringSim.2019.8732915</a>. Posted with permission.</p>
dc.format.mimetype application/pdf
dc.identifier archive/
dc.identifier.articleid 1082
dc.identifier.contextkey 19416153
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath aere_conf/82
dc.language.iso en
dc.source.bitstream archive/|||Sat Jan 15 02:08:19 UTC 2022
dc.source.bitstream archive/|||Sat Jan 15 02:08:20 UTC 2022
dc.source.uri 10.23919/SpringSim.2019.8732915
dc.subject.disciplines Artificial Intelligence and Robotics
dc.subject.disciplines Systems and Communications
dc.subject.disciplines Systems Engineering and Multidisciplinary Design Optimization
dc.subject.keywords runtime verification
dc.subject.keywords monitoring
dc.subject.keywords formal methods
dc.subject.keywords online
dc.subject.keywords stream-based
dc.title From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques
dc.type article
dc.type.genre conference
dspace.entity.type Publication
relation.isAuthorOfPublication 3c555e5b-8fd1-4c38-98c6-6a2449fab7cf
relation.isOrgUnitOfPublication 047b23ca-7bd7-4194-b084-c4181d33d95d
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
relation.isOrgUnitOfPublication dad3cd36-0f8b-49c3-b43f-1df139ae2068
relation.isOrgUnitOfPublication a75a044c-d11e-44cd-af4f-dab1d83339ff
relation.isOrgUnitOfPublication 82295b2b-0f85-4929-9659-075c93e82c48
Original bundle
Now showing 1 - 2 of 2
No Thumbnail Available
150.01 KB
Adobe Portable Document Format
No Thumbnail Available
478.53 KB
Adobe Portable Document Format