{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T20:37:28Z”，“时间戳”：1726173448457}，“出版商位置”：“查姆”，“引用计数”：39，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783031158414”}，{“类型”：“电子”，“value”：“9783031158421”}]，“license”：[{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2022,1,1]，“日期-时间”：“022-01-01T”00:00:00Z“，”timestamp“：1640995200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[2022]}，”DOI“：”10.1007\/978-3-031-15842-1_4“，”类型“：”book-capter“，”创建“：{”date-part“：[[2022,9,8]]，“日期-时间”：“2022-09-08T04:02:50Z”，“时间戳”：1662609770000}，“页面”：“43-59”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：1，”title“：[”使用状态机图建模系统安全分析的可变性“]，”prefix“：”10.1007“，”author“：[{”given“：”Lucas“，“family”：“Bressan”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Andr\u00e9 L.”，“family”：“de Oliveira”，“sequence”：“additional”，“affaliation”:[]}.，{”given“：”Fernanda C.“，”family“：”Campos“，”sequence“：”additional“，”affiliance“：[]{“fixed”：“Leonardo”，“，”sequence“：”additional“，”affiliation“：[]}，{“given”：“David”，“family”：“Parker”，“sequence”：“additional”，“affiliation”：[]neneneep，{”given“：”Koorosh“，”family“：”Aslansefat“，”sequence“：”additional“，”affiliance“：[]{”给定“：”Yiannis“，”家族“：”Papadopoulos“，”序列“：”附加“，”从属关系“：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[202 2,9,9]]}，“引用”：[{“键”：“4_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Wolschke，C.，Becker，M.，Schneickert，S.，Adler，R.，MacGregor，J.：软件产品线中安全工件重用的工业观点。摘自：第23届国际系统和软件产品线会议（SPLC 2019）论文集，法国巴黎。美国纽约州ACM，第143\u2013152页（2019）”，“DOI”：“10.1145\/3336294.3336315”}，{“key”：“4_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Pohl，P.，H\u00f6chsmann，M.，Wohlgemuth，P.和Tischer，C.：大型软件产品线的变体管理解决方案。摘自：第40届软件工程国际会议论文集：软件工程实践，瑞典哥德堡。ACM，美国纽约州纽约市，第85\u201394页（2018）”，“DOI”：“10.1145\/318519.3183523”}，{“key”：“4_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Tischer，C.，Muller，A.，Mandl，T.，Krause，R.：汽车领域大规模软件产品线合并的经验。摘自：第十五届国际软件产品线会议论文集，德国慕尼黑，pp.267\u2013276（2011）”，“doi”：“10.1109\/SPLC.2011.15”}，{“key”：“4_CR4”，“unstructured”：“SPLC.net。SPLC名人堂：通用汽车动力总成（GMPW）（2019）。https:\/\/SPLC.net\/fament\/General-Motors-powership.2022年7月10日访问”}，{“key”：“4.CR5”，“doi-asserted-by”：“crossref”，“非结构化”：“Schulze，M.，Mauersberger，J.，Beuche，D.：功能安全性和可变性：它能结合在一起吗？摘自：第17届国际软件产品线会议记录，日本东京。美国纽约州ACM，pp.236\u2013243（2013）“，“DOI”：“10.1145\/2491627.2491654”}，{“key”：“4_CR6”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”3“，“DOI”：”10.1007\/978-3319-90421-4_1“，“volume-title”：”软件重用的新机遇“，”作者：“AL de Oliveira”，“year”：“2018”，“unstructured”：“de Oliveira，A.L.，Braga，R.T.V.，Masiero，P.C.，Papadopoulos，Y.，Habli，I.，Kelly，T.：安全关键软件产品线工程中的可变性管理。收录于：Capilla，R.，Gallina，B.，Cetina，C.（编辑）ICSR 2018。LNCS，第10826卷，第3\u201322页。查姆施普林格（2018）。https:\/\/doi.org\/10007\/978-3-319-90421-4_1“}，{”key“：”4_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Domis，D.，Adler，R.，Becker，M.：使用基于UML的商业工具集成可变性和安全性分析模型。收录：第19届国际软件产品会议论文集，美国纳什维尔。美国纽约州ACM，2013年7月20日，第225\u2013234页（2015）“，“DOI”：“10.1145\/2791060.2791088”}，{“key”：“4_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Oliveira，A.L.等人：安全关键系统设计和可靠性分析中的可变性管理。J.Softw.：Evol.Process 31（8），第1_201328（2019）页”，“DOI:”10.1002\/smr.2202“}，“key“：”4_CR9“，“非结构化”：“Clements，P.，Northrop，L.：软件产品线：实践和模式。Addison-Wesley，Boston（2001）“}，{“key”：“4_CR10”，“unstructured”：“Dehlinger，J.，Lutz，R.：产品线的软件故障树分析。摘自：第八届IEEE国际研讨会论文集。高保证系统工程，美国坦帕，pp.12\u201321（2004）”}，}，“issue”：“2”，“key“：”4_CR11“，“doi-asserted-by”：“publisher”，“first page”：”111“DOI”：“10.1016\/j.js.2005.02.028”，“卷”：“78”，“作者”：“Q Feng”，“年份”：“2005”，“非结构化”：“Feng，Q.，Lutz，R.：产品线的双向安全分析。J.系统。柔和。78（2），111\u2013117（2005）“，“新闻标题”：“J.Syst。柔和。“}，{”key“：”4_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“28”，“doi”：“10.1007\/978-3642-15651-9_3”，“volume-title”：“计算机安全性、可靠性和安全性”，“author”：“C G\u00f3mez”，“year”：“2010”，“unstructured”：“”G\u00f3mez，C.，Liggesmeyer，P.，Sutor，A.：安全和可靠性模型的可变性管理：系统重用组件故障树的中间模型。摘自：Schoitch，E.（编辑）SAFECOMP 2010。LNCS，第6351卷，第28页\u201340。施普林格，海德堡（2010）。https:\/\/doi.org\/10.1007\/978-3642-15651-9_3“}，{“key”：“4_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Liu，J.，Dehlinger，J.、Lutz，R.：使用规定模型对软件产品线进行安全分析。J.Syst.Softw.80（11），pp.1879\u20131892（2007）”，“doi”：“10.1016\/J.jss.2007.01.047”}，“{“key”：”4_CR14“，”doi-assert ted-by“：”crossref“，”非结构化“：”K\u00e4\u00dfmeyer，M.、Schulze，M.和Schurius，M.：支持汽车功能可变性和安全性非系统变化影响分析的过程。收录于：《第19届国际软件产品线会议论文集》，美国纳什维尔，美国纽约州ACM，第235\u2013244页（2015）“，“DOI”：“10.1145\/2791060.2791079”}，{“key”：“4_CR15”，“DOI-asserted-by”：“crossref”，“unstructured”：“K\u00e4\u00dfmeyer，M.，Moncada，D.S.V.，Schurius，M.：安全关键系统开发变型管理中非系统方法的评估。摘自：《第十三届嵌入式和普适计算国际会议论文集》，IEEE，葡萄牙波尔图，第35页，201343（2015）“，“DOI”：“10.1109”：“EUC.2015.12”}，{“issue”：“1”，“key”：”4_CR16“，“DOI-asserted-by”：“publisher”，“first page”:“293”，“DOI:”10.1109“/TR.2019.2898351”，“volument”：“69”，“author”：“L Montecchi”，”年份：“2020”，“unstructured”：“Montecchi，L.，Lollini，P.，Bondavalli，A.：基于模板的方法论，用于性能模型的规范和自动合成。在IEEE Transactions on Reliability 69（1），293\u2013309（2020）”，“journal-title”：“在IEEE Trassions on Realibility”}，{“key”：“4_CR17”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：”179“，“doi”：“10.1007\/978-3030-58920-2_12”，“volume-title“：“基于模型的安全与评估”，“author”：“L Bressan”，“年”：“2020年”，“非结构化”：“Bressan，L.，de Oliveira，A.L.，Campos，F.，Papadopoulos，Y.，Parker，D.：支持差异密集型系统基于过程的认证的综合方法。摘自：Zeller，M.，H\u00f6图，K.（编辑）IMBSA 2020。LNCS，第12297卷，第179\u2013193页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-58920-2_12“}，{“key”：“4_CR18”，“unstructured”：“SAE.Architecture Analysis&Design Language（AADL）AS5506C，SAE（2017）.https:\/\/www.SAE.org\/standards\/content\/AS5506C\/”}，“key“：”4_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”首页“：”346“，”DO I“：”10.1007\/978-3-642-16145-2_24”，“卷标题”：“模型驱动的工程语言和系统”，“作者”：“Shin\u2019ichi Shiraishi，”，“年份”：“2010”，“非结构化”：“Shin\u2019ichi Shiraishi，：一种基于AADL的汽车控制系统可变性建模方法。地址：Petriu，D.C.，Rouquette，N.，Haugen，\u00d8。（编辑）2010年款。LNCS，第6394卷，第346\u2013360页。施普林格，海德堡（2010）。https:\/\/doi.org\/10.1007\/978-3642-16145-2_24“}，{“key”：“4_CR20”，“unstructured”：“Intecs，CHESS建模语言：A UML\/MARTE\/SysML profile.（2020）https:\//www.eclipse.org\/chemes\/publis\/CHESSMLprofile.pdf”}，}“keys”：“4-CR21”，“非结构化”：“Mazzini，S.、Favaro，J.、Puri，S.和Baracchi，L.：CHESS：关键系统开发的开源方法和工具集。收录于：Join Proceedings of EduSymps，pp.59\u201366（2016）“}，{“key”：“4_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Gallina，B.，Javed，A.M.，Muram，F.U.，Punnekkat，S.：基于组件的体系结构的模型驱动可靠性分析方法。收录于《Euromicro-SEAA会议论文集》，土耳其伊兹密尔塞斯梅，pp.233\u2013240（2012）”DOI“：”10.1109\/SEAA.2012.35“}，{“key”：“4_CR23”，“DOI-asserted-by”：“crossref”，“unstructured”：“Delange，J.，Feiler，P.，Gluch，D.，Hudak，J.：ARP4761安全评估中的AADL故障建模和分析。技术报告，卡内基梅隆软件工程研究所（2013）”，“DOI”：“10.21236\/ADA610294”}，“issue”：“2”，“key“：”4_CR24“，”doi-asserted-by“：”publisher“，”first-page“：”590“，”doi“：”10.1016\/j.engfailanal.2010.09.025“，”volume“：”18“，”author“：”Y Papadopoulos“，”year“：”2011“，”unstructured“：”Papadopulos，Y.等人：用HiP-HOPS进行工程失效分析和设计优化。J.工程失败。分析。18（2），590\u2013608（2011）“，“期刊标题”：“J.Eng.Fail。分析。“}，{”volume-title“：”系统和软件可变性管理“，”year“：”2013“，”key“：”4_CR25“，”doi-asserted-by“：”publisher“，”unstructured“：”Capilla，R.，Bosch，J.，Kang，K.C.（eds.）：系统和软件可变性管理。Springer，Berlin，Heidelberg（2013）。https:\/\/doi.org\/10007\/978-3642-36583-6“，”doi“：”10.1007\/978-3642-36583-6“}，{“key”：“4_CR26”，“doi-asserted-by”：“crossref”，“unstructured”：“Vasilevskiy，A.Haugen，\u00d8.，Chauvel，F.，Johansen，M.F.，Shimbara，D.：支持产品线工程的BVR工具包。摘自：《第19届国际软件产品线会议论文集》，美国纳什维尔，纽约州ACM，第380\u2013384页（2015）”，“doi”：“10.1145\/2791060.2791094”}，{“key”：“4_CR27”，“doi-asserted-by”：“crossref”，“unstructured”：“Haugen，\u00d8.，Moller-Pedersen，B.，Oldevik，J.，Olsen，G.K.，Svendsen，A.：为领域特定语言添加标准化可变性。摘自：第十二届国际软件产品线会议论文集，IEEE，第139\u2013148（2008）页”，“doi”：“10.1109\/SPLC.2008.25”}，{“key”：“4_CR28”，“unstructured”：“ISO:ISO 26262:道路车辆功能安全（2018）”}：“Montecchi，L.，Gallina，B.：SafeConcert：社会技术系统协同安全建模的元模型In:第五届基于模型的安全与评估国际研讨会，LNCS第10437卷，意大利特伦托，pp.129\u2013144（2017）”，“DOI”：“10.1007\/978-3-319-64119-5_9”}，{“key”：“4_CR31”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：“533”，“doi”：“10.1007\/978-3662-49674-9_31”，“volume-title”：“用于构建和分析系统的工具和算法”，“author”：“B Bittner”，“year”：“2016”，“unstructured”：“Bittner，B.等人：xSAP安全分析平台。摘自：Chechik，M.，Raskin，J.-F.（编辑）TACAS 2016。LNCS，第9636卷，第533\u2013539页。斯普林格，海德堡（2016）。https:\/\/doi.org\/10.1007\/978-3662-49674-9_31“}，{”key“：”4_CR32“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”首页“：”32“，“doi”：“10.1007\/9783-642-15579-6_3”，“volume-title”：“软件产品线：超越”，“author”：“K Lee”，“年份”：“2010”，“非结构化”：“Lee，K.，Kang，K.C.：使用上下文作为特征选择的关键驱动因素。收录人：Bosch，J.，Lee，J.（编辑）SPLC 2010。LNCS，第6287卷，第32页\u201346。施普林格，海德堡（2010）。https:\/\/doi.org\/10007\/978-3-642-15579-6_3“}，{“key”：“4_CR33”，“unstructured”：“De Castro，R.，Ara\u00fajo，R.E.，Freitas，D.：带电机和摩擦制动器的混合ABS。摘自：英国曼彻斯特第22届道路和轨道车辆动力学国际研讨会论文集（2011年）”}，}哈佛商学院，案例研究。https:\/\/github.com/aloliveira\/hbs“}，{“问题”：“1”，“密钥”：“4_CR35”，“doi-asserted-by”：“出版商”，“首页”：“62”，“doi”：“10.1109\/MS.2013.118”，“卷”：“31”，“作者”：“L Azevedo”，“年份”：“2014”，“非结构化”：“Azevedo，L.、Parker，D.、Walker，M.、Papadopoulos，Y.、Ara\u00fajo，R.：协助分配汽车安全要求。IEEE软件。31（1），62\u201368（2014）“，“期刊标题”：“IEEE Softw。“}，{”问题“：”3“，”关键“：”4_CR36“，”首页“：”1“，”卷“：”5“，”作者“：”H Blom“，”年份“：”2016“，”非结构化“：”Blom，H.，et al.：EAST-ADL:根据最近的使用和研究，汽车软件密集型系统的架构描述语言。国际期刊系统动力学应用（IJSDA）5（3），1\u201320（2016）“，”期刊标题“：”国际期刊。系统。动态。申请。（IJSDA）“}，{“key”：“4_CR37”，“unstructured”：“AltaRica项目。AltaRica语言的方法和工具。https:\/\/AltaRica.labri.fr\/wp\/？page_id=23（2020）”}，}“key”：“4-CR38”，“首页”：“109”，“卷”：“34”，“作者”：“A Arnold”，“年份”：“2000”，“非结构化”：“Arnold，A.，Gerald，P.，Griffault，A.，Rauzy，A.：描述并发系统的Altarica形式主义。基金。通知。34，109\u2013124（2000）“，“新闻标题”：“基金。通知。“}，{”key“：”4_CR39“，”doi-asserted-by“：”crossref“，”unstructured“：”Bozzano，M.，Villafiorita，A.：The FSAP\/NuSMV-SA安全分析平台。Int.J.Softw.Tools Technol.Transfers（STTT）\u2013关键系统自动验证进展专区，9（1），5\u201324（2006）“，”doi“：”10.1007\/s10009-006-0001-2“}]，”container-title“：[”计算机科学课堂讲稿”，“基于模型的安全与评估”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-031-15842-1_4”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2022,9,8]]，“日期时间”：“2022-09-08T04:04:49Z“，”timestamp“：1662609889000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3-031-15842-1_4”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[2022]，“ISBN”：[“9783031158414”，“97830.31158421”]，“references-count”：39，“URL”“：”http://\/dx.doi.org\/10.1007\/978-3-031-15842-1_4“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[｛”type“：”print“，”value“：”0302-9743“｝，”type“：”electronic“，”value“：”1611-3349“｝]，”subject“：[]，”published“：｛”date parts“：[[2022]}，”assertion“：[｛”value“：”2022年9月9日“，”order“：1，”name“：”first_online“，”label“：”first online“，”group“：”name“：”ChapterHistory“，”label“：”章节历史“｝｝，｛”value“：”IMBSA“，”order“：1，”name“：”conference_acrimon“，”label“：”conference-Acromonym“，”group“：慕尼黑”，“订单”：3，“名称”：“会议城市”，“标签”：“会议城市”，“组”：｛“名称”：“会议信息”，“标签”：“会议信息”｝｝，｛“值”：“德国”，“订单”：4，“名称”：“会议国家”，“标签”：“会议国家”，“组”：｛“名称”：“会议信息”，“标签”：“会议信息”｝｝，｛“值”：“2022”，“订单”：5，“名称”：“会议年”标签“：”会议年份“，”组“：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“2022年9月5日”，“订单”：7，“名称”：“Conference_start_date”，”标签“：“会议开始日期”，“组”：{”名称“：“ConfenceInfo”会议结束日期“，”组“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}，{”value“：”8“，”order“：9，”name“:”Conference_number“，“label”：”会议编号“，”group“：资源信息“，”label“：”会议信息“}}，{“value”：“https:\/\/easyconferences.eu\/imbsa2022\/”，“order”：11，“name”：“Conference_url”，“label”：“会议url”，“group”：{“name”:“ConferenceInfo”，“标签”：“ConfernceInformation”}}“，”标签“：”同行评议信息（由会议组织者提供）“}}，{”value“：”Easychair“，”order“：2，”name“：”conference_management_system“，”label“：”会议管理系统“，”group“：number_of_submissions_sent_for_review“，”label“：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“15”，“order”：4，“name”:“number_ of_full_papers_accepted”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）56%-该值由等式“接受的完整论文数”/“提交供审查的论文数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_full_papers“，”label“：”全文接受率“，”group“：ConfEventPeerReviewInformation“，”label“：”同行评议信息（由会议组织者提供）“}}，{“value”：“2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：}，{“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}