TitleToward a dependability case language and workflow for a radiation therapy system
Publication TypeConference Paper
Year of Publication2015
AuthorsErnst MD, Grossman D, Jacky J, Loncaric C, Pernsteiner S, Tatlock Z, Torlak E, Wang X
Conference NameSNAPL 2015: the Inaugural Summit oN Advances in Programming Languages
Pagination103–112
Date or Month PublishedMay
Conference LocationAsilomar, CA, USA
AbstractWe 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.
Downloadshttps://homes.cs.washington.edu/~mernst/pubs/dependability-case-snapl201... PDF https://homes.cs.washington.edu/~mernst/pubs/dependability-case-snapl201... slides (PDF)
Citation KeyErnstGJLPTTW2015