{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:07:54Z","timestamp":1748664474012,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242545"},{"type":"electronic","value":"9783319242552"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24255-2_3","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"19-28","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems"],"prefix":"10.1007","author":[{"given":"Carolina D.","family":"Villela","sequence":"first","affiliation":[]},{"given":"Humberto H.","family":"Sano","sequence":"additional","affiliation":[]},{"given":"Juliana M.","family":"Bezerra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: 24rd International Conference on Software Engineering, pp. 547\u2013550. IEEE, Orlando (2002)","DOI":"10.1145\/581339.581406"},{"key":"3_CR2","unstructured":"Belcastro, C.M.: Aircraft loss-of-control: analysis and requirements for future safety-critical systems and their validation. In: 8th Asian Control Conference (ASCC) on Dynamic System & Control, pp. 399\u2013406. IEEE, Hampton (2011)"},{"key":"3_CR3","unstructured":"Code of Federal Regulations: Federal Aviation Regulations (FARs), Part 25\u2014Airworthiness Standards: Transport Category Airplanes"},{"key":"3_CR4","unstructured":"Society of Automotive Engineers (SAE): ARP 4754 \/ ED-79: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. SAE International\/EUROCAE, Warrendale, PA, (1996)"},{"key":"3_CR5","unstructured":"U.S. Nuclear Regulatory Commission: Fault Tree Handbook. Systems and Reliability Research. Office of Nuclear Regulatory Research, Washington, D.C. 20555"},{"key":"3_CR6","unstructured":"Society of Automotive Engineers (SAE): ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, Warrendale (1996)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"key":"3_CR8","unstructured":"Papadopoulos, Y.: Safety-directed system monitoring using safety cases. DPhil thesis, The University of York, Department of Computer Science (2000)"},{"key":"3_CR9","unstructured":"Society of Automotive Engineers (SAE): ARP 4761: \u201cModel Based Safety Analysis\u201d ARP 4761 associated appendix, Warrendale (1996)"},{"key":"3_CR10","unstructured":"United States Department of Defense: MIL-STD-1629A: Procedures for Performing a Failure Mode Effects and Criticality Analysis, Washington, D.C. (1980)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y.; Maruhn, M.: Model-based synthesis of fault trees from Matlab-Simulink models. In: The International Conference on Dependable Systems and Networks, pp. 77\u201382. IEEE, Goteborg (2001)","DOI":"10.1109\/DSN.2001.941393"},{"issue":"11","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1002\/spe.1044","volume":"41","author":"M Adachi","year":"2011","unstructured":"Adachi, M., et al.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw. Pract. Experience 41(11), 1303\u20131327 (2011). Published online in Wiley Online Library (wileyonlinelibrary.com)","journal-title":"Softw. Pract. Experience"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y.: et al.: Automatic allocation of safety integrity levels. In: 1ST workshop on Critical Automotive applications: Robustness & Safety, New York, pp. 7\u201310 (2010)","DOI":"10.1145\/1772643.1772646"},{"key":"3_CR14","unstructured":"Kehren, C., et al.: Advanced simulation capabilities for multi-systems with Altarica. In: International System Safety Conference (2004)"},{"key":"3_CR15","unstructured":"Joshi, A., et al.: A proposal for model-based safety analysis. In: 24th IEEE on Digital Avionics Systems Conference, Washington, DC (2005)"},{"key":"3_CR16","unstructured":"Lisagor, O.: Failure logic modelling: a pragmatic approach. Thesis (Doctor of Philosophy) - Department of Computer Science, University of York, York, p. 348 (2010)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-319-12214-4_14","volume-title":"Model-Based Safety and Assessment","author":"H Mortada","year":"2014","unstructured":"Mortada, H., Prosvirnova, T., Rauzy, A.: Safety assessment of an electrical system with AltaRica 3.0. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 181\u2013194. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24255-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:02:08Z","timestamp":1748610128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}