{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:44:32Z","timestamp":1730299472075,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"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":[[2020,8,24]]},"DOI":"10.1109\/syscon47679.2020.9275907","type":"proceedings-article","created":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T23:40:26Z","timestamp":1607384426000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach"],"prefix":"10.1109","author":[{"given":"Francoise","family":"Caron","sequence":"first","affiliation":[]},{"given":"Dominique","family":"Blouin","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Crisafulli","sequence":"additional","affiliation":[]},{"given":"Cristian","family":"Maxim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Leveraging tradeoff, bridging the gap among disciplines","author":"fran\u00e7oise","year":"0","journal-title":"26th Annual INCOSE International Symposium (IS 2016) Edinburgh"},{"journal-title":"2015 ISO\/IEC\/IEEE 15288 2015 “Systems and Software Engineering — System Life Cycle Processes”","article-title":"ISO, IEC and IEEE (International Organisation for Standardisation, International Electrotechnical Commission and Institute of Electrical and Electronics Engineers)","year":"0","key":"ref11"},{"journal-title":"OMG Systems Modeling Language (OMG SysML) Version 1 2","article-title":"OMG (Object Management Group) 2012","year":"0","key":"ref12"},{"journal-title":"Requirements Interchange Format Version 1 2","article-title":"OMG (Object Management Group) 2016","year":"0","key":"ref13"},{"journal-title":"RMF","year":"0","key":"ref14"},{"journal-title":"Papyrus","year":"0","key":"ref15"},{"key":"ref16","article-title":"Incremental Life Cycle Asurance of Safety-critical Systems","author":"delange","year":"2016","journal-title":"8th European Congress on Embedded Real Time Software and Systems (ERTS)"},{"journal-title":"Capra","year":"0","key":"ref17"},{"journal-title":"OMG MDA","year":"0","key":"ref18"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1147\/rd.62.0200","article-title":"The use of Triple-Modular Redundancy to Improve Computer Reliability","volume":"6","author":"lyons","year":"1962","journal-title":"IBM Journal of Research and Development"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-43946-0_8"},{"journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems Version 1 0","article-title":"OMG (Object Management Group)","year":"2009","key":"ref4"},{"journal-title":"Sefa","year":"0","key":"ref27"},{"journal-title":"SAE (Society of Automotive Engineers) international Architecture Analysis & Design Language (AADL) AS5506","year":"2004","key":"ref3"},{"journal-title":"RAMS","year":"0","key":"ref6"},{"journal-title":"Krono-Safe","year":"0","key":"ref29"},{"journal-title":"OSATE","year":"0","key":"ref5"},{"key":"ref8","first-page":"117","article-title":"Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems","author":"saqui-sannes","year":"2012","journal-title":"ERTS2 2012"},{"journal-title":"AADL Inspector","year":"0","key":"ref7"},{"journal-title":"Doing Hard Time","year":"1999","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.4271\/2018-01-1942"},{"journal-title":"ROI Analysis of the System Architecture Virtual","year":"2018","author":"hansson","key":"ref1"},{"journal-title":"ERA","year":"0","key":"ref20"},{"key":"ref22","article-title":"Making agile development processes fit for v-style certification procedures","author":"bezzecchi","year":"2018","journal-title":"ERTS’18 ERTS Conference Proceedings"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96812-4_3"},{"key":"ref24","article-title":"Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report","author":"crisafulli","year":"2020","journal-title":"ERTS’18 ERTS Conference Proceedings"},{"journal-title":"ISABELLE","year":"0","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663177"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08789-4_8"}],"event":{"name":"2020 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2020,8,24]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2020,9,20]]}},"container-title":["2020 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9275655\/9275656\/09275907.pdf?arnumber=9275907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T11:18:37Z","timestamp":1656587917000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9275907\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,24]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/syscon47679.2020.9275907","relation":{},"subject":[],"published":{"date-parts":[[2020,8,24]]}}}