{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T17:18:50Z","timestamp":1649179130022},"reference-count":24,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Semantic Computing"],"published-print":{"date-parts":[[2013,9]]},"abstract":"<jats:p> Socioeconomic needs combined with technological advances are creating a demand for an increasing number of systems for which high-assurance is an essential attribute. These system designs, which increasingly include semantic computing components, span a broad spectrum of applications. They are incredibly diverse and their complexity is growing. The conditions under which these systems operate are such that system faults will occur and must be comprehensively accounted for in the systems' designs. <\/jats:p><jats:p> This article investigates the landscape of high-assurance systems, the challenges these systems face, and what must be done to address those challenges. Challenges include societal needs, scientific frontiers, dynamics of technological evolution, and drivers of current research models. <\/jats:p>","DOI":"10.1142\/s1793351x13500050","type":"journal-article","created":{"date-parts":[[2014,4,28]],"date-time":"2014-04-28T04:28:08Z","timestamp":1398659288000},"page":"291-324","source":"Crossref","is-referenced-by-count":0,"title":["HIGH CONSEQUENCE SYSTEMS AND SEMANTIC COMPUTING"],"prefix":"10.1142","volume":"07","author":[{"given":"VICTOR","family":"WINTER","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Nebraska at Omaha, Omaha, NE 68182, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BOJAN","family":"CUKIC","sequence":"additional","affiliation":[{"name":"Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV 26506-6109, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TAGHI","family":"KHOSHGOFTAAR","sequence":"additional","affiliation":[{"name":"Department of Computer and Electrical Engineering and Computer Science, Florida Atlantic University, Boca Raton, FL 33431-6498, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KINJI","family":"MORI","sequence":"additional","affiliation":[{"name":"Green Computing Systems Research Organization, Waseda University, Waseda Bld. 40-305 27 Waseda, Shinjuku, Tokyo 162-0042, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"RAY","family":"PAUL","sequence":"additional","affiliation":[{"name":"Command and Control Policy, Office of the Assistant Secretary of Defense, Networks Integration and Information, Department of Defense, Washington DC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CARLOS","family":"P\u00c9REZ-LEGU\u00cdZAMO","sequence":"additional","affiliation":[{"name":"Banco de Mexico, Av. 5 de Mayo #2, Mexico City, 06059, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SAHRA","family":"SEDIGH SARVESTANI","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Missouri University of Science and Technology, Rolla, MO 65409, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOHN C.","family":"SLOAN","sequence":"additional","affiliation":[{"name":"Department of Computer and Electrical Engineering and Computer Science, Florida Atlantic University, Boca Raton, FL 33431-6498, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MLADEN","family":"VOUK","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Box 8206, North Carolina State University, Raleigh, NC 27695, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I-LING","family":"YEN","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Texas at Dallas, MS EC-31, Richardson, TX 75083-0688, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,4,28]]},"reference":[{"key":"rf7","author":"Buckley C.","journal-title":"Reuters"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1109\/32.210303"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2005.1502528"},{"key":"rf10","volume-title":"The Innovator's Dilemma \u2014 When New Technologies Cause Great Firms to Fail","author":"Christensen C. M.","year":"1997"},{"key":"rf14","author":"DiChristina M.","journal-title":"Scientific American"},{"key":"rf21","volume":"7","author":"Haimes Y. Y.","journal-title":"Journal of Infrastructure Systems"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.3"},{"key":"rf23","first-page":"19","volume":"20","author":"Heitmeyer C.","journal-title":"International Journal of Computer Systems Science & Engineering"},{"key":"rf24","unstructured":"W.\u00a0Jones and M. A.\u00a0Vouk, Handbook of Software Reliability Engineering, Chapter on Software Reliability Field Data Analysis (McGraw Hill, 1996)\u00a0pp. 439\u2013489."},{"key":"rf25","first-page":"96","volume":"12","author":"Knight J. C.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8237-7"},{"key":"rf29","volume-title":"Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project","author":"Lenat D. B.","year":"1989"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"rf33","author":"Lopez C. T.","journal-title":"Army News Service"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"rf35","unstructured":"D. F.\u00a0McAllister and M. A.\u00a0Vouk, Handbook of Software Reliability Engineering, chapter on Software Fault-Tolerance Engineering (McGraw Hill, 1996)\u00a0pp. 567\u2013614."},{"key":"rf37","volume":"31","author":"Mori K.","journal-title":"Computer"},{"key":"rf43","volume-title":"Manuale di Economia Politica","author":"Pareto V.","year":"1906"},{"key":"rf47","author":"Pilkington E.","journal-title":"The Guardian"},{"key":"rf53","doi-asserted-by":"publisher","DOI":"10.1016\/S1386-5056(01)00221-0"},{"key":"rf56","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539309003472"},{"key":"rf57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17931-0_2"},{"key":"rf63","volume-title":"Engines of Innovation: The Entrepreneurial University in the Twenty-First Century","author":"Thorp H.","year":"2010"},{"key":"rf66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32677-6_20"}],"container-title":["International Journal of Semantic Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793351X13500050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T12:13:35Z","timestamp":1565180015000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793351X13500050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":24,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2014,4,28]]},"published-print":{"date-parts":[[2013,9]]}},"alternative-id":["10.1142\/S1793351X13500050"],"URL":"https:\/\/doi.org\/10.1142\/s1793351x13500050","relation":{},"ISSN":["1793-351X","1793-7108"],"issn-type":[{"value":"1793-351X","type":"print"},{"value":"1793-7108","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9]]}}}