{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T10:55:07Z","timestamp":1753181707917,"version":"3.37.3"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["CRDPJ 463076-14"],"award-info":[{"award-number":["CRDPJ 463076-14"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Consortium for Research and Innovation in Aerospace in Quebec","award":["AVIO-604"],"award-info":[{"award-number":["AVIO-604"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2021,12,1]]},"DOI":"10.1109\/tse.2020.2966994","type":"journal-article","created":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T21:34:21Z","timestamp":1579124061000},"page":"2713-2739","source":"Crossref","is-referenced-by-count":7,"title":["<i>checsdm<\/i>: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design"],"prefix":"10.1109","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0743-769X","authenticated-orcid":false,"given":"Andres","family":"Paz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6145-774X","authenticated-orcid":false,"given":"Ghizlane El","family":"Boussaidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hafedh","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"The goal question metricapproach","author":"basili","year":"1994","journal-title":"Encyclopedia of Software Engineering"},{"article-title":"Fault detection control logic in an aircraft elevator control system","year":"2018","author":"mosterman","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219748"},{"year":"2017","key":"ref32","article-title":"Massif: MATLAB Simulink Integration Framework for Eclipse"},{"year":"2019","key":"ref31","article-title":"OSATE (Open Source AADL Tool Environment)"},{"year":"2017","key":"ref30","article-title":"Papyrus Modeling Environment"},{"article-title":"DO-178 case study","year":"2016","author":"potter","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9102-8"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2014.57"},{"key":"ref34","first-page":"78","article-title":"Java libraries for accessing the Princeton WordNet: Comparison and evaluation","author":"finlayson","year":"2014","journal-title":"Proc 7th Global Wordnet Conf"},{"key":"ref10","first-page":"2011","article-title":"Designing a control system using SysML and Simulink","author":"sakairi","year":"2012","journal-title":"Proc SICE Annu Conf"},{"key":"ref40","first-page":"1","article-title":"MBSE with the ARCADIA method and the capella tool","author":"roques","year":"2016","journal-title":"Proc 8th Eur Congr Embedded Real Time Softw Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0230-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.04.003"},{"key":"ref13","first-page":"137","article-title":"Mapping Simulink to UML in the design of embedded systems: Investigating scenarios and transformations","author":"sj\u00f6stedt","year":"2008","journal-title":"Proc 4th Workshop Object-Oriented Model Embedded Real-Time Syst"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3178264.3178284"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.310667"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13094-6_28"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.07.007"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167425"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49192-8_5"},{"key":"ref28","first-page":"123","article-title":"The Epsilon Comparison Language (ECL)","author":"kolovos","year":"2018","journal-title":"The Epsilon Book Eclipse"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2014.147"},{"year":"2017","key":"ref27","article-title":"EMF Documentation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982263"},{"year":"2011","key":"ref6","article-title":"Software considerations in airborne systems and equipment certification"},{"year":"2017","key":"ref29","article-title":"Viatra"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.11.020"},{"year":"2011","key":"ref8","article-title":"Object- oriented technologies and related techniques supplement to DO-178C and DO-278A"},{"year":"2011","key":"ref7","article-title":"Model-based development and verification supplement to DO-178C and DO-278A"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.185"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16129-2_20"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2019.00015"},{"year":"2018","key":"ref22","article-title":"Stateflow"},{"year":"2018","key":"ref21","article-title":"Simulink"},{"year":"2017","key":"ref24","article-title":"AADL"},{"article-title":"Control algorithm modeling guidelines using MATLAB, Simulink, and Stateflow","year":"0","author":"board","key":"ref23"},{"journal-title":"The Control Handbook","year":"1996","author":"levine","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167268"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9646454\/08960313.pdf?arnumber=8960313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:50:08Z","timestamp":1652194208000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8960313\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,1]]},"references-count":40,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tse.2020.2966994","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2021,12,1]]}}}