Just-in-Time Certification
John Rushby
From the 12th IEEE International
Conference on the Engineering of Complex Computer Systems (ICECCS),
Auckland, New Zealand,
July 2007, pp. 15-24; recipient of the "Best Paper" award.
Abstract
Traditional, standards-based approaches to certification are hugely
expensive, of questionable credibility when development is outsourced,
and a barrier to innovation. This paper is a call and a manifesto for
new approaches to certification. We start by advocating a goal-based
approach in which unconditional claims delivered by formal methods are
combined with other evidence in multi-legged cases supported by
Bayesian analysis. We then describe the necessity, and the challenge,
of extending this to compositional certification and outline promising
directions for accomplishing this. Finally, we consider the
provocative possibility of adaptive systems in which methods of
analysis traditionally used to support certification at design time
are instead used for synthesis and monitoring at runtime, and
certification is performed "just-in-time."
gzipped postscript,
or
plain postscript
or
PDF
or
crude ascii (for your Palm Pilot)
Slides
gzipped postscript,
or
plain postscript
or
PDF
or
crude ascii (for your Palm Pilot)
BibTeX Entry
@INPROCEEDINGS{Rushby07:jitc,
AUTHOR = {John Rushby},
TITLE = {Just-in-Time Certification},
BOOKTITLE = {12th IEEE International Conference on the Engineering of Complex Computer Systems ({ICECCS})},
YEAR = 2007,
ORGANIZATION = {IEEE Computer Society},
ADDRESS = {Auckland, New Zealand},
MONTH = jul,
PAGES = {15--24},
NOTE = {Available at \url{http://www.csl.sri.com/~rushby/abstracts/iceccs07}}
}
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page