| dc.contributor.author | Kang, Eunsuk | |
| dc.contributor.author | Jackson, Daniel | |
| dc.date.accessioned | 2011-04-04T15:18:39Z | |
| dc.date.available | 2011-04-04T15:18:39Z | |
| dc.date.issued | 2010-11 | |
| dc.date.submitted | 2010-09 | |
| dc.identifier.isbn | 978-1-4244-8022-7 | |
| dc.identifier.issn | 1090-705X | |
| dc.identifier.other | INSPEC Accession Number: 11653574 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/62031 | |
| dc.description.abstract | An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of the system's components called trusted bases. This paper describes an idiom for modeling systems with trusted bases, and a technique for analyzing a dependability argument-the argument that a trusted base is sufficient to establish a requirement. | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Grant No. 0541183) | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Grant No. 0707612) | en_US |
| dc.description.sponsorship | Northrop Grumman Corporation | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Institute of Electrical and Electronics Engineers | en_US |
| dc.relation.isversionof | http://dx.doi.org/10.1109/RE.2010.38 | en_US |
| dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |
| dc.source | IEEE | en_US |
| dc.title | Dependability arguments with trusted bases | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Eunsuk Kang, and D. Jackson. “Dependability Arguments with Trusted Bases.” Requirements Engineering Conference (RE), 2010 18th IEEE International. 2010. 262-271. © Copyright 2010 IEEE | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.approver | Jackson, Daniel | |
| dc.contributor.mitauthor | Kang, Eunsuk | |
| dc.contributor.mitauthor | Jackson, Daniel | |
| dc.relation.journal | Proceedings of the 2010 18th IEEE International Requirements Engineering Conference (RE) | en_US |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| dspace.orderedauthors | Kang, Eunsuk; Jackson, Daniel | en |
| dc.identifier.orcid | https://orcid.org/0000-0002-0194-3989 | |
| dc.identifier.orcid | https://orcid.org/0000-0003-4864-078X | |
| mit.license | PUBLISHER_POLICY | en_US |
| mit.metadata.status | Complete | |
