{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:23:31Z","timestamp":1774365811921,"version":"3.50.1"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61502231"],"award-info":[{"award-number":["61502231"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772270"],"award-info":[{"award-number":["61772270"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Defense Basic Scientific Research Project","award":["JCKY2016203B011"],"award-info":[{"award-number":["JCKY2016203B011"]}]},{"DOI":"10.13039\/501100013290","name":"National Key Research and Development Program of China Stem Cell and Translational Research","doi-asserted-by":"publisher","award":["2018YFB1003902"],"award-info":[{"award-number":["2018YFB1003902"]}],"id":[{"id":"10.13039\/501100013290","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100013290","name":"National Key Research and Development Program of China Stem Cell and Translational Research","doi-asserted-by":"publisher","award":["2016YFB1000802"],"award-info":[{"award-number":["2016YFB1000802"]}],"id":[{"id":"10.13039\/501100013290","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004608","name":"Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20150753"],"award-info":[{"award-number":["BK20150753"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Avionics Science Foundation of China","award":["2015ZC52027"],"award-info":[{"award-number":["2015ZC52027"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["NP2017205"],"award-info":[{"award-number":["NP2017205"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1109\/tr.2019.2936072","type":"journal-article","created":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T19:53:01Z","timestamp":1568317981000},"page":"154-173","source":"Crossref","is-referenced-by-count":26,"title":["An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6563-8118","authenticated-orcid":false,"given":"Fei","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9888-6975","authenticated-orcid":false,"given":"Zhi-Bin","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6843-1892","authenticated-orcid":false,"given":"Zhi-Qiu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng-Wei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/REW.2017.52"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/REW.2016.040"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/RePa.2015.7407734"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21001-3_4"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2015.13"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1995.512549"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1996.564987"},{"key":"ref33","year":"1998","journal-title":"IEEE Recommended Practice for Software Requirements Specifications"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0145-0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.08.026"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041053"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2239-5"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2622264"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2013.6636719"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1993.324849"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/11428817_45"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2559978"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2002.1167808"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-014-9314-z"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_13"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA-ECSA.212.25"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.06.037"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23727-5_26"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0465-8_5"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.11.032"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/MoDRE.2014.6890827"},{"key":"ref69","article-title":"Goal-scenario-oriented requirements engineering for functional decomposition with bidirectional transformation to controlled natural language: Case study “body control module","author":"daun","year":"2013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292398"},{"key":"ref1","author":"leveson","year":"2011","journal-title":"Engineering A Safer World Systems Thinking Applied to Safety"},{"key":"ref20","year":"2011","journal-title":"SAE Architecture Analysis and Design Language (AADL) Annex Volume\ufffd1 Annex A Graphical AADL Notation Annex C AADL Meta-Model and Interchange Formats Annex D Language Compliance and Application Program Interface Annex E Error Model Annex"},{"key":"ref22","year":"2011","journal-title":"SAE Architecture Analysis and Design Language (AADL) Annex Volume 2 Annex B Data Modeling Annex Annex D Behavior Model Annex Annex F ARINC653 Annex"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.20"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8557005"},{"key":"ref23","first-page":"361","article-title":"AADL behavioral annex","author":"dissaux","year":"0","journal-title":"Proc DASIA Conf"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.02.058"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_37"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2699697"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2006.51"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072999"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336546"},{"key":"ref56","article-title":"A requirement specification language for AADL","author":"feiler","year":"2016"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16558-0_48"},{"key":"ref54","first-page":"321","article-title":"Formal modeling approach for aerospace embedded software","volume":"26","author":"gu","year":"2015","journal-title":"Ruan Jian Xue Bao Journal of Software"},{"key":"ref53","first-page":"217","article-title":"Safety requirements modeling based on RUCM","author":"wu","year":"0","journal-title":"Proc Comput Com Appl Conf"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2699697"},{"key":"ref10","article-title":"Simulink","year":"0"},{"key":"ref11","author":"feiler","year":"2012","journal-title":"Model-Based Engineering with AADL An Introduction to the SAE Architecture Analysis & Design Language"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985882"},{"key":"ref12","first-page":"1206","article-title":"The SAE architecture analysis & design language (AADL) a standard for engineering performance critical systems","author":"feiler","year":"0","journal-title":"Proc IEEE Conf Comput Aided Control Syst Des \/IEEE Int Conf Control Appl \/IEEE Int Symp Intell Control"},{"key":"ref13","article-title":"Architecture analysis and design language","year":"0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0515"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0111-y"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2526"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8348-2474-5"},{"key":"ref18","first-page":"2350","article-title":"Generating the AADL model based on restricted natural language requirement template","volume":"29","author":"wang","year":"2018","journal-title":"Ruan Jian Xue Bao Journal of Software"},{"key":"ref19","year":"2017","journal-title":"Architecture Analysis & Design Language (AADL)"},{"key":"ref4","year":"2011","journal-title":"Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320420"},{"key":"ref6","article-title":"AADL formal semantics and verification & analysis of safety-critical real-time systems","author":"yang","year":"2012"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593891"},{"key":"ref8","article-title":"OMG Unified Modeling Language (UML)","year":"0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/REW.2016.041"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SEES.2012.6225489"},{"key":"ref9","article-title":"OMG System Modeling Language (UML)","year":"0"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1322432.1322435"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.17"},{"key":"ref47","first-page":"1","article-title":"Easy EARS: Rapid application of the easy approach to requirements syntax","author":"gregory","year":"0","journal-title":"Proc 17th IEEE Int Requirements Eng Conf"},{"key":"ref42","first-page":"3807","article-title":"Towards model-driven development of AOCS\/GNC for small satellite missions","author":"liu","year":"0","journal-title":"Proc 65th Int Astron Congr"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"ref44","year":"2011","journal-title":"Road Vehicles-Functional Safety"},{"key":"ref43","first-page":"202","article-title":"Verification of AADL models with timed abstract state machines","volume":"26","author":"yang","year":"2015","journal-title":"J Softw"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/9023405\/08834826.pdf?arnumber=8834826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T13:42:40Z","timestamp":1651066960000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8834826\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":74,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2019.2936072","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3]]}}}