{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:23:30Z","timestamp":1742981010684,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030735388"},{"type":"electronic","value":"9783030735395"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-73539-5_25","type":"book-chapter","created":{"date-parts":[[2021,4,9]],"date-time":"2021-04-09T04:03:00Z","timestamp":1617940980000},"page":"325-341","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System"],"prefix":"10.1007","author":[{"given":"Peng","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feiyang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Na","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yahui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,4,10]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/s007990050008","volume":"1","author":"M Baldonado","year":"1997","unstructured":"Baldonado, M., Chang, C.-C.K., Gravano, L., Paepcke, A.: The Stanford digital library metadata architecture. Int. J. Digit. Libr. 1, 108\u2013121 (1997)","journal-title":"Int. J. Digit. Libr."},{"key":"25_CR2","unstructured":"Aeronautical Radio Incorporated: Avionics Application Software Standard Interface (2013)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Delange, J., Feiler, P., Gluch, D.P.: AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. Software Engineering Institute Carnegie Mellon University (2014)","DOI":"10.21236\/ADA610294"},{"key":"25_CR4","unstructured":"Chilenski, J.J., Kerstetter, M.S.: SAVI AFE 61S1 Report. Aerospace Vehicle Systems Institute (2015)"},{"key":"25_CR5","unstructured":"SAE International Group: SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex F: ARINC653 Annex (2011)"},{"key":"25_CR6","unstructured":"SAE International Group: SAE Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model Annex (2013)"},{"key":"25_CR7","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc\u00e9, L.: Cheddar: A Flexible Real Time Scheduling Framework. University of Brest"},{"key":"25_CR8","unstructured":"OMG: Systems Modeling Language (2016). https:\/\/www.omg.org\/spec\/SysML\/20161101"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Feiler, P., Rugina, A.: Dependability Modeling with the Architecture Analysis & Design Language (AADL). Software Engineering Institute (2007, July)","DOI":"10.21236\/ADA455842"},{"key":"25_CR10","unstructured":"Robati, T., El Kouhen, A., Gherbi, A., Hamadou, S., Mullins, J.: An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA Architectures with TTEthernet. ACVI at MoDELS (2014)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Lafaye, M., Gatti, M., Faura, D., Pautet, L.: Model driven early exploration of IMA execution platform. In: Digital Avionics Systems Conference (DASC), IEEE\/AIAA 30th (2010)","DOI":"10.1109\/DASC.2011.6096113"},{"key":"25_CR12","unstructured":"SAE International: ARP-5580\u2014Recommended Failure Modes and Effects Analysis (FMEA) Practices for Non-automobile Applications. SAE International (2001)"},{"key":"25_CR13","unstructured":"SAE International: ARP-4761\u2014Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. SAE International (1996)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Yang, Z., Hu, K., Ma, D., Bodeveix, J.-P., Pi, L., Talpin, J.-P.: From AADL to timed abstract state machines: a verified model transformation. J. Syst. Softw. (2014)","DOI":"10.1016\/j.jss.2014.02.058"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-73539-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,9]],"date-time":"2021-04-09T04:09:50Z","timestamp":1617941390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-73539-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030735388","9783030735395"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-73539-5_25","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"10 April 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}