Title | Toward a dependability case language and workflow for a radiation therapy system |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Ernst MD, Grossman D, Jacky J, Loncaric C, Pernsteiner S, Tatlock Z, Torlak E, Wang X |
Conference Name | SNAPL 2015: the Inaugural Summit oN Advances in Programming Languages |
Pagination | 103–112 |
Date or Month Published | May |
Conference Location | Asilomar, CA, USA |
Abstract | We present a near-future research agenda for bringing a suite of modern programming-languages verification tools–-specifically interactive theorem proving, solver-aided languages, and formally defined domain-specific languages–-to the development of a specific safety-critical system, a radiotherapy medical device. We sketch how we believe recent programming-languages research advances can merge with existing best practices for safety-critical systems to increase system assurance and developer productivity. We motivate hypotheses central to our agenda: That we should start with a single specific system and that we need to integrate a variety of complementary verification and synthesis tools into system development. |
Downloads | https://homes.cs.washington.edu/~mernst/pubs/dependability-case-snapl201... PDF
https://homes.cs.washington.edu/~mernst/pubs/dependability-case-snapl201... slides (PDF)
|
Citation Key | ErnstGJLPTTW2015 |