{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:23:34Z","timestamp":1730283814739,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/mwscas.2018.8624052","type":"proceedings-article","created":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T21:13:17Z","timestamp":1551129197000},"page":"512-515","source":"Crossref","is-referenced-by-count":3,"title":["Error Analysis and Reliability Metrics for Software in Safety Critical Systems"],"prefix":"10.1109","author":[{"given":"Jonathan","family":"Lockhart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Purdy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip A.","family":"Wilsey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF02943203","article-title":"A formal software development approach using refinement calculus","volume":"16","author":"yunfeng","year":"2001","journal-title":"Journal on Computer Science & Technology"},{"journal-title":"A Refinement Calculus for Z","year":"1997","author":"cavalcanti","key":"ref38"},{"key":"ref33","article-title":"The personal software process (psp)","author":"watts","year":"2000","journal-title":"Tech Rep CMU\/SEI-2000-TR-022"},{"journal-title":"Chapter 2 Lesson 2 Planning and Measurement","year":"2000","author":"putz","key":"ref32"},{"journal-title":"The Personal Software Process an Independent Study","year":"2000","author":"putz","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.2017.8268802"},{"journal-title":"FAQ What Are Pseudo Squared?","year":"2011","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2016.7869962"},{"key":"ref35","article-title":"Testu01: A c library for empirical testing of random number generators","volume":"33","author":"l\u2019ecuyer","year":"2007","journal-title":"ACM Trans Math Softw"},{"key":"ref34","article-title":"Pcg: A family of simple fast space-efficient statistically good algorithms for random number generation","author":"o\u2019neill","year":"0","journal-title":"ACM Trans Math Softw"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-4-431-54565-1","author":"yamada","year":"2014","journal-title":"Software Reliability Modeling Fundamentals and Applications"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(83)91372-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5316048"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRITO.2015.7359222"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1109\/FTCS.1995.466956","article-title":"Evaluation of software dependability based on stability test data","author":"tang","year":"1995","journal-title":"Fault-Tolerant Computing 1995 FTCS-25 Digest of Papers Twenty-Fifth International Symposium on"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.13052\/jiems2446-1822.2016.003"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3390\/e17074533"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.28"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539316500182"},{"journal-title":"Tech Rep","year":"1992","key":"ref19"},{"journal-title":"How Many Defects Are Too Many?","year":"2014","author":"finzer","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.1997.620351"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"journal-title":"Formal Hardware Verification with BDDs An Introduction","year":"2017","author":"hu","key":"ref3"},{"journal-title":"Getting Formal Verification into Design Flow","year":"2017","author":"arvind","key":"ref6"},{"key":"ref29","first-page":"253","article-title":"Stochastic Models in Reliability and Maintenance","author":"yamada","year":"2002","journal-title":"ch Software Reliability Models"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1979.5220561"},{"key":"ref7","first-page":"35","article-title":"Reliability Theory Applied to Software Testing","volume":"38","author":"drake","year":"1987","journal-title":"Hewlett-Packard Journal"},{"journal-title":"Static & Formal Verification","year":"2017","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/52.28120"},{"journal-title":"How a SelfDriving Uber Killed a Pedestrian in Arizona","year":"2018","author":"griggs","key":"ref1"},{"journal-title":"Tech Rep","article-title":"Advisory circular 20-174","year":"2011","key":"ref20"},{"year":"2002","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2014.6908387"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"year":"1996","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.887922"},{"key":"ref25","article-title":"Iwls 2005 benchmarks","author":"albrecht","year":"2005","journal-title":"Technical Report Cadence Berkeley Labs"}],"event":{"name":"2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS)","start":{"date-parts":[[2018,8,5]]},"location":"Windsor, ON, Canada","end":{"date-parts":[[2018,8,8]]}},"container-title":["2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8610060\/8623819\/08624052.pdf?arnumber=8624052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T19:35:33Z","timestamp":1598211333000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8624052\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/mwscas.2018.8624052","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}