Building dependability arguments for software intensive systems

Title:	Building dependability arguments for software intensive systems
Author:	Seater, Robert Morrison
Other Contributors:	Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Advisor:	Daniel Jackson.
Department:	Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Publisher:	Massachusetts Institute of Technology
Issue Date:	2009
Abstract:	A method is introduced for structuring and guiding the development of end-to-end dependability arguments. The goal is to establish high-level requirements of complex software-intensive systems, especially properties that cross-cut normal functional decomposition. The resulting argument documents and validates the justification of system-level claims by tracing them down to component-level substantiation, such as automatic code analysis or cryptographic proofs. The method is evaluated on case studies drawn from the Burr Proton Therapy Center, operating at Massachusetts General Hospital, and on the Pret a Voter cryptographic voting system, developed at the University of Newcastle.
Description:	Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009. Includes bibliographical references (p. 301-308).
URI:	http://hdl.handle.net/1721.1/47777
Keywords:	Electrical Engineering and Computer Science.

Files in this item

Files	Size	Format
Preview, non-printable (open to all)	41.72Mb	application/pdf
Full printable version (MIT only)	41.72Mb	application/pdf