{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:53:17Z","timestamp":1730213597244,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1109\/dasc\/picom\/cbdcom\/cy55231.2022.9927773","type":"proceedings-article","created":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T19:43:02Z","timestamp":1670960582000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling"],"prefix":"10.1109","author":[{"given":"Megha","family":"Quamara","sequence":"first","affiliation":[{"name":"Université Paris-Saclay,CEA,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Pedroza","sequence":"additional","affiliation":[{"name":"Université Paris-Saclay,CEA,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brahim","family":"Hamid","sequence":"additional","affiliation":[{"name":"Université de Toulouse,IRIT,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2018.00040"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0145-y"},{"year":"2021","key":"ref11","article-title":"Eclipse Papyrus Modeling Environment"},{"year":"2021","key":"ref12","article-title":"Rodin Platform"},{"key":"ref13","article-title":"Engineering safety-and security-related requirements for software-intensive systems","author":"firesmith","year":"2007","journal-title":"Carnegie-Mellon Univ Pittsburgh Pa Software Engineering Inst Tech Rep"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21523"},{"year":"2018","key":"ref16","article-title":"ISO 26262-1:2018 Road vehicles — Functional safety"},{"year":"2018","key":"ref17","article-title":"ISO\/IEC 27000:2018 Information technology — Security techniques— Information security management systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1201\/9781315255071"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0485-x"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.5220\/0005748703310338"},{"key":"ref4","article-title":"Autonomous vehicle: Security by design","author":"chattopadhyay","year":"2020","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070050"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-27008-7_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.75"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2011.5957992"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2013.45"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C53483.2021.00048"},{"key":"ref7","first-page":"1","article-title":"A system engineering approach to predictive maintenance systems: from needs and desires to logical architecture","author":"jim\u00e9nez","year":"2019","journal-title":"2019 International Symposium on Systems Engineering (ISSE)"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/JPROC.2017.2781198","article-title":"Safety and security in cyber-physical systems and internet-of-things systems","volume":"106","author":"wolf","year":"2017","journal-title":"Proceedings of the IEEE"},{"key":"ref9","first-page":"72","article-title":"An introduction to UML profiles","volume":"2","author":"fuentes-fern\u00e1ndez","year":"2004","journal-title":"UML and Model Engineering"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2994487.2994499"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2021.102073"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-191366"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338255"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2009.090208"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2016.01.007"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2472495"}],"event":{"name":"2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC\/PiCom\/CBDCom\/CyberSciTech)","start":{"date-parts":[[2022,9,12]]},"location":"Falerna, Italy","end":{"date-parts":[[2022,9,15]]}},"container-title":["2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC\/PiCom\/CBDCom\/CyberSciTech)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9927523\/9927699\/09927773.pdf?arnumber=9927773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T20:12:41Z","timestamp":1674504761000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9927773\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/dasc\/picom\/cbdcom\/cy55231.2022.9927773","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]}}}