2026-09-19T00:02:37Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/476882021-07-05T14:03:20Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023
Michael W. Golay and Daniel Jackson.
Sui, Yu, 1973-
Massachusetts Institute of Technology. Department of Nuclear Science and Engineering
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
2009-10-01T15:32:28Z
2009-10-01T15:32:28Z
1998
1998
http://hdl.handle.net/1721.1/47688
42255170
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
Includes bibliographical references (leaves 95-101).
In order to allow the introduction of safety-related Digital Instrumentation and Control
(DI&C) systems in nuclear power plants, the software used by the systems must be demonstrated
to be highly reliable. The most widely used and most powerful method for ensuring high software
quality and reliability is testing. An integrated methodology is developed in this thesis for
reliability assessment and improvement of safety critical software through testing. The
methodology is based upon input domain-based reliability modeling and structural testing
method. The purpose of the methodology is twofold: Firstly it can be used to control the testing
process. The methodology provides path selection criteria and stopping criteria for the testing
process with the aim to achieve maximum reliability improvement using available testing
resources. Secondly, it can be used to assess and quantify the reliability of the software after the
testing process. The methodology provides a systematic mechanism to quantify the reliability and
estimate uncertainty of the software after testing.
by Yu Sui.
S.M.
101 leaves
eng
Massachusetts Institute of Technology
M.I.T. theses are protected by
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.
http://dspace.mit.edu/handle/1721.1/7582
Nuclear Engineering
Electrical Engineering and Computer Science
Reliability improvement and assessment of safety critical software
Thesis
application/pdf
false
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="b1af8e61-0a9b-442f-a02a-a737749679bb">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>Reliability improvement and assessment of safety critical software</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>1998</PublicationDate>
<Authors>
<Author>
<DisplayName>Sui, Yu, 1973-</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Nuclear Engineering</Keyword>
<Keyword>Electrical Engineering and Computer Science</Keyword>
<Abstract>In order to allow the introduction of safety-related Digital Instrumentation and Control
(DI&C) systems in nuclear power plants, the software used by the systems must be demonstrated
to be highly reliable. The most widely used and most powerful method for ensuring high software
quality and reliability is testing. An integrated methodology is developed in this thesis for
reliability assessment and improvement of safety critical software through testing. The
methodology is based upon input domain-based reliability modeling and structural testing
method. The purpose of the methodology is twofold: Firstly it can be used to control the testing
process. The methodology provides path selection criteria and stopping criteria for the testing
process with the aim to achieve maximum reliability improvement using available testing
resources. Secondly, it can be used to assess and quantify the reliability of the software after the
testing process. The methodology provides a systematic mechanism to quantify the reliability and
estimate uncertainty of the software after testing.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>