{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T04:13:17Z","timestamp":1770437597377,"version":"3.49.0"},"publisher-location":"Reston, Virigina","reference-count":35,"publisher":"American Institute of Aeronautics and Astronautics","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,19]]},"DOI":"10.2514\/6.2012-2537","type":"proceedings-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T22:53:44Z","timestamp":1355871224000},"update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":6,"title":["Extending Model Based Systems Engineering for Human Machine Interaction Analysis and Fault Tolerant Design"],"prefix":"10.2514","author":[{"given":"Douglas","family":"Orellana","sequence":"first","affiliation":[{"name":"University of Southern California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Azad","family":"Madni","sequence":"additional","affiliation":[{"name":"University of Southern California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","published-online":{"date-parts":[[2012,9,6]]},"reference":[{"key":"p_1","volume-title":"Fault Tree Handbook","author":"Nuclear Regulatory Commission","year":"1981"},{"key":"p_2","unstructured":"2ObjectManagementGroup.SystemsModelingLanguagev1.2.2010;(June)."},{"key":"p_3","first-page":"1","volume":"25","author":"Estefan JA","year":"2008","journal-title":"Jet Propulsion Lab."},{"key":"p_4","unstructured":"4ObjectManagementGroup.UnifiedModelingLanguage,Infrastructurev2.4.1.2011;(August)."},{"key":"p_5","volume-title":"BurkhartR.ModelingContinuousSystemDynamicsinSysML.In:Proceedingsof2007 ASME International Mechanical Engineering Congress and Exposition","author":"Johnson TA","year":"2007"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1115\/1.4005452"},{"key":"p_7","volume-title":"Support Simulation. In: Proceedings of the 2008 Winter Simulation Conference.; 2008:2350-2352","author":"Paredis CJJ"},{"key":"p_8","volume-title":"Human Views: Extensions to the Department of Defense Architecture Framework","author":"Baker K","year":"2008"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1518\/155534308X377090"},{"key":"p_10","first-page":"11","volume-title":"MoDELS'09, ACES- MB Workshop Proceedings","author":"Cancila D","year":"2009"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20093"},{"key":"p_12","first-page":"72","author":"Handley HAH","year":"2009","journal-title":"J.HumanViewDynamics-TheNATOApproach.SystemsEngineering."},{"issue":"3","key":"p_13","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1002\/sys.20145","volume":"13","author":"Madni AM","year":"2010","journal-title":"Systems Engineering."},{"key":"p_14","unstructured":"14MadniAM.IntegratingHumansWithandWithinComplexSystems.CrossTalk.2011;May\/June:4-8."},{"key":"p_15","first-page":"c2000","volume-title":"Proceedings of the Military, Government and Aerospace Simulation Symposium, 2000 Advanced Simulation Technologies Conference.Vol 32","author":"Allender L.","year":"1999"},{"key":"p_16","volume-title":"MD","author":"Hunn BP","year":"2006"},{"key":"p_17","volume-title":"MD","author":"Mitchell DK.","year":"2003"},{"key":"p_18","volume-title":"AM. HUMANE: A Knowledge-Based Simulation Environment for Human-Machine Function Allocation. In: Proceedings of the IEEE 1988 National Aerospace and Electronics Conference.; 1988:860-866","author":"Madni"},{"issue":"4","key":"p_19","first-page":"395","volume":"30","author":"Madni AM.","year":"1988","journal-title":"TheRoleofHumanFactorsExpertSystemsDesignandAcceptance.HumanFactorsJournal."},{"key":"p_20","volume-title":"2010 IEEE International Systems Conference. 2010:426-431","author":"Hause M."},{"key":"p_21","volume-title":"Fault-Tolerance: The Survival Attribute of Digital Systems. In: Proceedings of the IEEE.Vol 66.; 1978","author":"Avizienis A.","year":"2012"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.21236\/ADA258467"},{"key":"p_23","doi-asserted-by":"crossref","unstructured":"23AvizienisA.TowardSystematicDesignofFault-TolerantSystems.Computer.1997;(April):51-58.","DOI":"10.1109\/2.585154"},{"key":"p_24","doi-asserted-by":"crossref","unstructured":"24Allenby K,Kelly T.Deriving safety requirementsusing scenarios.In:ProceedingsFifth IEEE InternationalSymposium on Requirements Engineering. IEEE Comput. Soc; 2001:228-235. Available at: http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=948563.","DOI":"10.1109\/ISRE.2001.948563"},{"key":"p_25","volume-title":"DEPEND 2011, The Fourth International Conference on Dependability. Nice\/Saint Laurent du Var, France; 2011:82-87","author":"Troubitsyna E.","year":"2011"},{"key":"p_26","volume-title":"2010 IEEE Conference on Emerging Technology and Factory Automation (EFTA). Bilbao, Spain; 2010:1-8. Available at: http:\/\/ieeexplore.ieee.org\/xpl\/freeabs_all.jsp?arnumber=5641353","author":"Thramboulidis K"},{"key":"p_27","first-page":"64","author":"Bondavalli A","year":"1999","journal-title":"High-Assurance Systems Engineering."},{"key":"p_28","doi-asserted-by":"crossref","unstructured":"28Bondavalli A, Majzik I, Mura I. From Structural UML Diagrams to Timed Petri Nets. European ESPRIT Project HIDE. 1998;Deliverabl(Section 4):37-53.","DOI":"10.1007\/978-1-4615-5537-7_3"},{"key":"p_29","volume-title":"Mura I. Automated Dependability Analysis of UML Designs. In: 2nd IEEE International Symposium on Object-oriented Real-time distributed Computing. Saint Malo, France: IEEE Computer Society Press; 1999","author":"Bondavalli A","year":"2012"},{"key":"p_30","volume-title":"Available at: http:\/\/www.esterel-technologies.com\/DO-178B\/files\/ERTS2006-Bridging-UML-and-Safety-Critical-Software-Development-Environments.pdf. Accessed","author":"Guennec AL","year":"2012"},{"key":"p_31","volume-title":"Kratz F. Improving Reliability Studies with SysML. In: 2009 Annual Reliability and Maintainability Symposium. Ieee; 2009:527-532","author":"David P"},{"key":"p_32","unstructured":"32Object Management Group. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms. Management. 2006;(May). Available at: http:\/\/scholar.google.com\/scholar?hl=en&btnG=Search&q=intitle:UML+Profile+for+Modeling+Quality+of+Service+and+Fault +Tolerance+Characteristics+and+Mechanisms#3. Accessed March 29, 2012."},{"key":"p_33","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2009.2017397"},{"issue":"1","key":"p_34","volume":"15","author":"Neches R","year":"2012","journal-title":"INCOSE Journal Systems Engineering."},{"key":"p_35","volume-title":"Accessed","author":"Nuclear Regulatory Commission","year":"2012"}],"event":{"name":"Infotech@Aerospace 2012","location":"Garden Grove, California"},"container-title":["Infotech@Aerospace 2012"],"original-title":[],"link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/6.2012-2537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T22:06:23Z","timestamp":1745445983000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/6.2012-2537"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,19]]},"references-count":35,"alternative-id":["10.2514\/6.2012-2537","10.2514\/MIAA12"],"URL":"https:\/\/doi.org\/10.2514\/6.2012-2537","relation":{},"subject":[],"published":{"date-parts":[[2012,6,19]]}}}