{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:47Z","timestamp":1750309127078,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T00:00:00Z","timestamp":1697760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,20]]},"DOI":"10.1145\/3637792.3637797","type":"proceedings-article","created":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T11:06:17Z","timestamp":1708427177000},"page":"28-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Research on the Safety Assurance Framework for Spacecraft Embedded Software"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9457-0167","authenticated-orcid":false,"given":"Weirui","family":"Shang","sequence":"first","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-4945-1149","authenticated-orcid":false,"given":"Jihong","family":"Dang","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-9306-6491","authenticated-orcid":false,"given":"Yao","family":"Chen","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8805-665X","authenticated-orcid":false,"given":"Xiaofeng","family":"Li","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1256-6385","authenticated-orcid":false,"given":"Xiaogang","family":"Dong","sequence":"additional","affiliation":[{"name":"Beijing Institute of Control Engineering, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,2,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"NASA Office of Chief Engineer. NASA Study on Flight Software Complexity[R].2009"},{"key":"e_1_3_2_1_2_1","unstructured":"20 Famous Software Disasters 2010. http:\/\/www.devtopics.corn\/20-famous-software-disasters\/.."},{"issue":"5367","key":"e_1_3_2_1_3_1","first-page":"32","volume":"182","year":"2012","unstructured":"Learmount D. Never again. Flight Int'l, 2012, 182(5367): 32-35.","journal-title":"Flight Int'l"},{"issue":"4","key":"e_1_3_2_1_4_1","first-page":"1","volume":"42","author":"YANG M F","year":"2022","unstructured":"YANG M F,GU B,DUAN Z H,et al. Intelligent program synthesis framework and key scientific problems for embedded software[J]. Chinese Space Science and Technology, 2022, 42(4): 1-7 (in Chinese).","journal-title":"Chinese Space Science and Technology"},{"issue":"2","key":"e_1_3_2_1_5_1","first-page":"55","volume":"47","author":"DONG X G","year":"2021","unstructured":"DONG X G,LI J S,WANG D Y,et al. Model architecture based development method for spacecraft control software[J]. Aerospace Control and Application, 2021, 47(2): 55-62 (in Chinese).","journal-title":"Aerospace Control and Application"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.12720\/jait.14.4.685-693"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.12720\/jait.12.2.128-134"},{"key":"e_1_3_2_1_8_1","volume-title":"Standard practice for system safety program requirements","author":"MIL-STD D.","year":"1996","unstructured":"MIL-STD-882D. Standard practice for system safety program requirements. Military: Department of Defense, 1996."},{"key":"e_1_3_2_1_9_1","volume-title":"Software Safety Standard","author":"NASA-STD C","year":"2013","unstructured":"NASA-STD-8719.13C, Software Safety Standard, 2013."},{"key":"e_1_3_2_1_10_1","volume-title":"NASA Software Safety Guidebook","author":"NASA-GB","year":"2004","unstructured":"NASA-GB-8719.13, NASA Software Safety Guidebook, 2004."},{"key":"e_1_3_2_1_11_1","volume-title":"Space Product Assurance - Software dependability and safety","author":"ECSS A","year":"2012","unstructured":"ECSS-Q-HB-80-03A, Space Product Assurance - Software dependability and safety, 2012."},{"key":"e_1_3_2_1_12_1","volume-title":"Military Software Capability Maturity Model","author":"GJB","year":"2021","unstructured":"GJB5000B-2021, Military Software Capability Maturity Model, 2021."},{"key":"e_1_3_2_1_13_1","volume-title":"Guide for Military Software Safety Design","author":"GJB","year":"2012","unstructured":"GJB\/Z 102A-2012, Guide for Military Software Safety Design, 2012."},{"key":"e_1_3_2_1_14_1","volume-title":"Guide for Military Software Safety Analysis","author":"GJB","year":"2004","unstructured":"GJB\/Z 142-2004, Guide for Military Software Safety Analysis, 2004."},{"key":"e_1_3_2_1_15_1","volume-title":"Maintainability and Safety","author":"SHANG W R","year":"2007","unstructured":"SHANG W R,DONG X G,GU B, Applied Study of Software Failure Mode and Effect Analysis (SFMEA) on Spacecraft Control Software, 2007-The Seventh International Conference on Reliability, Maintainability and Safety, 2007."}],"event":{"name":"ICSED 2023: 2023 5th International Conference on Software Engineering and Development","acronym":"ICSED 2023","location":"Singapore Singapore"},"container-title":["2023 5th International Conference on Software Engineering and Development (ICSED)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3637792.3637797","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3637792.3637797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:18Z","timestamp":1750286958000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3637792.3637797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,20]]},"references-count":15,"alternative-id":["10.1145\/3637792.3637797","10.1145\/3637792"],"URL":"https:\/\/doi.org\/10.1145\/3637792.3637797","relation":{},"subject":[],"published":{"date-parts":[[2023,10,20]]},"assertion":[{"value":"2024-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}